Here is a list of all macros with links to the files they belong to:

- t -

• T_BOOLEAN : java_bytecode_parser.cpp
• T_BYTE : java_bytecode_parser.cpp
• T_CHAR : java_bytecode_parser.cpp
• T_DOUBLE : java_bytecode_parser.cpp
• T_FLOAT : java_bytecode_parser.cpp
• T_INT : java_bytecode_parser.cpp
• T_LONG : java_bytecode_parser.cpp
• T_SHORT : java_bytecode_parser.cpp
• TERM_ID : smt_terms.cpp, smt_terms.h
• TINFL_BITBUF_SIZE : miniz.h
• TINFL_CR_BEGIN : miniz.cpp
• TINFL_CR_FINISH : miniz.cpp
• TINFL_CR_RETURN : miniz.cpp
• TINFL_CR_RETURN_FOREVER : miniz.cpp
• TINFL_DECOMPRESS_MEM_TO_MEM_FAILED : miniz.h
• tinfl_get_adler32 : miniz.h
• TINFL_GET_BITS : miniz.cpp
• TINFL_GET_BYTE : miniz.cpp
• TINFL_HUFF_BITBUF_FILL : miniz.cpp
• TINFL_HUFF_DECODE : miniz.cpp
• tinfl_init : miniz.h
• TINFL_LZ_DICT_SIZE : miniz.h
• TINFL_MEMCPY : miniz.cpp
• TINFL_MEMSET : miniz.cpp
• TINFL_NEED_BITS : miniz.cpp
• TINFL_SKIP_BITS : miniz.cpp
• TINFL_USE_64BIT_BITBUF : miniz.h
• TODO : invariant.h
• TYPECHECK_ERROR : statement_list_typecheck.cpp