cprover
|
ANSI-CC Language Type Checking. More...
Go to the source code of this file.
Classes | |
class | ansi_c_declaratort |
class | ansi_c_declarationt |
Functions | |
ansi_c_declaratort & | to_ansi_c_declarator (exprt &expr) |
const ansi_c_declaratort & | to_ansi_c_declarator (const exprt &expr) |
ansi_c_declarationt & | to_ansi_c_declaration (exprt &expr) |
const ansi_c_declarationt & | to_ansi_c_declaration (const exprt &expr) |
ANSI-CC Language Type Checking.
Definition in file ansi_c_declaration.h.
|
inline |
Definition at line 258 of file ansi_c_declaration.h.
References irept::id().
Referenced by ansi_c_parsert::add_declarator(), c_typecheck_baset::typecheck_c_enum_type(), c_typecheck_baset::typecheck_code_type(), c_typecheck_baset::typecheck_compound_body(), c_typecheck_baset::typecheck_expr_operands(), and yyansi_cparse().
|
inline |
Definition at line 264 of file ansi_c_declaration.h.
References irept::id().
|
inline |
Definition at line 59 of file ansi_c_declaration.h.
References irept::id().
|
inline |
Definition at line 65 of file ansi_c_declaration.h.
References irept::id().