cprover
patternt Class Reference

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
 

Detailed Description

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.

Constructor & Destructor Documentation

◆ patternt()

patternt::patternt ( const char *  _p)
inlineexplicit

Definition at line 56 of file java_bytecode_convert_method.cpp.

Member Function Documentation

◆ operator==()

bool patternt::operator== ( const irep_idt what) const
inline

Definition at line 61 of file java_bytecode_convert_method.cpp.

References p, and dstringt::size().

Member Data Documentation

◆ p

const char* patternt::p
protected

Definition at line 73 of file java_bytecode_convert_method.cpp.

Referenced by operator==().


The documentation for this class was generated from the following file: