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

A

B

C

D

E

F

G

H

I

J

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

_

- p -

• PARSE_OPTION_OVERRIDE : goto_check_c.h
• PARSE_OPTIONS_GOTO_CHECK : goto_check_c.h
• PARSE_OPTIONS_GOTO_TRACE : goto_trace.h
• PARSE_OPTIONS_VSD : variable_sensitivity_domain.h
• parser_stack : parser.h
• PIPED_PROCESS_INFINITE_TIMEOUT : piped_process.h
• POSTCONDITION : invariant.h
• POSTCONDITION_STRUCTURED : invariant.h
• POSTCONDITION_WITH_DIAGNOSTICS : invariant.h
• POSTCONDITION_WITH_IREP : invariant_utils.h
• PRECONDITION : invariant.h
• PRECONDITION_STRUCTURED : invariant.h
• PRECONDITION_WITH_DIAGNOSTICS : invariant.h
• PRECONDITION_WITH_IREP : invariant_utils.h
• PREFIX_SEPARATOR : convert_dint_literal.cpp, convert_int_literal.cpp
• print_colour : event_graph.cpp