P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelCloneInfo Class Reference

Inheritance diagram for P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelCloneInfo:

Public Member Functions
	Bmv2V1ModelCloneInfo (const IR::Expression *sessionId, BMv2Constants::CloneType cloneType, const ExecutionState &clonedState, std::optional< int > preserveIndex)
	DECLARE_TYPEINFO (Bmv2V1ModelCloneInfo, TestObject)
const Bmv2V1ModelCloneInfo *	evaluate (const Model &model, bool doComplete) const override
const ExecutionState &	getClonedState () const
BMv2Constants::CloneType	getCloneType () const
cstring	getObjectName () const override
std::optional< int >	getPreserveIndex () const
const IR::Expression *	getSessionId () 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 Bmv2V1ModelCloneInfo * P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelCloneInfo::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.

getClonedState()

const ExecutionState & P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelCloneInfo::getClonedState ( ) const

nodiscard

Returns

the state that was cloned at the time of generation of this object.

getCloneType()

BMv2Constants::CloneType P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelCloneInfo::getCloneType ( ) const

nodiscard

Returns

the type of clone.

getObjectName()

cstring P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelCloneInfo::getObjectName ( ) const

nodiscardoverridevirtual

Returns

the string name of this particular test object.

Implements P4::P4Tools::P4Testgen::TestObject.

getPreserveIndex()

std::optional< int > P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelCloneInfo::getPreserveIndex ( ) const

nodiscard

Returns

the index marking the field list to be preserved when cloning. Optional.

getSessionId()

const IR::Expression * P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelCloneInfo::getSessionId ( ) const

nodiscard

Returns

the associated session ID with this cloned packet.