cprover
Loading...
Searching...
No Matches
patternt Class Reference

Given a string of the format '?blah? 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.

◆ 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:
  • /builddir/build/BUILD/cbmc-6.7.0-build/cbmc-cbmc-6.7.0/jbmc/src/java_bytecode/pattern.h