1 /* -*- Mode: C; tab-width: 4 -*-
3 * Copyright (c) 1997-2004 Apple Computer, Inc. All rights reserved.
5 * Licensed under the Apache License, Version 2.0 (the "License");
6 * you may not use this file except in compliance with the License.
7 * You may obtain a copy of the License at
9 * http://www.apache.org/licenses/LICENSE-2.0
11 * Unless required by applicable law or agreed to in writing, software
12 * distributed under the License is distributed on an "AS IS" BASIS,
13 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14 * See the License for the specific language governing permissions and
15 * limitations under the License.
19 /*! @header DebugServices
24 #ifndef __DEBUG_SERVICES__
25 #define __DEBUG_SERVICES__
29 #include "CommonServices.h"
31 #if ( TARGET_OS_VXWORKS )
36 #pragma mark == Settings ==
45 #if ( !defined( DEBUG ) )
49 #if ( defined( NDEBUG ) && DEBUG )
50 #error NDEBUG defined and DEBUG is also enabled...they need to be in-sync
53 // AssertMacros.h/Debugging.h overrides.
55 #if ( !defined( DEBUG_OVERRIDE_APPLE_MACROS ) )
56 #define DEBUG_OVERRIDE_APPLE_MACROS 1
59 // Routine name. Uses ISO __func__ where possible. Otherwise, uses the best thing that is available (if anything).
61 #if ( defined( __MWERKS__ ) || ( __GNUC__ > 2 ) || ( ( __GNUC__ == 2 ) && ( __GNUC_MINOR__ >= 9 ) ) )
62 #define __ROUTINE__ __func__
63 #elif ( defined( __GNUC__ ) )
64 #define __ROUTINE__ __PRETTY_FUNCTION__
65 #elif ( defined( _MSC_VER ) && !defined( _WIN32_WCE ) )
66 #define __ROUTINE__ __FUNCTION__
68 #define __ROUTINE__ ""
71 // Variable argument macro support. Use ANSI C99 __VA_ARGS__ where possible. Otherwise, use the next best thing.
73 #if ( defined( __GNUC__ ) )
74 #if ( ( __GNUC__ > 3 ) || ( ( __GNUC__ == 3 ) && ( __GNUC_MINOR__ >= 3) ) )
75 #define DEBUG_C99_VA_ARGS 1
76 #define DEBUG_GNU_VA_ARGS 0
78 #define DEBUG_C99_VA_ARGS 0
79 #define DEBUG_GNU_VA_ARGS 1
81 #elif ( defined( __MWERKS__ ) )
82 #define DEBUG_C99_VA_ARGS 1
83 #define DEBUG_GNU_VA_ARGS 0
85 #define DEBUG_C99_VA_ARGS 0
86 #define DEBUG_GNU_VA_ARGS 0
90 #pragma mark == Output ==
94 /*! @defined DEBUG_FPRINTF_ENABLED
96 @abstract Enables ANSI C fprintf output.
99 #if ( !defined( DEBUG_FPRINTF_ENABLED ) )
100 #if ( !TARGET_API_MAC_OSX_KERNEL && !TARGET_OS_WINDOWS_CE )
101 #define DEBUG_FPRINTF_ENABLED 1
103 #define DEBUG_FPRINTF_ENABLED 0
106 #if ( TARGET_API_MAC_OSX_KERNEL || TARGET_OS_WINDOWS_CE )
107 #error fprintf enabled, but not supported on Mac OS X kernel or Windows CE
112 /*! @defined DEBUG_MAC_OS_X_IOLOG_ENABLED
114 @abstract Enables IOLog (Mac OS X Kernel) output.
117 #if ( !defined( DEBUG_MAC_OS_X_IOLOG_ENABLED ) )
118 #define DEBUG_MAC_OS_X_IOLOG_ENABLED TARGET_API_MAC_OSX_KERNEL
122 /*! @defined DEBUG_KPRINTF_ENABLED
124 @abstract Enables kprintf (Mac OS X Kernel) output.
127 #if ( !defined( DEBUG_KPRINTF_ENABLED ) )
128 #define DEBUG_KPRINTF_ENABLED TARGET_API_MAC_OSX_KERNEL
132 /*! @defined DEBUG_IDEBUG_ENABLED
134 @abstract Enables iDebug (Mac OS X user and Kernel) output.
138 For Mac OS X kernel development, iDebug is enabled by default because we can dynamically check for the presence
139 of iDebug via some exported IOKit symbols. Mac OS X app usage doesn't allow dynamic detection because it relies
140 on statically linking to the iDebugServices.cp file so for Mac OS X app usage, you have to manually enable iDebug.
143 #if ( !defined( DEBUG_IDEBUG_ENABLED ) )
144 #define DEBUG_IDEBUG_ENABLED TARGET_API_MAC_OSX_KERNEL
148 /*! @defined DEBUG_CORE_SERVICE_ASSERTS_ENABLED
150 @abstract Controls whether Core Services assert handling is enabled. Enabling requires CoreServices framework.
153 #if ( !defined( DEBUG_CORE_SERVICE_ASSERTS_ENABLED ) )
154 #if ( defined( __DEBUGGING__ ) )
155 #define DEBUG_CORE_SERVICE_ASSERTS_ENABLED 1
157 #define DEBUG_CORE_SERVICE_ASSERTS_ENABLED 0
162 /*! @typedef DebugOutputType
164 @abstract Type of debug output (i.e. where the output goes).
167 typedef uint32_t DebugOutputType
;
169 #define kDebugOutputTypeNone 0x6E6F6E65U // 'none' - no params
170 #define kDebugOutputTypeCustom 0x63757374U // 'cust' - 1st param = function ptr, 2nd param = context
171 #define kDebugOutputTypeFPrintF 0x66707269U // 'fpri' - 1st param = DebugOutputTypeFlags [, 2nd param = filename]
172 #define kDebugOutputTypeiDebug 0x69646267U // 'idbg' - no params
173 #define kDebugOutputTypeKPrintF 0x6B707266U // 'kprf' - no params
174 #define kDebugOutputTypeMacOSXIOLog 0x696C6F67U // 'ilog' - no params
175 #define kDebugOutputTypeMacOSXLog 0x786C6F67U // 'xlog' - no params
176 #define kDebugOutputTypeWindowsDebugger 0x77696E64U // 'wind' - no params
177 #define kDebugOutputTypeWindowsEventLog 0x7765766CU // 'wevl' - 1st param = C-string name, 2nd param = HMODULE or NULL.
179 // Console meta output kind - Any kind of Console output (in horizontal order of preference):
181 // Mac OS X = ANSI printf (viewable in Console.app)
182 // Mac OS X Kernel = IOLog (/var/log/system.log) or kprintf (serial).
183 // Windows = ANSI printf (Console window) or OutputDebugString (debugger).
184 // Other = ANSI printf (viewer varies).
186 #define kDebugOutputTypeMetaConsole 0x434F4E53U // 'CONS' - no params
189 /*! @typedef DebugOutputTypeFlags
191 @abstract Flags controlling how the output type is configured.
193 @constant kDebugOutputTypeFlagsTypeMask Bit mask for the output type (e.g. stdout, stderr, file, etc.).
194 @constant kDebugOutputTypeFlagsStdOut fprintf should go to stdout.
195 @constant kDebugOutputTypeFlagsStdErr fprintf should go to stderr.
196 @constant kDebugOutputTypeFlagsFile fprintf should go to a specific file (filename passed as va_arg).
199 typedef unsigned int DebugOutputTypeFlags
;
201 #define kDebugOutputTypeFlagsTypeMask 0xF
202 #define kDebugOutputTypeFlagsStdOut 1
203 #define kDebugOutputTypeFlagsStdErr 2
204 #define kDebugOutputTypeFlagsFile 10
207 /*! @typedef DebugOutputFunctionPtr
209 @abstract Function ptr for a custom callback to print debug output.
212 typedef void ( *DebugOutputFunctionPtr
)( char *inData
, size_t inSize
, void *inContext
);
219 #pragma mark == Flags ==
223 /*! @typedef DebugFlags
225 @abstract Flags controlling how output is printed.
228 typedef uint32_t DebugFlags
;
230 #define kDebugFlagsNone 0
231 #define kDebugFlagsNoAddress ( 1 << 0 )
232 #define kDebugFlagsNoOffset ( 1 << 1 )
233 #define kDebugFlags32BitOffset ( 1 << 2 )
234 #define kDebugFlagsNoASCII ( 1 << 3 )
235 #define kDebugFlagsNoNewLine ( 1 << 4 )
236 #define kDebugFlags8BitSeparator ( 1 << 5 )
237 #define kDebugFlags16BitSeparator ( 1 << 6 )
238 #define kDebugFlagsNo32BitSeparator ( 1 << 7 )
239 #define kDebugFlagsNo16ByteHexPad ( 1 << 8 )
240 #define kDebugFlagsNoByteCount ( 1 << 9 )
243 /*! @enum DebugTaskLevelFlags
245 @abstract Flags indicating the task level.
250 kDebugInterruptLevelShift
= 0,
251 kDebugInterruptLevelMask
= 0x00000007,
252 kDebugInVBLTaskMask
= 0x00000010,
253 kDebugInDeferredTaskMask
= 0x00000020,
254 kDebugInSecondaryInterruptHandlerMask
= 0x00000040,
255 kDebugPageFaultFatalMask
= 0x00000100, // There should be a "kPageFaultFatalMask" in Debugging.h.
256 kDebugMPTaskLevelMask
= 0x00000200, // There should be a "kMPTaskLevelMask" in Debugging.h.
257 kDebugInterruptDepthShift
= 16,
258 kDebugInterruptDepthMask
= 0x00FF0000
261 #define DebugExtractTaskLevelInterruptLevel( LEVEL ) \
262 ( ( ( LEVEL ) &kDebugInterruptLevelMask ) >> kDebugInterruptLevelShift )
264 #define DebugExtractTaskLevelInterruptDepth( LEVEL ) \
265 ( ( ( LEVEL ) &kDebugInterruptDepthMask ) >> kDebugInterruptDepthShift )
268 #pragma mark == Levels ==
272 // Constants & Types - Levels
276 /*! @typedef DebugLevel
278 @abstract Level used to control debug logging.
281 typedef int32_t DebugLevel
;
285 #define kDebugLevelInfo 1000
286 #define kDebugLevelNotice 3000
287 #define kDebugLevelWarning 5000
288 #define kDebugLevelAssert 6000
289 #define kDebugLevelError 8000
290 #define kDebugLevelMax 0x0000FFFF
296 /*! @typedef LogLevel
298 @abstract Level used to control which events are logged.
301 typedef int32_t LogLevel
;
303 #define kLogLevelUninitialized -1L
306 #pragma mark == Properties ==
310 /*! @typedef DebugPropertyTag
312 @abstract Tag for properties.
315 typedef uint32_t DebugPropertyTag
;
317 #define kDebugPropertyTagPrintLevelMin 0x6D696E70U // 'minp' Get: 1st param = DebugLevel *
318 // Set: 1st param = DebugLevel
321 #define kDebugPropertyTagPrintLevelMax 0x706D786CU // 'maxp' Get: 1st param = DebugLevel *
322 // Set: 1st param = DebugLevel
324 #define kDebugPropertyTagBreakLevel 0x62726B6CU // 'brkl' Get: 1st param = DebugLevel *
325 // Set: 1st param = DebugLevel
327 #pragma mark == General macros ==
331 /*! @defined DEBUG_UNUSED
333 @abstract Macro to mark a parameter as unused to avoid unused parameter warnings.
337 There is no universally supported pragma/attribute for indicating a variable is unused. DEBUG_UNUSED lets us
338 indicate a variable is unused in a manner that is supported by most compilers.
341 #define DEBUG_UNUSED( X ) (void)( X )
344 /*! @defined DEBUG_USE_ONLY
346 @abstract Macro to mark a variable as used only when debugging is enabled.
350 Variables are sometimes needed only for debugging. When debugging is turned off, these debug-only variables generate
351 compiler warnings about unused variables. To eliminate these warnings, use these macros to indicate variables that
352 are only used for debugging.
356 #define DEBUG_USE_ONLY( X )
358 #define DEBUG_USE_ONLY( X ) (void)( X )
362 /*! @defined DEBUG_LOCAL
364 @abstract Macros to make variables and functions static when debugging is off, but extern when debugging is on.
368 Rather than using "static" directly, using this macros allows you to access these variables external while
369 debugging without being penalized for production builds.
375 #define DEBUG_LOCAL static
379 /*! @defined DEBUG_STATIC
381 @abstract Macros to make variables and functions static when debugging is off, but extern when debugging is on.
385 Rather than using "static" directly, using this macros allows you to access these variables external while
386 debugging without being penalized for production builds.
392 #define DEBUG_STATIC static
396 /*! @defined DEBUG_EXPORT
398 @abstract Macros to export variables.
402 "__private_extern__" is a hack for IOKit to allow symbols to be exported from compilation units, but
403 // not exported outside a driver (IOKit uses a lame global namespace for symbols). This still does not
404 // solve the problem of multiple drivers in the same dependency chain since they share symbols.
407 #if ( TARGET_API_MAC_OSX_KERNEL )
408 #define DEBUG_EXPORT __private_extern__
410 #define DEBUG_EXPORT extern
414 /*! @defined debug_add
416 @abstract Macro to add (or subtract if negative) a value when debugging is on. Does nothing if debugging is off.
420 #define debug_add( A, B ) ( A ) += ( B )
422 #define debug_add( A, B )
426 /*! @defined debug_perform
428 @abstract Macro to perform something in debug-only builds.
432 #define debug_perform( X ) do { X; } while( 0 )
434 #define debug_perform( X )
438 /*! @function translate_errno
440 @abstract Returns 0 if the test success. If the test fails, returns errno if non-zero and othewise the alternate error.
443 #define translate_errno( TEST, ERRNO, ALTERNATE_ERROR ) ( ( TEST ) ? 0 : ( ERRNO ) ? ( ERRNO ) : ( ALTERNATE_ERROR ) )
446 #pragma mark == Compile Time macros ==
450 /*! @defined check_compile_time
452 @abstract Performs a compile-time check of something such as the size of an int.
456 This declares an array with a size that is determined by a compile-time expression. If the expression evaluates
457 to 0, the array has a size of -1, which is illegal and generates a compile-time error.
461 check_compile_time( sizeof( int ) == 4 );
463 Note: This only works with compile-time expressions.
464 Note: This only works in places where extern declarations are allowed (e.g. global scope).
468 <http://www.jaggersoft.com/pubs/CVu11_3.html>
469 <http://www.jaggersoft.com/pubs/CVu11_5.html>
471 Note: The following macros differ from the macros on the www.jaggersoft.com web site because those versions do not
472 work with GCC due to GCC allow a zero-length array. Using a -1 condition turned out to be more portable.
475 #define check_compile_time( X ) extern int debug_compile_time_name[ ( X ) ? 1 : -1 ]
478 /*! @defined check_compile_time_code
480 @abstract Perform a compile-time check, suitable for placement in code, of something such as the size of an int.
484 This creates a switch statement with an existing case for 0 and an additional case using the result of a
485 compile-time expression. A switch statement cannot have two case labels with the same constant so if the
486 compile-time expression evaluates to 0, it is illegal and generates a compile-time error. If the compile-time
487 expression does not evaluate to 0, the resulting value is used as the case label and it compiles without error.
491 check_compile_time_code( sizeof( int ) == 4 );
493 Note: This only works with compile-time expressions.
494 Note: This does not work in a global scope so it must be inside a function.
498 <http://www.jaggersoft.com/pubs/CVu11_3.html>
499 <http://www.jaggersoft.com/pubs/CVu11_5.html>
502 #define check_compile_time_code( X ) switch( 0 ) { case 0: case X:; }
505 #pragma mark == check macros ==
511 @abstract Check that an expression is true (non-zero).
515 If expression evalulates to false, this prints debugging information (actual expression string, file, line number,
516 function name, etc.) using the default debugging output method.
518 Code inside check() statements is not compiled into production builds.
521 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
524 #if ( !defined( check ) )
531 debug_print_assert( 0, # X, NULL, __FILE__, __LINE__, __ROUTINE__ ); \
540 /*! @defined check_string
542 @abstract Check that an expression is true (non-zero) with an explanation.
546 If expression evalulates to false, this prints debugging information (actual expression string, file, line number,
547 function name, etc.) and a custom explanation string using the default debugging output method.
549 Code inside check_string() statements is not compiled into production builds.
552 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
555 #if ( !defined( check_string ) )
557 #define check_string( X, STR ) \
562 debug_print_assert( 0, # X, STR, __FILE__, __LINE__, __ROUTINE__ ); \
567 #define check_string( X, STR )
572 /*! @defined check_noerr
574 @abstract Check that an error code is noErr (0).
578 If the error code is non-0, this prints debugging information (actual expression string, file, line number,
579 function name, etc.) using the default debugging output method.
581 Code inside check_noerr() statements is not compiled into production builds.
584 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
587 #if ( !defined( check_noerr ) )
589 #define check_noerr( ERR ) \
592 int_least32_t localErr; \
594 localErr = (int_least32_t)( ERR ); \
595 if( localErr != 0 ) \
597 debug_print_assert( localErr, NULL, NULL, __FILE__, __LINE__, __ROUTINE__ ); \
602 #define check_noerr( ERR )
607 /*! @defined check_noerr_string
609 @abstract Check that an error code is noErr (0) with an explanation.
613 If the error code is non-0, this prints debugging information (actual expression string, file, line number,
614 function name, etc.) and a custom explanation string using the default debugging output method.
616 Code inside check_noerr_string() statements is not compiled into production builds.
619 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
620 #undef check_noerr_string
622 #if ( !defined( check_noerr_string ) )
624 #define check_noerr_string( ERR, STR ) \
627 int_least32_t localErr; \
629 localErr = (int_least32_t)( ERR ); \
630 if( localErr != 0 ) \
632 debug_print_assert( localErr, NULL, STR, __FILE__, __LINE__, __ROUTINE__ ); \
637 #define check_noerr_string( ERR, STR )
642 /*! @defined check_translated_errno
644 @abstract Check a condition and prints errno (if non-zero) to the log.
648 Code inside check_translated_errno() statements is not compiled into production builds.
651 #if ( !defined( check_translated_errno ) )
653 #define check_translated_errno( TEST, ERRNO, ALTERNATE_ERROR ) \
658 int_least32_t localErr; \
660 localErr = (int_least32_t)( ERRNO ); \
661 localErr = ( localErr != 0 ) ? localErr : (int_least32_t)( ALTERNATE_ERROR ); \
662 debug_print_assert( localErr, # TEST, NULL, __FILE__, __LINE__, __ROUTINE__ ); \
667 #define check_translated_errno( TEST, ERRNO, ALTERNATE_ERROR )
672 /*! @defined check_ptr_overlap
674 @abstract Checks that two ptrs do not overlap.
677 #define check_ptr_overlap( P1, P1_SIZE, P2, P2_SIZE ) \
680 check( !( ( (uintptr_t)( P1 ) >= (uintptr_t)( P2 ) ) && \
681 ( (uintptr_t)( P1 ) < ( ( (uintptr_t)( P2 ) ) + ( P2_SIZE ) ) ) ) ); \
682 check( !( ( (uintptr_t)( P2 ) >= (uintptr_t)( P1 ) ) && \
683 ( (uintptr_t)( P2 ) < ( ( (uintptr_t)( P1 ) ) + ( P1_SIZE ) ) ) ) ); \
688 #pragma mark == require macros ==
694 @abstract Requires that an expression evaluate to true.
698 If expression evalulates to false, this prints debugging information (actual expression string, file, line number,
699 function name, etc.) using the default debugging output method then jumps to a label.
702 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
705 #if ( !defined( require ) )
706 #define require( X, LABEL ) \
711 debug_print_assert( 0, # X, NULL, __FILE__, __LINE__, __ROUTINE__ ); \
719 /*! @defined require_string
721 @abstract Requires that an expression evaluate to true with an explanation.
725 If expression evalulates to false, this prints debugging information (actual expression string, file, line number,
726 function name, etc.) and a custom explanation string using the default debugging output method then jumps to a label.
729 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
730 #undef require_string
732 #if ( !defined( require_string ) )
733 #define require_string( X, LABEL, STR ) \
738 debug_print_assert( 0, # X, STR, __FILE__, __LINE__, __ROUTINE__ ); \
746 /*! @defined require_quiet
748 @abstract Requires that an expression evaluate to true.
752 If expression evalulates to false, this jumps to a label. No debugging information is printed.
755 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
758 #if ( !defined( require_quiet ) )
759 #define require_quiet( X, LABEL ) \
771 /*! @defined require_noerr
773 @abstract Require that an error code is noErr (0).
777 If the error code is non-0, this prints debugging information (actual expression string, file, line number,
778 function name, etc.) using the default debugging output method then jumps to a label.
781 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
784 #if ( !defined( require_noerr ) )
785 #define require_noerr( ERR, LABEL ) \
788 int_least32_t localErr; \
790 localErr = (int_least32_t)( ERR ); \
791 if( localErr != 0 ) \
793 debug_print_assert( localErr, NULL, NULL, __FILE__, __LINE__, __ROUTINE__ ); \
801 /*! @defined require_noerr_string
803 @abstract Require that an error code is noErr (0).
807 If the error code is non-0, this prints debugging information (actual expression string, file, line number,
808 function name, etc.), and a custom explanation string using the default debugging output method using the
809 default debugging output method then jumps to a label.
812 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
813 #undef require_noerr_string
815 #if ( !defined( require_noerr_string ) )
816 #define require_noerr_string( ERR, LABEL, STR ) \
819 int_least32_t localErr; \
821 localErr = (int_least32_t)( ERR ); \
822 if( localErr != 0 ) \
824 debug_print_assert( localErr, NULL, STR, __FILE__, __LINE__, __ROUTINE__ ); \
832 /*! @defined require_noerr_action_string
834 @abstract Require that an error code is noErr (0).
838 If the error code is non-0, this prints debugging information (actual expression string, file, line number,
839 function name, etc.), and a custom explanation string using the default debugging output method using the
840 default debugging output method then executes an action and jumps to a label.
843 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
844 #undef require_noerr_action_string
846 #if ( !defined( require_noerr_action_string ) )
847 #define require_noerr_action_string( ERR, LABEL, ACTION, STR ) \
850 int_least32_t localErr; \
852 localErr = (int_least32_t)( ERR ); \
853 if( localErr != 0 ) \
855 debug_print_assert( localErr, NULL, STR, __FILE__, __LINE__, __ROUTINE__ ); \
864 /*! @defined require_noerr_quiet
866 @abstract Require that an error code is noErr (0).
870 If the error code is non-0, this jumps to a label. No debugging information is printed.
873 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
874 #undef require_noerr_quiet
876 #if ( !defined( require_noerr_quiet ) )
877 #define require_noerr_quiet( ERR, LABEL ) \
889 /*! @defined require_noerr_action
891 @abstract Require that an error code is noErr (0) with an action to execute otherwise.
895 If the error code is non-0, this prints debugging information (actual expression string, file, line number,
896 function name, etc.) using the default debugging output method then executes an action and jumps to a label.
899 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
900 #undef require_noerr_action
902 #if ( !defined( require_noerr_action ) )
903 #define require_noerr_action( ERR, LABEL, ACTION ) \
906 int_least32_t localErr; \
908 localErr = (int_least32_t)( ERR ); \
909 if( localErr != 0 ) \
911 debug_print_assert( localErr, NULL, NULL, __FILE__, __LINE__, __ROUTINE__ ); \
920 /*! @defined require_noerr_action_quiet
922 @abstract Require that an error code is noErr (0) with an action to execute otherwise.
926 If the error code is non-0, this executes an action and jumps to a label. No debugging information is printed.
929 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
930 #undef require_noerr_action_quiet
932 #if ( !defined( require_noerr_action_quiet ) )
933 #define require_noerr_action_quiet( ERR, LABEL, ACTION ) \
946 /*! @defined require_action
948 @abstract Requires that an expression evaluate to true with an action to execute otherwise.
952 If expression evalulates to false, this prints debugging information (actual expression string, file, line number,
953 function name, etc.) using the default debugging output method then executes an action and jumps to a label.
956 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
957 #undef require_action
959 #if ( !defined( require_action ) )
960 #define require_action( X, LABEL, ACTION ) \
965 debug_print_assert( 0, # X, NULL, __FILE__, __LINE__, __ROUTINE__ ); \
974 /*! @defined require_action_quiet
976 @abstract Requires that an expression evaluate to true with an action to execute otherwise.
980 If expression evalulates to false, this executes an action and jumps to a label. No debugging information is printed.
983 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
984 #undef require_action_quiet
986 #if ( !defined( require_action_quiet ) )
987 #define require_action_quiet( X, LABEL, ACTION ) \
1000 /*! @defined require_action_string
1002 @abstract Requires that an expression evaluate to true with an explanation and action to execute otherwise.
1006 If expression evalulates to false, this prints debugging information (actual expression string, file, line number,
1007 function name, etc.) and a custom explanation string using the default debugging output method then executes an
1008 action and jumps to a label.
1011 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
1012 #undef require_action_string
1014 #if ( !defined( require_action_string ) )
1015 #define require_action_string( X, LABEL, ACTION, STR ) \
1020 debug_print_assert( 0, # X, STR, __FILE__, __LINE__, __ROUTINE__ ); \
1030 /*! @defined require_throw
1032 @abstract Requires that an expression evaluates to true or an exception is thrown.
1036 If the expression evaluates to false, this prints debugging information (actual expression string, file,
1037 line number, function name, etc.) using the default debugging output method then throws an exception.
1040 #if ( defined( __cplusplus ) )
1041 #define require_throw( X ) \
1046 debug_print_assert( 0, # X, NULL, __FILE__, __LINE__, __ROUTINE__ ); \
1047 throw kUnknownErr; \
1054 #pragma mark == Design-By-Contract macros ==
1058 // Design-By-Contract macros
1061 #define ensure( X ) check( X )
1062 #define ensure_string( X, STR ) check_string( X, STR )
1063 #define ensure_noerr( ERR ) check_noerr( ERR )
1064 #define ensure_noerr_string( ERR, STR ) check_noerr_string( ERR, STR )
1065 #define ensure_translated_errno( TEST, ERRNO, ALTERNATE_ERROR ) check_translated_errno( TEST, ERRNO, ALTERNATE_ERROR )
1067 // Note: Design-By-Contract "require" macros are already defined elsewhere.
1070 #pragma mark == Expect macros ==
1077 // Expect macros allow code to include runtime checking of things that should not happen in shipping code (e.g. internal
1078 // programmer errors, such as a NULL parameter where it is not allowed). Once the code has been verified to work correctly
1079 // without asserting, the DEBUG_EXPECT_VERIFIED conditional can be set to eliminate the error checking entirely. It can
1080 // also be useful to measure the cost of error checking code by profiling with it enable and with it disabled.
1082 #if ( DEBUG_EXPECT_VERIFIED )
1083 #define require_expect
1084 #define require_string_expect
1085 #define require_quiet_expect
1086 #define require_noerr_expect
1087 #define require_noerr_string_expect
1088 #define require_noerr_action_string_expect
1089 #define require_noerr_quiet_expect
1090 #define require_noerr_action_expect
1091 #define require_noerr_action_quiet_expect
1092 #define require_action_expect
1093 #define require_action_quiet_expect
1094 #define require_action_string_expect
1096 #define require_expect require
1097 #define require_string_expect require_string
1098 #define require_quiet_expect require_quiet
1099 #define require_noerr_expect require_noerr
1100 #define require_noerr_string_expect require_noerr_string
1101 #define require_noerr_action_string_expect require_noerr_action_string
1102 #define require_noerr_quiet_expect require_noerr_quiet
1103 #define require_noerr_action_expect require_noerr_action
1104 #define require_noerr_action_quiet_expect require_noerr_action_quiet
1105 #define require_action_expect require_action
1106 #define require_action_quiet_expect require_action_quiet
1107 #define require_action_string_expect require_action_string
1111 #pragma mark == Output macros ==
1115 /*! @defined debug_string
1117 @abstract Prints a debugging C string.
1120 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
1123 #if ( !defined( debug_string ) )
1125 #define debug_string( STR ) \
1128 debug_print_assert( 0, NULL, STR, __FILE__, __LINE__, __ROUTINE__ ); \
1132 #define debug_string( STR )
1137 /*! @defined debug_print_assert
1139 @abstract Prints an assertion.
1143 #define debug_print_assert( ERROR_CODE, ASSERT_STRING, MESSAGE, FILENAME, LINE_NUMBER, FUNCTION ) \
1144 DebugPrintAssert( ERROR_CODE, ASSERT_STRING, MESSAGE, FILENAME, LINE_NUMBER, FUNCTION )
1146 #define debug_print_assert( ERROR_CODE, ASSERT_STRING, MESSAGE, FILENAME, LINE_NUMBER, FUNCTION )
1152 @abstract Prints a debug-only message.
1156 #if ( DEBUG_C99_VA_ARGS )
1157 #define dlog(... ) DebugPrintF( __VA_ARGS__ )
1158 #elif ( DEBUG_GNU_VA_ARGS )
1159 #define dlog( ARGS... ) DebugPrintF( ## ARGS )
1161 #define dlog DebugPrintF
1164 #if ( DEBUG_C99_VA_ARGS )
1166 #elif ( DEBUG_GNU_VA_ARGS )
1167 #define dlog( ARGS... )
1169 #define dlog while( 0 )
1176 @abstract Prints a debug-only message.
1180 #define dlogv( LEVEL, FORMAT, LIST ) DebugPrintFVAList( ( LEVEL ), ( FORMAT ), ( LIST ) )
1182 #define dlogv( LEVEL, FORMAT, LIST )
1186 /*! @defined dlogmem
1188 @abstract Prints a debug-only dump of memory.
1192 #define dlogmem( LEVEL, PTR, SIZE ) \
1193 DebugHexDump( ( LEVEL ), 0, NULL, 0, 0, NULL, 0, ( PTR ), ( PTR ), ( SIZE ), kDebugFlagsNone, NULL, 0 )
1195 #define dlogmem( LEVEL, PTR, SIZE )
1199 /*! @defined DebugNSLog
1201 @abstract Debug-only macro for the Cocoa NSLog function.
1205 #if ( DEBUG_C99_VA_ARGS )
1206 #define DebugNSLog(... ) NSLog( __VA_ARGS__ )
1207 #elif ( DEBUG_GNU_VA_ARGS )
1208 #define DebugNSLog( ARGS... ) NSLog( ## ARGS )
1210 #define DebugNSLog NSLog
1213 #if ( DEBUG_C99_VA_ARGS )
1214 #define DebugNSLog(... )
1215 #elif ( DEBUG_GNU_VA_ARGS )
1216 #define DebugNSLog( ARGS... )
1218 #define DebugNSLog while( 0 )
1223 /*! @defined DebugLogMsg
1225 @abstract Debug-only macro for the VxWorks logMsg function.
1228 #if ( TARGET_OS_VXWORKS )
1230 #define DebugLogMsg( LEVEL, FORMAT, P1, P2, P3, P4, P5, P6 ) \
1233 if( ( inLevel >= gDebugPrintLevelMin ) || ( inLevel <= gDebugPrintLevelMax ) ) \
1235 logMsg( ( FORMAT ), ( P1 ), ( P2 ), ( P3 ), ( P4 ), ( P5 ), ( P6 ) ); \
1240 #define DebugLogMsg( LEVEL, FORMAT, P1, P2, P3, P4, P5, P6 )
1243 #define DebugLogMsg dlog
1247 #pragma mark == Routines - General ==
1255 /*! @function DebugInitialize
1257 @abstract Initializes the debugging library for a specific kind of output.
1260 @param varArg Variable number parameters, controlled by the "inType" parameter.
1264 DEBUG_EXPORT OSStatus
DebugInitialize( DebugOutputType inType
, ... );
1268 #if ( DEBUG_C99_VA_ARGS )
1269 #define debug_initialize(... ) DebugInitialize( __VA_ARGS__ )
1270 #elif ( DEBUG_GNU_VA_ARGS )
1271 #define debug_initialize( ARGS... ) DebugInitialize( ## ARGS )
1273 #define debug_initialize DebugInitialize
1276 #if ( DEBUG_C99_VA_ARGS )
1277 #define debug_initialize(... )
1278 #elif ( DEBUG_GNU_VA_ARGS )
1279 #define debug_initialize( ARGS... )
1281 #define debug_initialize while( 0 )
1286 /*! @function DebugFinalize
1288 @abstract Releases any resources used by the debugging library
1292 DEBUG_EXPORT
void DebugFinalize( void );
1296 #define debug_terminate() DebugFinalize()
1298 #define debug_terminate()
1302 /*! @function DebugGetProperty
1304 @abstract Gets the specified property from the debugging library.
1308 DEBUG_EXPORT OSStatus
DebugGetProperty( DebugPropertyTag inTag
, ... );
1312 #if ( DEBUG_C99_VA_ARGS )
1313 #define debug_get_property(... ) DebugGetProperty( __VA_ARGS__ )
1314 #elif ( DEBUG_GNU_VA_ARGS )
1315 #define debug_get_property( ARGS... ) DebugGetProperty( ## ARGS )
1317 #define debug_get_property DebugGetProperty
1320 #if ( DEBUG_C99_VA_ARGS )
1321 #define debug_get_property(... )
1322 #elif ( DEBUG_GNU_VA_ARGS )
1323 #define debug_get_property( ARGS... )
1325 #define debug_get_property while( 0 )
1330 /*! @function DebugSetProperty
1332 @abstract Sets the specified property from the debugging library.
1336 DEBUG_EXPORT OSStatus
DebugSetProperty( DebugPropertyTag inTag
, ... );
1340 #if ( DEBUG_C99_VA_ARGS )
1341 #define debug_set_property(... ) DebugSetProperty( __VA_ARGS__ )
1342 #elif ( DEBUG_GNU_VA_ARGS )
1343 #define debug_set_property( ARGS... ) DebugSetProperty( ## ARGS )
1345 #define debug_set_property DebugSetProperty
1348 #if ( DEBUG_C99_VA_ARGS )
1349 #define debug_set_property(... )
1350 #elif ( DEBUG_GNU_VA_ARGS )
1351 #define debug_set_property( ARGS... )
1353 #define debug_set_property while( 0 )
1358 #pragma mark == Routines - Debugging Output ==
1362 /*! @function DebugPrintF
1364 @abstract Prints a debug message with printf-style formatting.
1366 @param inLevel Error that generated this assert or noErr.
1368 @param inFormatString
1369 C string containing assertion text.
1372 Variable number of arguments depending on the format string.
1374 @result Number of bytes printed or -1 on error.
1378 DEBUG_EXPORT
size_t DebugPrintF( DebugLevel inLevel
, const char *inFormat
, ... );
1382 /*! @function DebugPrintFVAList
1384 @abstract va_list version of DebugPrintF. See DebugPrintF for more info.
1388 DEBUG_EXPORT
size_t DebugPrintFVAList( DebugLevel inLevel
, const char *inFormat
, va_list inArgs
);
1392 /*! @function DebugPrintAssert
1394 @abstract Prints a message describing the reason the (e.g. an assert failed), an optional error message,
1395 an optional source filename, an optional source line number.
1397 @param inErrorCode Error that generated this assert or noErr.
1398 @param inAssertString C string containing assertion text.
1399 @param inMessage C string containing a message about the assert.
1400 @param inFileName C string containing path of file where the error occurred.
1401 @param inLineNumber Line number in source file where the error occurred.
1402 @param inFunction C string containing name of function where assert occurred.
1408 [ASSERT] assert: "dataPtr != NULL" allocate memory for object failed
1409 [ASSERT] where: "MyFile.c", line 123, ("MyFunction")
1413 [ASSERT] error: -6728 (kNoMemoryErr)
1414 [ASSERT] where: "MyFile.c", line 123, ("MyFunction")
1420 int_least32_t inErrorCode
,
1421 const char * inAssertString
,
1422 const char * inMessage
,
1423 const char * inFilename
,
1424 int_least32_t inLineNumber
,
1425 const char * inFunction
);
1429 #pragma mark == Routines - Utilities ==
1433 /*! @function DebugSNPrintF
1435 @abstract Debugging versions of standard C snprintf with extra features.
1437 @param sbuffer Buffer to receive result. Null terminated unless the buffer size is 0.
1438 @param buflen Size of the buffer including space for the null terminator.
1439 @param fmt printf-style format string.
1440 @param VAR_ARG Variable number of arguments depending on the format string.
1442 @result Number of characters written (minus the null terminator).
1446 Extra features over the standard C snprintf:
1448 64-bit support for %d (%lld), %i (%lli), %u (%llu), %o (%llo), %x (%llx), and %b (%llb).
1449 %@ - Cocoa/CoreFoundation object. Param is the object. Strings are used directly. Others use CFCopyDescription.
1450 %a - Network Address: %.4a=IPv4, %.6a=Ethernet, %.8a Fibre Channel, %.16a=IPv6. Arg=ptr to network address.
1451 %#a - IPv4 or IPv6 mDNSAddr. Arg=ptr to mDNSAddr.
1452 %##a - IPv4 (if AF_INET defined) or IPv6 (if AF_INET6 defined) sockaddr. Arg=ptr to sockaddr.
1453 %b - Binary representation of integer (e.g. 01101011). Modifiers and arg=the same as %d, %x, etc.
1454 %C - Mac-style FourCharCode (e.g. 'APPL'). Arg=32-bit value to print as a Mac-style FourCharCode.
1455 %H - Hex Dump (e.g. "\x6b\xa7" -> "6B A7"). 1st arg=ptr, 2nd arg=size, 3rd arg=max size.
1456 %#H - Hex Dump & ASCII (e.g. "\x41\x62" -> "6B A7 'Ab'"). 1st arg=ptr, 2nd arg=size, 3rd arg=max size.
1457 %m - Error Message (e.g. 0 -> "kNoErr"). Modifiers and error code arg=the same as %d, %x, etc.
1458 %#s - Pascal-style length-prefixed string. Arg=ptr to string.
1459 %##s - DNS label-sequence name. Arg=ptr to name.
1460 %S - UTF-16 string, 0x0000 terminated. Host order if no BOM. Precision is UTF-16 count. Precision includes BOM.
1461 %#S - Big Endian UTF-16 string (unless BOM overrides). Otherwise, the same as %S.
1462 %##S - Little Endian UTF-16 string (unless BOM overrides). Otherwise, the same as %S.
1463 %U - Universally Unique Identifier (UUID) (e.g. 6ba7b810-9dad-11d1-80b4-00c04fd430c8). Arg=ptr to 16-byte UUID.
1468 DEBUG_EXPORT
size_t DebugSNPrintF(char *sbuffer
, size_t buflen
, const char *fmt
, ...);
1472 /*! @function DebugSNPrintFVAList
1474 @abstract va_list version of DebugSNPrintF. See DebugSNPrintF for more info.
1478 DEBUG_EXPORT
size_t DebugSNPrintFVAList(char *sbuffer
, size_t buflen
, const char *fmt
, va_list arg
);
1482 /*! @function DebugGetErrorString
1484 @abstract Gets an error string from an error code.
1486 @param inStatus Error code to get the string for.
1487 @param inBuffer Optional buffer to copy the string to for non-static strings. May be null.
1488 @param inBufferSize Size of optional buffer. May be 0.
1490 @result C string containing error string for the error code. Guaranteed to be a valid, static string. If a
1491 buffer is supplied, the return value will always be a pointer to the supplied buffer, which will
1492 contain the best available description of the error code. If a buffer is not supplied, the return
1493 value will be the best available description of the error code that can be represented as a static
1494 string. This allows code that cannot use a temporary buffer to hold the result to still get a useful
1495 error string in most cases, but also allows code that can use a temporary buffer to get the best
1496 available description.
1500 DEBUG_EXPORT
const char * DebugGetErrorString( int_least32_t inErrorCode
, char *inBuffer
, size_t inBufferSize
);
1504 /*! @function DebugHexDump
1506 @abstract Hex dumps data to a string or to the output device.
1514 const char * inLabel
,
1516 int inLabelMinWidth
,
1517 const char * inType
,
1519 const void * inDataStart
,
1520 const void * inData
,
1524 size_t inBufferSize
);
1528 #define dloghex( LEVEL, INDENT, LABEL, LABEL_SIZE, LABEL_MIN_SIZE, TYPE, TYPE_SIZE, DATA_START, DATA, DATA_SIZE, FLAGS, BUFFER, BUFFER_SIZE ) \
1529 DebugHexDump( ( LEVEL ), (INDENT), ( LABEL ), ( LABEL_SIZE ), ( LABEL_MIN_SIZE ), ( TYPE ), ( TYPE_SIZE ), \
1530 ( DATA_START ), ( DATA ), ( DATA_SIZE ), ( FLAGS ), ( BUFFER ), ( BUFFER_SIZE ) )
1532 #define dloghex( LEVEL, INDENT, LABEL, LABEL_SIZE, LABEL_MIN_SIZE, TYPE, TYPE_SIZE, DATA_START, DATA, DATA_SIZE, FLAGS, BUFFER, BUFFER_SIZE )
1536 /*! @function DebugTaskLevel
1538 @abstract Returns the current task level.
1540 @result Current task level
1544 Bit masks to isolate portions of the result (note that some masks may also need bit shifts to right justify):
1546 kDebugInterruptLevelMask - Indicates the current interrupt level (> 0 means interrupt time).
1547 kDebugInVBLTaskMask - Indicates if a VBL task is currently being executed.
1548 kDebugInDeferredTaskMask - Indicates if a Deferred Task is currently being executed.
1549 kDebugInSecondaryInterruptHandlerMask - Indicates if a Secondary Interrupt Handler is currently being executed.
1550 kDebugPageFaultFatalMask - Indicates if it is unsafe to cause a page fault (worse than interrupt time).
1551 kDebugMPTaskLevelMask - Indicates if being called from an MP task.
1552 kDebugInterruptDepthMask - 0 means task level, 1 means in interrupt, > 1 means in nested interrupt.
1557 DebugExtractTaskLevelInterruptDepth() - Macro to extract interrupt depth from task level value.
1562 DEBUG_EXPORT
uint32_t DebugTaskLevel( void );
1566 /*! @function DebugServicesTest
1568 @abstract Unit test.
1572 DEBUG_EXPORT OSStatus
DebugServicesTest( void );
1579 #endif // __DEBUG_SERVICES__