source: libcfa/src/bits/debug.hfa @ e3fea42

arm-ehjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
Last change on this file since e3fea42 was e3fea42, checked in by Peter A. Buhr <pabuhr@…>, 22 months ago

change "const char *" to "const char []"

  • Property mode set to 100644
File size: 3.0 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// debug.hfa --
8//
9// Author           : Thierry Delisle
10// Created On       : Mon Nov 28 12:27:26 2016
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Tue Feb  4 12:29:21 2020
13// Update Count     : 9
14//
15
16#pragma once
17
18#ifdef __CFA_DEBUG__
19        #define __cfaabi_dbg_debug_do(...) __VA_ARGS__
20        #define __cfaabi_dbg_no_debug_do(...)
21        #define __cfaabi_dbg_ctx __PRETTY_FUNCTION__
22        #define __cfaabi_dbg_ctx2 , __PRETTY_FUNCTION__
23        #define __cfaabi_dbg_ctx_param const char caller[]
24        #define __cfaabi_dbg_ctx_param2 , const char caller[]
25#else
26        #define __cfaabi_dbg_debug_do(...)
27        #define __cfaabi_dbg_no_debug_do(...) __VA_ARGS__
28        #define __cfaabi_dbg_ctx
29        #define __cfaabi_dbg_ctx2
30        #define __cfaabi_dbg_ctx_param
31        #define __cfaabi_dbg_ctx_param2
32#endif
33
34#ifdef __cforall
35extern "C" {
36#endif
37        #include <stdarg.h>
38        #include <stdio.h>
39
40        extern void __cfaabi_bits_write( int fd, const char buffer[], int len );
41        extern void __cfaabi_bits_acquire();
42        extern void __cfaabi_bits_release();
43        extern void __cfaabi_bits_print_safe  ( int fd, const char fmt[], ... ) __attribute__(( format(printf, 2, 3) ));
44        extern void __cfaabi_bits_print_nolock( int fd, const char fmt[], ... ) __attribute__(( format(printf, 2, 3) ));
45        extern void __cfaabi_bits_print_vararg( int fd, const char fmt[], va_list arg );
46        extern void __cfaabi_bits_print_buffer( int fd, char buffer[], int buffer_size, const char fmt[], ... ) __attribute__(( format(printf, 4, 5) ));
47#ifdef __cforall
48}
49#endif
50
51#ifdef __CFA_DEBUG_PRINT__
52        #define __cfaabi_dbg_write( buffer, len )         __cfaabi_bits_write( STDERR_FILENO, buffer, len )
53        #define __cfaabi_dbg_acquire()                    __cfaabi_bits_acquire()
54        #define __cfaabi_dbg_release()                    __cfaabi_bits_release()
55        #define __cfaabi_dbg_print_safe(...)              __cfaabi_bits_print_safe   (__VA_ARGS__)
56        #define __cfaabi_dbg_print_nolock(...)            __cfaabi_bits_print_nolock (__VA_ARGS__)
57        #define __cfaabi_dbg_print_buffer(...)            __cfaabi_bits_print_buffer (__VA_ARGS__)
58        #define __cfaabi_dbg_print_buffer_decl(...)       char __dbg_text[256]; int __dbg_len = snprintf( __dbg_text, 256, __VA_ARGS__ ); __cfaabi_bits_write( __dbg_text, __dbg_len );
59        #define __cfaabi_dbg_print_buffer_local(...)      __dbg_len = snprintf( __dbg_text, 256, __VA_ARGS__ ); __cfaabi_dbg_write( __dbg_text, __dbg_len );
60#else
61        #define __cfaabi_dbg_write(...)               ((void)0)
62        #define __cfaabi_dbg_acquire()                ((void)0)
63        #define __cfaabi_dbg_release()                ((void)0)
64        #define __cfaabi_dbg_print_safe(...)          ((void)0)
65        #define __cfaabi_dbg_print_nolock(...)        ((void)0)
66        #define __cfaabi_dbg_print_buffer(...)        ((void)0)
67        #define __cfaabi_dbg_print_buffer_decl(...)   ((void)0)
68        #define __cfaabi_dbg_print_buffer_local(...)  ((void)0)
69#endif
70
71// Local Variables: //
72// mode: c //
73// tab-width: 4 //
74// End: //
Note: See TracBrowser for help on using the repository browser.