debug.hxx File Reference

#include <assert.h>

Go to the source code of this file.

Defines

#define DEBUG_ON   if (1)
#define DEBUG_OFF   if (0)
#define DEBUG_VERBOSE   true
#define dbg_all   ~0u
#define dbg_BEG_SIMP   0x00000001u
#define dbg_METH_DECL   0x00000002u
#define dbg_ILH   0x00000004u
#define dbg_INST   0x00000008u
#define dbg_INST_ENV   0x00000010u
#define dbg_REPR_SIMP   0x00000020u
#define dbg_UNION_INF   0x00000040u
#define dbg_DEF_INF   0x00000080u
#define dbg_TI_TOP   0x00000100u
#define dbg_TI_UNITWISE   0x00000200u
#define dbg_TI_AST   0x00000400u
#define dbg_CLCONV   0x00000800u
#define dbg_GEN_TL   0x00001000u
#define dbg_GEN   0x00002000u
#define dbg_INS   0x00004000u
#define dbg_ID_INS   0x00008000u
#define dbg_SOL   0x00010000u
#define dbg_SPSOL   0x00020000u
#define dbg_PCST   0x00040000u
#define dbg_TCSOL   0x00080000u
#define dbg_UNIFY   0x00100000u
#define dbg_UNF_RES   0x00200000u
#define dbg_TRAIL   0x00400000u
#define dbg_TS_NORM   0x00800000u
#define dbg_TYPE_ACC   0x01000000u
#define dbg_DEF_DECL   0x02000000u
#define dbg_TC_INST   0x04000000u
#define dbg_flags   (0u)
#define DEBUG_CND(x)   ((dbg_flags) & (dbg_ ## x))
#define DEBUG(x)   if (DEBUG_CND(x))
#define DEBUG_ON   if (1)
#define DEBUG_OFF   if (0)
#define DEBUG_VERBOSE   true
#define dbg_all   ~0u
#define dbg_BEG_SIMP   0x00000001u
#define dbg_METH_DECL   0x00000002u
#define dbg_ILH   0x00000004u
#define dbg_INST   0x00000008u
#define dbg_INST_ENV   0x00000010u
#define dbg_REPR_SIMP   0x00000020u
#define dbg_UNION_INF   0x00000040u
#define dbg_DEF_INF   0x00000080u
#define dbg_TI_TOP   0x00000100u
#define dbg_TI_UNITWISE   0x00000200u
#define dbg_TI_AST   0x00000400u
#define dbg_CLCONV   0x00000800u
#define dbg_GEN_TL   0x00001000u
#define dbg_GEN   0x00002000u
#define dbg_INS   0x00004000u
#define dbg_ID_INS   0x00008000u
#define dbg_SOL   0x00010000u
#define dbg_SPSOL   0x00020000u
#define dbg_PCST   0x00040000u
#define dbg_TCSOL   0x00080000u
#define dbg_UNIFY   0x00100000u
#define dbg_UNF_RES   0x00200000u
#define dbg_TRAIL   0x00400000u
#define dbg_TS_NORM   0x00800000u
#define dbg_TYPE_ACC   0x01000000u
#define dbg_DEF_DECL   0x02000000u
#define dbg_TC_INST   0x04000000u
#define dbg_flags   (0u)
#define DEBUG_CND(x)   ((dbg_flags) & (dbg_ ## x))
#define DEBUG(x)   if (DEBUG_CND(x))


Define Documentation

#define dbg_all   ~0u

Definition at line 47 of file debug.hxx.

#define dbg_all   ~0u

Definition at line 47 of file debug.hxx.

#define dbg_BEG_SIMP   0x00000001u

Definition at line 49 of file debug.hxx.

#define dbg_BEG_SIMP   0x00000001u

Definition at line 49 of file debug.hxx.

#define dbg_CLCONV   0x00000800u

Definition at line 60 of file debug.hxx.

#define dbg_CLCONV   0x00000800u

Definition at line 60 of file debug.hxx.

#define dbg_DEF_DECL   0x02000000u

Definition at line 74 of file debug.hxx.

#define dbg_DEF_DECL   0x02000000u

Definition at line 74 of file debug.hxx.

#define dbg_DEF_INF   0x00000080u

Definition at line 56 of file debug.hxx.

#define dbg_DEF_INF   0x00000080u

Definition at line 56 of file debug.hxx.

#define dbg_flags   (0u)

Definition at line 78 of file debug.hxx.

#define dbg_flags   (0u)

Definition at line 78 of file debug.hxx.

#define dbg_GEN   0x00002000u

Definition at line 62 of file debug.hxx.

#define dbg_GEN   0x00002000u

Definition at line 62 of file debug.hxx.

#define dbg_GEN_TL   0x00001000u

Definition at line 61 of file debug.hxx.

#define dbg_GEN_TL   0x00001000u

Definition at line 61 of file debug.hxx.

#define dbg_ID_INS   0x00008000u

Definition at line 64 of file debug.hxx.

#define dbg_ID_INS   0x00008000u

Definition at line 64 of file debug.hxx.

#define dbg_ILH   0x00000004u

Definition at line 51 of file debug.hxx.

#define dbg_ILH   0x00000004u

Definition at line 51 of file debug.hxx.

#define dbg_INS   0x00004000u

Definition at line 63 of file debug.hxx.

