CBMC
|
Go to the source code of this file.
Classes | |
class | ansi_c_identifiert |
class | ansi_c_scopet |
Enumerations | |
enum class | ansi_c_id_classt { ANSI_C_UNKNOWN , ANSI_C_SYMBOL , ANSI_C_TYPEDEF , ANSI_C_TAG , ANSI_C_LOCAL_LABEL } |
Functions | |
std::ostream & | operator<< (std::ostream &os, ansi_c_id_classt c) |
|
strong |
Enumerator | |
---|---|
ANSI_C_UNKNOWN | |
ANSI_C_SYMBOL | |
ANSI_C_TYPEDEF | |
ANSI_C_TAG | |
ANSI_C_LOCAL_LABEL |
Definition at line 17 of file ansi_c_scope.h.
std::ostream& operator<< | ( | std::ostream & | os, |
ansi_c_id_classt | c | ||
) |