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.
18 //---------------------------------------------------------------------------------------------------------------------------
19 /*! @header DebugServices
24 #ifndef __DEBUG_SERVICES__
25 #define __DEBUG_SERVICES__
29 #include "CommonServices.h"
31 #if ( TARGET_OS_VXWORKS )
36 #pragma mark == Settings ==
39 //===========================================================================================================================
41 //===========================================================================================================================
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 ==
93 //---------------------------------------------------------------------------------------------------------------------------
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
111 //---------------------------------------------------------------------------------------------------------------------------
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
121 //---------------------------------------------------------------------------------------------------------------------------
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
131 //---------------------------------------------------------------------------------------------------------------------------
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
147 //---------------------------------------------------------------------------------------------------------------------------
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
161 //---------------------------------------------------------------------------------------------------------------------------
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
188 //---------------------------------------------------------------------------------------------------------------------------
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
206 //---------------------------------------------------------------------------------------------------------------------------
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
);
214 //===========================================================================================================================
216 //===========================================================================================================================
219 #pragma mark == Flags ==
222 //---------------------------------------------------------------------------------------------------------------------------
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 )
242 //---------------------------------------------------------------------------------------------------------------------------
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 ==
271 //===========================================================================================================================
272 // Constants & Types - Levels
273 //===========================================================================================================================
275 //---------------------------------------------------------------------------------------------------------------------------
276 /*! @typedef DebugLevel
278 @abstract Level used to control debug logging.
281 typedef int32_t DebugLevel
;
285 #define kDebugLevelMask 0x0000FFFF
286 #define kDebugLevelChatty 100
287 #define kDebugLevelVerbose 500
288 #define kDebugLevelTrace 800
289 #define kDebugLevelInfo 1000
290 #define kDebugLevelNotice 3000
291 #define kDebugLevelWarning 5000
292 #define kDebugLevelAssert 6000
293 #define kDebugLevelRequire 7000
294 #define kDebugLevelError 8000
295 #define kDebugLevelCritical 9000
296 #define kDebugLevelAlert 10000
297 #define kDebugLevelEmergency 11000
298 #define kDebugLevelTragic 12000
299 #define kDebugLevelMax 0x0000FFFF
303 #define kDebugLevelFlagMask 0xFFFF0000
304 #define kDebugLevelFlagStackTrace 0x00010000
305 #define kDebugLevelFlagDebugBreak 0x00020000
307 //---------------------------------------------------------------------------------------------------------------------------
308 /*! @typedef LogLevel
310 @abstract Level used to control which events are logged.
313 typedef int32_t LogLevel
;
315 #define kLogLevelUninitialized -1L
316 #define kLogLevelAll 0L
317 #define kLogLevelChatty 100L
318 #define kLogLevelVerbose 500L
319 #define kLogLevelTrace 800L
320 #define kLogLevelInfo 1000L
321 #define kLogLevelNotice 3000L
322 #define kLogLevelWarning 4000L
323 #define kLogLevelAssert 6000L
324 #define kLogLevelRequire 7000L
325 #define kLogLevelError 8000L
326 #define kLogLevelCritical 9000L
327 #define kLogLevelAlert 10000L
328 #define kLogLevelEmergency 11000L
329 #define kLogLevelTragic 12000L
330 #define kLogLevelOff 0x0000FFFEL
333 #pragma mark == Properties ==
336 //---------------------------------------------------------------------------------------------------------------------------
337 /*! @typedef DebugPropertyTag
339 @abstract Tag for properties.
342 typedef uint32_t DebugPropertyTag
;
344 #define kDebugPropertyTagPrintLevelMin 0x6D696E70U // 'minp' Get: 1st param = DebugLevel *
345 // Set: 1st param = DebugLevel
347 #define kDebugPropertyTagPrintLevel kDebugPropertyTagPrintLevelMin
349 #define kDebugPropertyTagPrintLevelMax 0x706D786CU // 'maxp' Get: 1st param = DebugLevel *
350 // Set: 1st param = DebugLevel
352 #define kDebugPropertyTagBreakLevel 0x62726B6CU // 'brkl' Get: 1st param = DebugLevel *
353 // Set: 1st param = DebugLevel
355 #pragma mark == General macros ==
358 //---------------------------------------------------------------------------------------------------------------------------
359 /*! @defined DEBUG_UNUSED
361 @abstract Macro to mark a paramter as unused to avoid unused parameter warnings.
365 There is no universally supported pragma/attribute for indicating a variable is unused. DEBUG_UNUSED lets us
366 indicate a variable is unused in a manner that is supported by most compilers.
369 #define DEBUG_UNUSED( X ) (void)( X )
371 //---------------------------------------------------------------------------------------------------------------------------
372 /*! @defined DEBUG_USE_ONLY
374 @abstract Macro to mark a variable as used only when debugging is enabled.
378 Variables are sometimes needed only for debugging. When debugging is turned off, these debug-only variables generate
379 compiler warnings about unused variables. To eliminate these warnings, use these macros to indicate variables that
380 are only used for debugging.
384 #define DEBUG_USE_ONLY( X )
386 #define DEBUG_USE_ONLY( X ) (void)( X )
389 //---------------------------------------------------------------------------------------------------------------------------
390 /*! @defined DEBUG_LOCAL
392 @abstract Macros to make variables and functions static when debugging is off, but extern when debugging is on.
396 Rather than using "static" directly, using this macros allows you to access these variables external while
397 debugging without being penalized for production builds.
403 #define DEBUG_LOCAL static
406 //---------------------------------------------------------------------------------------------------------------------------
407 /*! @defined DEBUG_STATIC
409 @abstract Macros to make variables and functions static when debugging is off, but extern when debugging is on.
413 Rather than using "static" directly, using this macros allows you to access these variables external while
414 debugging without being penalized for production builds.
420 #define DEBUG_STATIC static
423 //---------------------------------------------------------------------------------------------------------------------------
424 /*! @defined DEBUG_EXPORT
426 @abstract Macros to export variables.
430 "__private_extern__" is a hack for IOKit to allow symbols to be exported from compilation units, but
431 // not exported outside a driver (IOKit uses a lame global namespace for symbols). This still does not
432 // solve the problem of multiple drivers in the same dependency chain since they share symbols.
435 #if ( TARGET_API_MAC_OSX_KERNEL )
436 #define DEBUG_EXPORT __private_extern__
438 #define DEBUG_EXPORT extern
441 //---------------------------------------------------------------------------------------------------------------------------
442 /*! @defined debug_add
444 @abstract Macro to add (or subtract if negative) a value when debugging is on. Does nothing if debugging is off.
448 #define debug_add( A, B ) ( A ) += ( B )
450 #define debug_add( A, B )
453 //---------------------------------------------------------------------------------------------------------------------------
454 /*! @defined debug_perform
456 @abstract Macro to perform something in debug-only builds.
460 #define debug_perform( X ) do { X; } while( 0 )
462 #define debug_perform( X )
465 //---------------------------------------------------------------------------------------------------------------------------
466 /*! @function translate_errno
468 @abstract Returns 0 if the test success. If the test fails, returns errno if non-zero and othewise the alternate error.
471 #define translate_errno( TEST, ERRNO, ALTERNATE_ERROR ) ( ( TEST ) ? 0 : ( ERRNO ) ? ( ERRNO ) : ( ALTERNATE_ERROR ) )
474 #pragma mark == Compile Time macros ==
477 //---------------------------------------------------------------------------------------------------------------------------
478 /*! @defined check_compile_time
480 @abstract Performs a compile-time check of something such as the size of an int.
484 This declares an array with a size that is determined by a compile-time expression. If the expression evaluates
485 to 0, the array has a size of -1, which is illegal and generates a compile-time error.
489 check_compile_time( sizeof( int ) == 4 );
491 Note: This only works with compile-time expressions.
492 Note: This only works in places where extern declarations are allowed (e.g. global scope).
496 <http://www.jaggersoft.com/pubs/CVu11_3.html>
497 <http://www.jaggersoft.com/pubs/CVu11_5.html>
499 Note: The following macros differ from the macros on the www.jaggersoft.com web site because those versions do not
500 work with GCC due to GCC allow a zero-length array. Using a -1 condition turned out to be more portable.
503 #define check_compile_time( X ) extern int debug_compile_time_name[ ( X ) ? 1 : -1 ]
505 //---------------------------------------------------------------------------------------------------------------------------
506 /*! @defined check_compile_time_code
508 @abstract Perform a compile-time check, suitable for placement in code, of something such as the size of an int.
512 This creates a switch statement with an existing case for 0 and an additional case using the result of a
513 compile-time expression. A switch statement cannot have two case labels with the same constant so if the
514 compile-time expression evaluates to 0, it is illegal and generates a compile-time error. If the compile-time
515 expression does not evaluate to 0, the resulting value is used as the case label and it compiles without error.
519 check_compile_time_code( sizeof( int ) == 4 );
521 Note: This only works with compile-time expressions.
522 Note: This does not work in a global scope so it must be inside a function.
526 <http://www.jaggersoft.com/pubs/CVu11_3.html>
527 <http://www.jaggersoft.com/pubs/CVu11_5.html>
530 #define check_compile_time_code( X ) switch( 0 ) { case 0: case X:; }
533 #pragma mark == check macros ==
536 //---------------------------------------------------------------------------------------------------------------------------
539 @abstract Check that an expression is true (non-zero).
543 If expression evalulates to false, this prints debugging information (actual expression string, file, line number,
544 function name, etc.) using the default debugging output method.
546 Code inside check() statements is not compiled into production builds.
549 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
552 #if ( !defined( check ) )
559 debug_print_assert( 0, # X, NULL, __FILE__, __LINE__, __ROUTINE__ ); \
567 //---------------------------------------------------------------------------------------------------------------------------
568 /*! @defined check_string
570 @abstract Check that an expression is true (non-zero) with an explanation.
574 If expression evalulates to false, this prints debugging information (actual expression string, file, line number,
575 function name, etc.) and a custom explanation string using the default debugging output method.
577 Code inside check_string() statements is not compiled into production builds.
580 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
583 #if ( !defined( check_string ) )
585 #define check_string( X, STR ) \
590 debug_print_assert( 0, # X, STR, __FILE__, __LINE__, __ROUTINE__ ); \
595 #define check_string( X, STR )
599 //---------------------------------------------------------------------------------------------------------------------------
600 /*! @defined check_noerr
602 @abstract Check that an error code is noErr (0).
606 If the error code is non-0, this prints debugging information (actual expression string, file, line number,
607 function name, etc.) using the default debugging output method.
609 Code inside check_noerr() statements is not compiled into production builds.
612 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
615 #if ( !defined( check_noerr ) )
617 #define check_noerr( ERR ) \
620 int_least32_t localErr; \
622 localErr = (int_least32_t)( ERR ); \
623 if( localErr != 0 ) \
625 debug_print_assert( localErr, NULL, NULL, __FILE__, __LINE__, __ROUTINE__ ); \
630 #define check_noerr( ERR )
634 //---------------------------------------------------------------------------------------------------------------------------
635 /*! @defined check_noerr_string
637 @abstract Check that an error code is noErr (0) with an explanation.
641 If the error code is non-0, this prints debugging information (actual expression string, file, line number,
642 function name, etc.) and a custom explanation string using the default debugging output method.
644 Code inside check_noerr_string() statements is not compiled into production builds.
647 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
648 #undef check_noerr_string
650 #if ( !defined( check_noerr_string ) )
652 #define check_noerr_string( ERR, STR ) \
655 int_least32_t localErr; \
657 localErr = (int_least32_t)( ERR ); \
658 if( localErr != 0 ) \
660 debug_print_assert( localErr, NULL, STR, __FILE__, __LINE__, __ROUTINE__ ); \
665 #define check_noerr_string( ERR, STR )
669 //---------------------------------------------------------------------------------------------------------------------------
670 /*! @defined check_translated_errno
672 @abstract Check a condition and prints errno (if non-zero) to the log.
676 Code inside check_translated_errno() statements is not compiled into production builds.
679 #if ( !defined( check_translated_errno ) )
681 #define check_translated_errno( TEST, ERRNO, ALTERNATE_ERROR ) \
686 int_least32_t localErr; \
688 localErr = (int_least32_t)( ERRNO ); \
689 localErr = ( localErr != 0 ) ? localErr : (int_least32_t)( ALTERNATE_ERROR ); \
690 debug_print_assert( localErr, # TEST, NULL, __FILE__, __LINE__, __ROUTINE__ ); \
695 #define check_translated_errno( TEST, ERRNO, ALTERNATE_ERROR )
699 //---------------------------------------------------------------------------------------------------------------------------
700 /*! @defined check_ptr_overlap
702 @abstract Checks that two ptrs do not overlap.
705 #define check_ptr_overlap( P1, P1_SIZE, P2, P2_SIZE ) \
708 check( !( ( (uintptr_t)( P1 ) >= (uintptr_t)( P2 ) ) && \
709 ( (uintptr_t)( P1 ) < ( ( (uintptr_t)( P2 ) ) + ( P2_SIZE ) ) ) ) ); \
710 check( !( ( (uintptr_t)( P2 ) >= (uintptr_t)( P1 ) ) && \
711 ( (uintptr_t)( P2 ) < ( ( (uintptr_t)( P1 ) ) + ( P1_SIZE ) ) ) ) ); \
716 #pragma mark == require macros ==
719 //---------------------------------------------------------------------------------------------------------------------------
722 @abstract Requires that an expression evaluate to true.
726 If expression evalulates to false, this prints debugging information (actual expression string, file, line number,
727 function name, etc.) using the default debugging output method then jumps to a label.
730 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
733 #if ( !defined( require ) )
734 #define require( X, LABEL ) \
739 debug_print_assert( 0, # X, NULL, __FILE__, __LINE__, __ROUTINE__ ); \
746 //---------------------------------------------------------------------------------------------------------------------------
747 /*! @defined require_string
749 @abstract Requires that an expression evaluate to true with an explanation.
753 If expression evalulates to false, this prints debugging information (actual expression string, file, line number,
754 function name, etc.) and a custom explanation string using the default debugging output method then jumps to a label.
757 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
758 #undef require_string
760 #if ( !defined( require_string ) )
761 #define require_string( X, LABEL, STR ) \
766 debug_print_assert( 0, # X, STR, __FILE__, __LINE__, __ROUTINE__ ); \
773 //---------------------------------------------------------------------------------------------------------------------------
774 /*! @defined require_quiet
776 @abstract Requires that an expression evaluate to true.
780 If expression evalulates to false, this jumps to a label. No debugging information is printed.
783 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
786 #if ( !defined( require_quiet ) )
787 #define require_quiet( X, LABEL ) \
798 //---------------------------------------------------------------------------------------------------------------------------
799 /*! @defined require_noerr
801 @abstract Require that an error code is noErr (0).
805 If the error code is non-0, this prints debugging information (actual expression string, file, line number,
806 function name, etc.) using the default debugging output method then jumps to a label.
809 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
812 #if ( !defined( require_noerr ) )
813 #define require_noerr( ERR, LABEL ) \
816 int_least32_t localErr; \
818 localErr = (int_least32_t)( ERR ); \
819 if( localErr != 0 ) \
821 debug_print_assert( localErr, NULL, NULL, __FILE__, __LINE__, __ROUTINE__ ); \
828 //---------------------------------------------------------------------------------------------------------------------------
829 /*! @defined require_noerr_string
831 @abstract Require that an error code is noErr (0).
835 If the error code is non-0, this prints debugging information (actual expression string, file, line number,
836 function name, etc.), and a custom explanation string using the default debugging output method using the
837 default debugging output method then jumps to a label.
840 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
841 #undef require_noerr_string
843 #if ( !defined( require_noerr_string ) )
844 #define require_noerr_string( ERR, LABEL, STR ) \
847 int_least32_t localErr; \
849 localErr = (int_least32_t)( ERR ); \
850 if( localErr != 0 ) \
852 debug_print_assert( localErr, NULL, STR, __FILE__, __LINE__, __ROUTINE__ ); \
859 //---------------------------------------------------------------------------------------------------------------------------
860 /*! @defined require_noerr_action_string
862 @abstract Require that an error code is noErr (0).
866 If the error code is non-0, this prints debugging information (actual expression string, file, line number,
867 function name, etc.), and a custom explanation string using the default debugging output method using the
868 default debugging output method then executes an action and jumps to a label.
871 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
872 #undef require_noerr_action_string
874 #if ( !defined( require_noerr_action_string ) )
875 #define require_noerr_action_string( ERR, LABEL, ACTION, STR ) \
878 int_least32_t localErr; \
880 localErr = (int_least32_t)( ERR ); \
881 if( localErr != 0 ) \
883 debug_print_assert( localErr, NULL, STR, __FILE__, __LINE__, __ROUTINE__ ); \
891 //---------------------------------------------------------------------------------------------------------------------------
892 /*! @defined require_noerr_quiet
894 @abstract Require that an error code is noErr (0).
898 If the error code is non-0, this jumps to a label. No debugging information is printed.
901 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
902 #undef require_noerr_quiet
904 #if ( !defined( require_noerr_quiet ) )
905 #define require_noerr_quiet( ERR, LABEL ) \
916 //---------------------------------------------------------------------------------------------------------------------------
917 /*! @defined require_noerr_action
919 @abstract Require that an error code is noErr (0) with an action to execute otherwise.
923 If the error code is non-0, this prints debugging information (actual expression string, file, line number,
924 function name, etc.) using the default debugging output method then executes an action and jumps to a label.
927 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
928 #undef require_noerr_action
930 #if ( !defined( require_noerr_action ) )
931 #define require_noerr_action( ERR, LABEL, ACTION ) \
934 int_least32_t localErr; \
936 localErr = (int_least32_t)( ERR ); \
937 if( localErr != 0 ) \
939 debug_print_assert( localErr, NULL, NULL, __FILE__, __LINE__, __ROUTINE__ ); \
947 //---------------------------------------------------------------------------------------------------------------------------
948 /*! @defined require_noerr_action_quiet
950 @abstract Require that an error code is noErr (0) with an action to execute otherwise.
954 If the error code is non-0, this executes an action and jumps to a label. No debugging information is printed.
957 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
958 #undef require_noerr_action_quiet
960 #if ( !defined( require_noerr_action_quiet ) )
961 #define require_noerr_action_quiet( ERR, LABEL, ACTION ) \
973 //---------------------------------------------------------------------------------------------------------------------------
974 /*! @defined require_action
976 @abstract Requires that an expression evaluate to true with an action to execute otherwise.
980 If expression evalulates to false, this prints debugging information (actual expression string, file, line number,
981 function name, etc.) using the default debugging output method then executes an action and jumps to a label.
984 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
985 #undef require_action
987 #if ( !defined( require_action ) )
988 #define require_action( X, LABEL, ACTION ) \
993 debug_print_assert( 0, # X, NULL, __FILE__, __LINE__, __ROUTINE__ ); \
1001 //---------------------------------------------------------------------------------------------------------------------------
1002 /*! @defined require_action_quiet
1004 @abstract Requires that an expression evaluate to true with an action to execute otherwise.
1008 If expression evalulates to false, this executes an action and jumps to a label. No debugging information is printed.
1011 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
1012 #undef require_action_quiet
1014 #if ( !defined( require_action_quiet ) )
1015 #define require_action_quiet( X, LABEL, ACTION ) \
1027 //---------------------------------------------------------------------------------------------------------------------------
1028 /*! @defined require_action_string
1030 @abstract Requires that an expression evaluate to true with an explanation and action to execute otherwise.
1034 If expression evalulates to false, this prints debugging information (actual expression string, file, line number,
1035 function name, etc.) and a custom explanation string using the default debugging output method then executes an
1036 action and jumps to a label.
1039 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
1040 #undef require_action_string
1042 #if ( !defined( require_action_string ) )
1043 #define require_action_string( X, LABEL, ACTION, STR ) \
1048 debug_print_assert( 0, # X, STR, __FILE__, __LINE__, __ROUTINE__ ); \
1057 //---------------------------------------------------------------------------------------------------------------------------
1058 /*! @defined require_throw
1060 @abstract Requires that an expression evaluates to true or an exception is thrown.
1064 If the expression evaluates to false, this prints debugging information (actual expression string, file,
1065 line number, function name, etc.) using the default debugging output method then throws an exception.
1068 #if ( defined( __cplusplus ) )
1069 #define require_throw( X ) \
1074 debug_print_assert( 0, # X, NULL, __FILE__, __LINE__, __ROUTINE__ ); \
1075 throw kUnknownErr; \
1082 #pragma mark == Design-By-Contract macros ==
1085 //===========================================================================================================================
1086 // Design-By-Contract macros
1087 //===========================================================================================================================
1089 #define ensure( X ) check( X )
1090 #define ensure_string( X, STR ) check_string( X, STR )
1091 #define ensure_noerr( ERR ) check_noerr( ERR )
1092 #define ensure_noerr_string( ERR, STR ) check_noerr_string( ERR, STR )
1093 #define ensure_translated_errno( TEST, ERRNO, ALTERNATE_ERROR ) check_translated_errno( TEST, ERRNO, ALTERNATE_ERROR )
1095 // Note: Design-By-Contract "require" macros are already defined elsewhere.
1098 #pragma mark == Expect macros ==
1101 //===========================================================================================================================
1103 //===========================================================================================================================
1105 // Expect macros allow code to include runtime checking of things that should not happen in shipping code (e.g. internal
1106 // programmer errors, such as a NULL parameter where it is not allowed). Once the code has been verified to work correctly
1107 // without asserting, the DEBUG_EXPECT_VERIFIED conditional can be set to eliminate the error checking entirely. It can
1108 // also be useful to measure the cost of error checking code by profiling with it enable and with it disabled.
1110 #if ( DEBUG_EXPECT_VERIFIED )
1111 #define require_expect
1112 #define require_string_expect
1113 #define require_quiet_expect
1114 #define require_noerr_expect
1115 #define require_noerr_string_expect
1116 #define require_noerr_action_string_expect
1117 #define require_noerr_quiet_expect
1118 #define require_noerr_action_expect
1119 #define require_noerr_action_quiet_expect
1120 #define require_action_expect
1121 #define require_action_quiet_expect
1122 #define require_action_string_expect
1124 #define require_expect require
1125 #define require_string_expect require_string
1126 #define require_quiet_expect require_quiet
1127 #define require_noerr_expect require_noerr
1128 #define require_noerr_string_expect require_noerr_string
1129 #define require_noerr_action_string_expect require_noerr_action_string
1130 #define require_noerr_quiet_expect require_noerr_quiet
1131 #define require_noerr_action_expect require_noerr_action
1132 #define require_noerr_action_quiet_expect require_noerr_action_quiet
1133 #define require_action_expect require_action
1134 #define require_action_quiet_expect require_action_quiet
1135 #define require_action_string_expect require_action_string
1139 #pragma mark == Output macros ==
1142 //---------------------------------------------------------------------------------------------------------------------------
1143 /*! @defined debug_string
1145 @abstract Prints a debugging C string.
1148 #if ( DEBUG_OVERRIDE_APPLE_MACROS )
1151 #if ( !defined( debug_string ) )
1153 #define debug_string( STR ) \
1156 debug_print_assert( 0, NULL, STR, __FILE__, __LINE__, __ROUTINE__ ); \
1160 #define debug_string( STR )
1164 //---------------------------------------------------------------------------------------------------------------------------
1165 /*! @defined debug_print_assert
1167 @abstract Prints an assertion.
1171 #define debug_print_assert( ERROR_CODE, ASSERT_STRING, MESSAGE, FILENAME, LINE_NUMBER, FUNCTION ) \
1172 DebugPrintAssert( ERROR_CODE, ASSERT_STRING, MESSAGE, FILENAME, LINE_NUMBER, FUNCTION )
1174 #define debug_print_assert( ERROR_CODE, ASSERT_STRING, MESSAGE, FILENAME, LINE_NUMBER, FUNCTION )
1177 //---------------------------------------------------------------------------------------------------------------------------
1180 @abstract Prints a debug-only message.
1184 #if ( DEBUG_C99_VA_ARGS )
1185 #define dlog(... ) DebugPrintF( __VA_ARGS__ )
1186 #elif ( DEBUG_GNU_VA_ARGS )
1187 #define dlog( ARGS... ) DebugPrintF( ## ARGS )
1189 #define dlog DebugPrintF
1192 #if ( DEBUG_C99_VA_ARGS )
1194 #elif ( DEBUG_GNU_VA_ARGS )
1195 #define dlog( ARGS... )
1197 #define dlog while( 0 )
1201 //---------------------------------------------------------------------------------------------------------------------------
1204 @abstract Prints a debug-only message.
1208 #define dlogv( LEVEL, FORMAT, LIST ) DebugPrintFVAList( ( LEVEL ), ( FORMAT ), ( LIST ) )
1210 #define dlogv( LEVEL, FORMAT, LIST )
1213 //---------------------------------------------------------------------------------------------------------------------------
1214 /*! @defined dlogmem
1216 @abstract Prints a debug-only dump of memory.
1220 #define dlogmem( LEVEL, PTR, SIZE ) \
1221 DebugHexDump( ( LEVEL ), 0, NULL, 0, 0, NULL, 0, ( PTR ), ( PTR ), ( SIZE ), kDebugFlagsNone, NULL, 0 )
1223 #define dlogmem( LEVEL, PTR, SIZE )
1226 //---------------------------------------------------------------------------------------------------------------------------
1227 /*! @defined DebugNSLog
1229 @abstract Debug-only macro for the Cocoa NSLog function.
1233 #if ( DEBUG_C99_VA_ARGS )
1234 #define DebugNSLog(... ) NSLog( __VA_ARGS__ )
1235 #elif ( DEBUG_GNU_VA_ARGS )
1236 #define DebugNSLog( ARGS... ) NSLog( ## ARGS )
1238 #define DebugNSLog NSLog
1241 #if ( DEBUG_C99_VA_ARGS )
1242 #define DebugNSLog(... )
1243 #elif ( DEBUG_GNU_VA_ARGS )
1244 #define DebugNSLog( ARGS... )
1246 #define DebugNSLog while( 0 )
1250 //---------------------------------------------------------------------------------------------------------------------------
1251 /*! @defined DebugLogMsg
1253 @abstract Debug-only macro for the VxWorks logMsg function.
1256 #if ( TARGET_OS_VXWORKS )
1258 #define DebugLogMsg( LEVEL, FORMAT, P1, P2, P3, P4, P5, P6 ) \
1261 if( ( inLevel >= gDebugPrintLevelMin ) || ( inLevel <= gDebugPrintLevelMax ) ) \
1263 logMsg( ( FORMAT ), ( P1 ), ( P2 ), ( P3 ), ( P4 ), ( P5 ), ( P6 ) ); \
1268 #define DebugLogMsg( LEVEL, FORMAT, P1, P2, P3, P4, P5, P6 )
1271 #define DebugLogMsg dlog
1275 #pragma mark == Routines - General ==
1282 //---------------------------------------------------------------------------------------------------------------------------
1283 /*! @function DebugInitialize
1285 @abstract Initializes the debugging library for a specific kind of output.
1288 @param varArg Variable number parameters, controlled by the "inType" parameter.
1292 DEBUG_EXPORT OSStatus
DebugInitialize( DebugOutputType inType
, ... );
1296 #if ( DEBUG_C99_VA_ARGS )
1297 #define debug_initialize(... ) DebugInitialize( __VA_ARGS__ )
1298 #elif ( DEBUG_GNU_VA_ARGS )
1299 #define debug_initialize( ARGS... ) DebugInitialize( ## ARGS )
1301 #define debug_initialize DebugInitialize
1304 #if ( DEBUG_C99_VA_ARGS )
1305 #define debug_initialize(... )
1306 #elif ( DEBUG_GNU_VA_ARGS )
1307 #define debug_initialize( ARGS... )
1309 #define debug_initialize while( 0 )
1313 //---------------------------------------------------------------------------------------------------------------------------
1314 /*! @function DebugFinalize
1316 @abstract Releases any resources used by the debugging library
1320 DEBUG_EXPORT
void DebugFinalize( void );
1324 #define debug_terminate() DebugFinalize()
1326 #define debug_terminate()
1329 //---------------------------------------------------------------------------------------------------------------------------
1330 /*! @function DebugGetProperty
1332 @abstract Gets the specified property from the debugging library.
1336 DEBUG_EXPORT OSStatus
DebugGetProperty( DebugPropertyTag inTag
, ... );
1340 #if ( DEBUG_C99_VA_ARGS )
1341 #define debug_get_property(... ) DebugGetProperty( __VA_ARGS__ )
1342 #elif ( DEBUG_GNU_VA_ARGS )
1343 #define debug_get_property( ARGS... ) DebugGetProperty( ## ARGS )
1345 #define debug_get_property DebugGetProperty
1348 #if ( DEBUG_C99_VA_ARGS )
1349 #define debug_get_property(... )
1350 #elif ( DEBUG_GNU_VA_ARGS )
1351 #define debug_get_property( ARGS... )
1353 #define debug_get_property while( 0 )
1357 //---------------------------------------------------------------------------------------------------------------------------
1358 /*! @function DebugSetProperty
1360 @abstract Sets the specified property from the debugging library.
1364 DEBUG_EXPORT OSStatus
DebugSetProperty( DebugPropertyTag inTag
, ... );
1368 #if ( DEBUG_C99_VA_ARGS )
1369 #define debug_set_property(... ) DebugSetProperty( __VA_ARGS__ )
1370 #elif ( DEBUG_GNU_VA_ARGS )
1371 #define debug_set_property( ARGS... ) DebugSetProperty( ## ARGS )
1373 #define debug_set_property DebugSetProperty
1376 #if ( DEBUG_C99_VA_ARGS )
1377 #define debug_set_property(... )
1378 #elif ( DEBUG_GNU_VA_ARGS )
1379 #define debug_set_property( ARGS... )
1381 #define debug_set_property while( 0 )
1386 #pragma mark == Routines - Debugging Output ==
1389 //---------------------------------------------------------------------------------------------------------------------------
1390 /*! @function DebugPrintF
1392 @abstract Prints a debug message with printf-style formatting.
1394 @param inLevel Error that generated this assert or noErr.
1396 @param inFormatString
1397 C string containing assertion text.
1400 Variable number of arguments depending on the format string.
1402 @result Number of bytes printed or -1 on error.
1406 DEBUG_EXPORT
size_t DebugPrintF( DebugLevel inLevel
, const char *inFormat
, ... );
1409 //---------------------------------------------------------------------------------------------------------------------------
1410 /*! @function DebugPrintFVAList
1412 @abstract va_list version of DebugPrintF. See DebugPrintF for more info.
1416 DEBUG_EXPORT
size_t DebugPrintFVAList( DebugLevel inLevel
, const char *inFormat
, va_list inArgs
);
1419 //---------------------------------------------------------------------------------------------------------------------------
1420 /*! @function DebugPrintAssert
1422 @abstract Prints a message describing the reason the (e.g. an assert failed), an optional error message,
1423 an optional source filename, an optional source line number.
1425 @param inErrorCode Error that generated this assert or noErr.
1426 @param inAssertString C string containing assertion text.
1427 @param inMessage C string containing a message about the assert.
1428 @param inFileName C string containing path of file where the error occurred.
1429 @param inLineNumber Line number in source file where the error occurred.
1430 @param inFunction C string containing name of function where assert occurred.
1436 [ASSERT] assert: "dataPtr != NULL" allocate memory for object failed
1437 [ASSERT] where: "MyFile.c", line 123, ("MyFunction")
1441 [ASSERT] error: -6728 (kNoMemoryErr)
1442 [ASSERT] where: "MyFile.c", line 123, ("MyFunction")
1448 int_least32_t inErrorCode
,
1449 const char * inAssertString
,
1450 const char * inMessage
,
1451 const char * inFilename
,
1452 int_least32_t inLineNumber
,
1453 const char * inFunction
);
1457 #pragma mark == Routines - Utilities ==
1460 //---------------------------------------------------------------------------------------------------------------------------
1461 /*! @function DebugSNPrintF
1463 @abstract Debugging versions of standard C snprintf with extra features.
1465 @param sbuffer Buffer to receive result. Null terminated unless the buffer size is 0.
1466 @param buflen Size of the buffer including space for the null terminator.
1467 @param fmt printf-style format string.
1468 @param VAR_ARG Variable number of arguments depending on the format string.
1470 @result Number of characters written (minus the null terminator).
1474 Extra features over the standard C snprintf:
1476 64-bit support for %d (%lld), %i (%lli), %u (%llu), %o (%llo), %x (%llx), and %b (%llb).
1477 %@ - Cocoa/CoreFoundation object. Param is the object. Strings are used directly. Others use CFCopyDescription.
1478 %a - Network Address: %.4a=IPv4, %.6a=Ethernet, %.8a Fibre Channel, %.16a=IPv6. Arg=ptr to network address.
1479 %#a - IPv4 or IPv6 mDNSAddr. Arg=ptr to mDNSAddr.
1480 %##a - IPv4 (if AF_INET defined) or IPv6 (if AF_INET6 defined) sockaddr. Arg=ptr to sockaddr.
1481 %b - Binary representation of integer (e.g. 01101011). Modifiers and arg=the same as %d, %x, etc.
1482 %C - Mac-style FourCharCode (e.g. 'APPL'). Arg=32-bit value to print as a Mac-style FourCharCode.
1483 %H - Hex Dump (e.g. "\x6b\xa7" -> "6B A7"). 1st arg=ptr, 2nd arg=size, 3rd arg=max size.
1484 %#H - Hex Dump & ASCII (e.g. "\x41\x62" -> "6B A7 'Ab'"). 1st arg=ptr, 2nd arg=size, 3rd arg=max size.
1485 %m - Error Message (e.g. 0 -> "kNoErr"). Modifiers and error code arg=the same as %d, %x, etc.
1486 %#s - Pascal-style length-prefixed string. Arg=ptr to string.
1487 %##s - DNS label-sequence name. Arg=ptr to name.
1488 %S - UTF-16 string, 0x0000 terminated. Host order if no BOM. Precision is UTF-16 count. Precision includes BOM.
1489 %#S - Big Endian UTF-16 string (unless BOM overrides). Otherwise, the same as %S.
1490 %##S - Little Endian UTF-16 string (unless BOM overrides). Otherwise, the same as %S.
1491 %U - Universally Unique Identifier (UUID) (e.g. 6ba7b810-9dad-11d1-80b4-00c04fd430c8). Arg=ptr to 16-byte UUID.
1496 DEBUG_EXPORT
size_t DebugSNPrintF(char *sbuffer
, size_t buflen
, const char *fmt
, ...);
1499 //---------------------------------------------------------------------------------------------------------------------------
1500 /*! @function DebugSNPrintFVAList
1502 @abstract va_list version of DebugSNPrintF. See DebugSNPrintF for more info.
1506 DEBUG_EXPORT
size_t DebugSNPrintFVAList(char *sbuffer
, size_t buflen
, const char *fmt
, va_list arg
);
1509 //---------------------------------------------------------------------------------------------------------------------------
1510 /*! @function DebugGetErrorString
1512 @abstract Gets an error string from an error code.
1514 @param inStatus Error code to get the string for.
1515 @param inBuffer Optional buffer to copy the string to for non-static strings. May be null.
1516 @param inBufferSize Size of optional buffer. May be 0.
1518 @result C string containing error string for the error code. Guaranteed to be a valid, static string. If a
1519 buffer is supplied, the return value will always be a pointer to the supplied buffer, which will
1520 contain the best available description of the error code. If a buffer is not supplied, the return
1521 value will be the best available description of the error code that can be represented as a static
1522 string. This allows code that cannot use a temporary buffer to hold the result to still get a useful
1523 error string in most cases, but also allows code that can use a temporary buffer to get the best
1524 available description.
1528 DEBUG_EXPORT
const char * DebugGetErrorString( int_least32_t inErrorCode
, char *inBuffer
, size_t inBufferSize
);
1531 //---------------------------------------------------------------------------------------------------------------------------
1532 /*! @function DebugHexDump
1534 @abstract Hex dumps data to a string or to the output device.
1542 const char * inLabel
,
1544 int inLabelMinWidth
,
1545 const char * inType
,
1547 const void * inDataStart
,
1548 const void * inData
,
1552 size_t inBufferSize
);
1556 #define dloghex( LEVEL, INDENT, LABEL, LABEL_SIZE, LABEL_MIN_SIZE, TYPE, TYPE_SIZE, DATA_START, DATA, DATA_SIZE, FLAGS, BUFFER, BUFFER_SIZE ) \
1557 DebugHexDump( ( LEVEL ), (INDENT), ( LABEL ), ( LABEL_SIZE ), ( LABEL_MIN_SIZE ), ( TYPE ), ( TYPE_SIZE ), \
1558 ( DATA_START ), ( DATA ), ( DATA_SIZE ), ( FLAGS ), ( BUFFER ), ( BUFFER_SIZE ) )
1560 #define dloghex( LEVEL, INDENT, LABEL, LABEL_SIZE, LABEL_MIN_SIZE, TYPE, TYPE_SIZE, DATA_START, DATA, DATA_SIZE, FLAGS, BUFFER, BUFFER_SIZE )
1563 //---------------------------------------------------------------------------------------------------------------------------
1564 /*! @function DebugTaskLevel
1566 @abstract Returns the current task level.
1568 @result Current task level
1572 Bit masks to isolate portions of the result (note that some masks may also need bit shifts to right justify):
1574 kDebugInterruptLevelMask - Indicates the current interrupt level (> 0 means interrupt time).
1575 kDebugInVBLTaskMask - Indicates if a VBL task is currently being executed.
1576 kDebugInDeferredTaskMask - Indicates if a Deferred Task is currently being executed.
1577 kDebugInSecondaryInterruptHandlerMask - Indicates if a Secondary Interrupt Handler is currently being executed.
1578 kDebugPageFaultFatalMask - Indicates if it is unsafe to cause a page fault (worse than interrupt time).
1579 kDebugMPTaskLevelMask - Indicates if being called from an MP task.
1580 kDebugInterruptDepthMask - 0 means task level, 1 means in interrupt, > 1 means in nested interrupt.
1585 DebugExtractTaskLevelInterruptDepth() - Macro to extract interrupt depth from task level value.
1590 DEBUG_EXPORT
uint32_t DebugTaskLevel( void );
1593 //---------------------------------------------------------------------------------------------------------------------------
1594 /*! @function DebugServicesTest
1596 @abstract Unit test.
1600 DEBUG_EXPORT OSStatus
DebugServicesTest( void );
1607 #endif // __DEBUG_SERVICES__