cprover
|
Public Member Functions | |
patternt (const char *_p) | |
bool | operator== (const irep_idt &what) const |
Protected Attributes | |
const char * | p |
Definition at line 41 of file java_bytecode_convert_method.cpp.
|
inlineexplicit |
Definition at line 44 of file java_bytecode_convert_method.cpp.
Referenced by java_bytecode_convert_methodt::convert_instructions(), and get_if_cmp_operator().
|
inline |
Definition at line 49 of file java_bytecode_convert_method.cpp.
References p, and dstringt::size().
|
protected |
Definition at line 61 of file java_bytecode_convert_method.cpp.
Referenced by java_bytecode_convert_methodt::get_bytecode_info(), java_bytecode_convert_methodt::get_or_create_block_for_pcrange(), and operator==().