Inheritance diagram for P4::P4Tools::P4Testgen::Ternary:

[legend]

Public Member Functions
	Ternary (const IR::KeyElement key, const IR::Expression value, const IR::Expression *mask)

	DECLARE_TYPEINFO (Ternary, TableMatch)

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

const IR::Constant *	getEvaluatedMask () const

const IR::Constant *	getEvaluatedValue () const

cstring	getObjectName () const override

Public Member Functions inherited from P4::P4Tools::P4Testgen::TableMatch
	TableMatch (const IR::KeyElement *key)

	DECLARE_TYPEINFO (TableMatch, TestObject)

const IR::KeyElement *	getKey () const

Public Member Functions inherited from P4::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 P4::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 P4::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 P4::RTTI::Base
virtual const void *	toImpl (TypeId typeId) const noexcept=0

Member Function Documentation

◆ evaluate()

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

nodiscardoverridevirtual

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 P4::P4Tools::P4Testgen::TestObject.

◆ getEvaluatedMask()

const IR::Constant * P4::P4Tools::P4Testgen::Ternary::getEvaluatedMask ( ) const

nodiscard

Returns: the mask of the ternary object. At this point the value needs to be a constant. A BUG is thrown otherwise.

◆ getEvaluatedValue()

const IR::Constant * P4::P4Tools::P4Testgen::Ternary::getEvaluatedValue ( ) const

nodiscard

Returns: the value of the ternary object, which is matched with the key. At this point the value needs to be a constant. A BUG is thrown otherwise.

◆ getObjectName()

cstring P4::P4Tools::P4Testgen::Ternary::getObjectName ( ) const