Inheritance diagram for P4Tools::P4Testgen::TableConfig:

[legend]

Public Member Functions
	TableConfig (const IR::P4Table *table, std::vector< TableRule > rules)

	TableConfig (const IR::P4Table *table, std::vector< TableRule > rules, TestObjectMap tableProperties)

void	addTableProperty (cstring propertyName, const TestObject *property)
	Add a table property to the table.

	DECLARE_TYPEINFO (TableConfig, TestObject)

const TableConfig *	evaluate (const Model &model, bool doComplete) const override

cstring	getObjectName () const override

const TestObjectMap *	getProperties () const

const TestObject *	getProperty (cstring propertyName, bool checked) const

const std::vector< TableRule > *	getRules () const

const IR::P4Table *	getTable () const

Public Member Functions inherited from P4Tools::P4Testgen::TestObject
	TestObject (const TestObject &)=default

	TestObject (TestObject &&)=default

	DECLARE_TYPEINFO (TestObject)

TestObject &	operator= (const TestObject &)=default

TestObject &	operator= (TestObject &&)=default

Public Member Functions inherited from ICastable
template<typename T >
T &	as ()
	Tries to convert the class to type T. A BUG occurs if the cast fails.

template<typename T >
const T &	as () const
	Tries to convert the class to type T. A BUG occurs if the cast fails.

template<typename T >
T *	checkedTo ()
	Performs a checked cast. A BUG occurs if the cast fails.

template<typename T >
const T *	checkedTo () const
	Performs a checked cast. A BUG occurs if the cast fails.

Public Member Functions inherited from RTTI::Base
template<typename T >
bool	is () const noexcept

virtual bool	isA (TypeId typeId) const noexcept=0

template<typename T >
const T *	to () const noexcept
	Same as `to`, but returns const pointer to T.

template<typename T >
T *	to () noexcept

virtual TypeId	typeId () const noexcept=0

Additional Inherited Members
Protected Member Functions inherited from RTTI::Base
virtual const void *	toImpl (TypeId typeId) const noexcept=0

Member Function Documentation

◆ evaluate()

const TableConfig * P4Tools::P4Testgen::TableConfig::evaluate	(	const Model &	model,
		bool	doComplete
	)		const

overridevirtual

Returns: a version of the test object where all expressions are resolved and symbolic variables are substituted according to the mapping present in the

Parameters

model.

Implements P4Tools::P4Testgen::TestObject.

◆ getObjectName()

cstring P4Tools::P4Testgen::TableConfig::getObjectName ( ) const

overridevirtual

Returns: the string name of this particular test object.

Implements P4Tools::P4Testgen::TestObject.

◆ getProperties()

const TestObjectMap * P4Tools::P4Testgen::TableConfig::getProperties ( ) const

Returns: the properties associated with this table.

◆ getProperty()

const TestObject * P4Tools::P4Testgen::TableConfig::getProperty	(	cstring	propertyName,
		bool	checked
	)		const

Returns: a particular property based on

Parameters

propertyName.	If
checked	is true, this will throw a BUG if
propertyName	is not in the list.

◆ getRules()

const std::vector< TableRule > * P4Tools::P4Testgen::TableConfig::getRules ( ) const

Returns: the table rules of this table.