Redstone1024/Redcraft
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

feat(miscellaneous): add DO_CHECK and check_code() assertion macros

Browse Source
This commit is contained in:
_Redstone_c_ 2023-01-09 22:00:34 +08:00
parent d825285a4a
commit d8543421a0
1 changed files with 29 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

48
Redcraft.Utility/Source/Public/Miscellaneous/AssertionMacros.h
View File

@ -30,38 +30,48 @@ private:
}; };
#define RS_CHECK_IMPL(InExpr) assert(InExpr) #define RS_CHECK_IMPL(InExpr) assert(InExpr)
#define RS_CHECK_F_IMPL(InExpr, InFormat, ...) assert((InFormat, InExpr)) #define RS_CHECK_F_IMPL(InExpr, InFormat, ...) assert((InFormat, InExpr))
NAMESPACE_PRIVATE_END NAMESPACE_PRIVATE_END
#define always_check(InExpr) RS_CHECK_IMPL(InExpr)
#define always_checkf(InExpr, InFormat, ...) RS_CHECK_F_IMPL(InExpr, InFormat, ##__VA_ARGS__)
#define always_check_no_entry() always_checkf(false, "Enclosing block should never be called.")
#define always_check_no_reentry() { static bool PREPROCESSOR_JOIN(bBeenHere, __LINE__) = false; always_checkf(!PREPROCESSOR_JOIN(bBeenHere, __LINE__), "Enclosing block was called more than once."); PREPROCESSOR_JOIN(bBeenHere, __LINE__) = true; }
#define always_check_no_recursion() static uint8 PREPROCESSOR_JOIN(RecursionCounter, __LINE__) = 0; always_checkf(PREPROCESSOR_JOIN(RecursionCounter, __LINE__) == 0, "Enclosing block was entered recursively."); const NAMESPACE_REDCRAFT::NAMESPACE_PRIVATE::FRecursionScopeMarker PREPROCESSOR_JOIN(ScopeMarker, __LINE__)(PREPROCESSOR_JOIN(RecursionCounter, __LINE__))
#define always_unimplemented() always_checkf(false, "Unimplemented function called.")
#if BUILD_DEBUG || BUILD_DEVELOPMENT #if BUILD_DEBUG || BUILD_DEVELOPMENT
# define DO_CHECK 1
#else
# define DO_CHECK 0
#endif
# define check(InExpr) always_check(InExpr) #define always_check(InExpr) RS_CHECK_IMPL(InExpr)
# define checkf(InExpr, InFormat, ...) always_checkf(InExpr, InFormat, ##__VA_ARGS__) #define always_checkf(InExpr, InFormat, ...) RS_CHECK_F_IMPL(InExpr, InFormat, ##__VA_ARGS__)
# define check_no_entry() always_check_no_entry() #define always_check_no_entry() always_checkf(false, "Enclosing block should never be called.")
# define check_no_reentry() always_check_no_reentry() #define always_check_no_reentry() { static bool PREPROCESSOR_JOIN(bBeenHere, __LINE__) = false; always_checkf(!PREPROCESSOR_JOIN(bBeenHere, __LINE__), "Enclosing block was called more than once."); PREPROCESSOR_JOIN(bBeenHere, __LINE__) = true; }
# define check_no_recursion() always_check_no_recursion() #define always_check_no_recursion() static uint8 PREPROCESSOR_JOIN(RecursionCounter, __LINE__) = 0; always_checkf(PREPROCESSOR_JOIN(RecursionCounter, __LINE__) == 0, "Enclosing block was entered recursively."); const NAMESPACE_REDCRAFT::NAMESPACE_PRIVATE::FRecursionScopeMarker PREPROCESSOR_JOIN(ScopeMarker, __LINE__)(PREPROCESSOR_JOIN(RecursionCounter, __LINE__))
# define verify(InExpr) always_check(InExpr) #define always_unimplemented() always_checkf(false, "Unimplemented function called.")
# define verifyf(InExpr, InFormat, ...) always_checkf(InExpr, InFormat, ##__VA_ARGS__)
# define unimplemented() always_unimplemented() #if DO_CHECK
# define check_code(InCode) do InCode while(false)
# define check(InExpr) check_code({ always_check(InExpr); })
# define checkf(InExpr, InFormat, ...) always_checkf(InExpr, InFormat, ##__VA_ARGS__)
# define check_no_entry() always_check_no_entry()
# define check_no_reentry() always_check_no_reentry()
# define check_no_recursion() always_check_no_recursion()
# define verify(InExpr) always_check(InExpr)
# define verifyf(InExpr, InFormat, ...) always_checkf(InExpr, InFormat, ##__VA_ARGS__)
# define unimplemented() always_unimplemented()
#else #else
# define check_code(InCode)
# define check(InExpr) # define check(InExpr)
# define checkf(InExpr, InFormat, ...) # define checkf(InExpr, InFormat, ...)
# define check_no_entry() # define check_no_entry()
# define check_no_reentry() # define check_no_reentry()
# define check_no_recursion() # define check_no_recursion()
# define verify(InExpr) { if(InExpr) { } } # define verify(InExpr) { if(InExpr) { } }
# define verifyf(InExpr, InFormat, ...) { if(InExpr) { } } # define verifyf(InExpr, InFormat, ...) { if(InExpr) { } }
# define unimplemented() # define unimplemented()
#endif #endif