cprover
|
Given a string of the format '?blah?', will return true when compared against a string that matches appart from any characters that are '?' in the original string. More...
Public Member Functions | |
patternt (const char *_p) | |
bool | operator== (const irep_idt &what) const |
Protected Attributes | |
const char * | p |
Given a string of the format '?blah?', will return true when compared against a string that matches appart from any characters that are '?' in the original string.
Equivalent to doing a regex match on '.blah.'
Definition at line 53 of file java_bytecode_convert_method.cpp.
|
inlineexplicit |
Definition at line 56 of file java_bytecode_convert_method.cpp.
|
inline |
Definition at line 61 of file java_bytecode_convert_method.cpp.
References p, and dstringt::size().
|
protected |
Definition at line 73 of file java_bytecode_convert_method.cpp.
Referenced by operator==().