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

Public Member Functions

Protected Attributes

Friends