#define dbg_INS   0x00004000u

Definition at line 63 of file debug.hxx.

#define dbg_INST   0x00000008u

Definition at line 52 of file debug.hxx.

#define dbg_INST   0x00000008u

Definition at line 52 of file debug.hxx.

#define dbg_INST_ENV   0x00000010u

Definition at line 53 of file debug.hxx.

#define dbg_INST_ENV   0x00000010u

Definition at line 53 of file debug.hxx.

#define dbg_METH_DECL   0x00000002u

Definition at line 50 of file debug.hxx.

#define dbg_METH_DECL   0x00000002u

Definition at line 50 of file debug.hxx.

#define dbg_PCST   0x00040000u

Definition at line 67 of file debug.hxx.

#define dbg_PCST   0x00040000u

Definition at line 67 of file debug.hxx.

#define dbg_REPR_SIMP   0x00000020u

Definition at line 54 of file debug.hxx.

#define dbg_REPR_SIMP   0x00000020u

Definition at line 54 of file debug.hxx.

#define dbg_SOL   0x00010000u

Definition at line 65 of file debug.hxx.

#define dbg_SOL   0x00010000u

Definition at line 65 of file debug.hxx.

#define dbg_SPSOL   0x00020000u

Definition at line 66 of file debug.hxx.

#define dbg_SPSOL   0x00020000u

Definition at line 66 of file debug.hxx.

#define dbg_TC_INST   0x04000000u

Definition at line 75 of file debug.hxx.

#define dbg_TC_INST   0x04000000u

Definition at line 75 of file debug.hxx.

#define dbg_TCSOL   0x00080000u

Definition at line 68 of file debug.hxx.

#define dbg_TCSOL   0x00080000u

Definition at line 68 of file debug.hxx.

#define dbg_TI_AST   0x00000400u

Definition at line 59 of file debug.hxx.

#define dbg_TI_AST   0x00000400u

Definition at line 59 of file debug.hxx.

#define dbg_TI_TOP   0x00000100u

Definition at line 57 of file debug.hxx.

#define dbg_TI_TOP   0x00000100u

Definition at line 57 of file debug.hxx.

#define dbg_TI_UNITWISE   0x00000200u

Definition at line 58 of file debug.hxx.

#define dbg_TI_UNITWISE   0x00000200u

Definition at line 58 of file debug.hxx.

#define dbg_TRAIL   0x00400000u

Definition at line 71 of file debug.hxx.

#define dbg_TRAIL   0x00400000u

Definition at line 71 of file debug.hxx.

#define dbg_TS_NORM   0x00800000u

Definition at line 72 of file debug.hxx.

#define dbg_TS_NORM   0x00800000u

Definition at line 72 of file debug.hxx.

#define dbg_TYPE_ACC   0x01000000u

Definition at line 73 of file debug.hxx.

#define dbg_TYPE_ACC   0x01000000u

Definition at line 73 of file debug.hxx.

#define dbg_UNF_RES   0x00200000u

Definition at line 70 of file debug.hxx.

#define dbg_UNF_RES   0x00200000u

Definition at line 70 of file debug.hxx.

#define dbg_UNIFY   0x00100000u

Definition at line 69 of file debug.hxx.

#define dbg_UNIFY   0x00100000u

Definition at line 69 of file debug.hxx.

#define dbg_UNION_INF   0x00000040u

Definition at line 55 of file debug.hxx.

#define dbg_UNION_INF   0x00000040u

Definition at line 55 of file debug.hxx.

#define DEBUG (  )     if (DEBUG_CND(x))

Definition at line 81 of file debug.hxx.

#define DEBUG (  )     if (DEBUG_CND(x))

Definition at line 81 of file debug.hxx.

Referenced by add_todo(), Type::Args(), Type::Base(), buildNewDeclaration(), cl_convert_ast(), cl_heapify(), coerce(), Type::Core(), UocInfo::DoTypeCheck(), findusedef(), getDefToInstantiate(), getInstName(), handleEquPreds(), handlePcst(), handleSpecialPred(), handleTCPred(), importInstBindings(), importSymBindings(), importTSBindings(), InferUnion(), matchDefDecl(), TypeScheme::normalize(), polyinst(), reRandT(), Type::Ret(), Trail::rollBack(), Specialize(), typeInfer(), Unify(), UnifyDecl(), UnifyStructUnion(), UpdateMegaEnvs(), and Type::Var().

#define DEBUG_CND (  )     ((dbg_flags) & (dbg_ ## x))

Definition at line 80 of file debug.hxx.

#define DEBUG_CND (  )     ((dbg_flags) & (dbg_ ## x))

Definition at line 80 of file debug.hxx.

#define DEBUG_OFF   if (0)

Definition at line 44 of file debug.hxx.

#define DEBUG_OFF   if (0)

Definition at line 44 of file debug.hxx.

#define DEBUG_ON   if (1)

Definition at line 43 of file debug.hxx.

#define DEBUG_ON   if (1)

Definition at line 43 of file debug.hxx.

#define DEBUG_VERBOSE   true

Definition at line 45 of file debug.hxx.

#define DEBUG_VERBOSE   true

Definition at line 45 of file debug.hxx.


Generated on Sat Feb 4 23:59:29 2012 for BitC Compiler by  doxygen 1.4.7