P4Tools::P4Testgen::Bmv2::AssertsParser Class Reference

Inheritance diagram for P4Tools::P4Testgen::Bmv2::AssertsParser:

Public Member Functions
	AssertsParser (ConstraintsVector &output)
const IR::Node *	postorder (IR::P4Action *actionContext) override
const IR::Node *	postorder (IR::P4Table *tableContext) override

Static Public Member Functions
static std::vector< const IR::Expression * >	genIRStructs (cstring tableName, cstring restrictionString, const IdenitifierTypeMap &typeMap)

Member Function Documentation

genIRStructs()

std::vector< const IR::Expression * > P4Tools::P4Testgen::Bmv2::AssertsParser::genIRStructs ( cstring tableName, cstring restrictionString, const IdenitifierTypeMap & typeMap )

static

A function that calls the beginning of the transformation of restrictions from a string into an IR::Expression. Internally calls all other necessary functions, for example combineTokensToNames and the like, to eventually get an IR expression that meets the string constraint