Loading...

Searching...

No Matches

Public Member Functions | Protected Attributes | Friends | List of all members

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...

#include <pattern.h>

Public Member Functions

patternt (const char *_p)

bool operator== (const u1 bytecode) const

Protected Attributes

const char * p

Friends

bool operator== (const u1 bytecode, const patternt &p)

bool operator!= (const u1 bytecode, const patternt &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 20 of file pattern.h.

Constructor & Destructor Documentation

◆ patternt()

patternt::patternt ( const char * _p )

inlineexplicit

Definition at line 23 of file pattern.h.

Member Function Documentation

◆ operator==()

bool patternt::operator== ( const u1 bytecode ) const

inline

Definition at line 28 of file pattern.h.

Friends And Related Symbol Documentation

◆ operator!=

bool operator!= ( const u1 bytecode,

const patternt & p

)

friend

Definition at line 48 of file pattern.h.

◆ operator==

bool operator== ( const u1 bytecode,

const patternt & p

)

friend

Definition at line 43 of file pattern.h.

Member Data Documentation

◆ p

const char* patternt::p

protected

Definition at line 54 of file pattern.h.

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

/home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/pattern.h