P4C
The P4 Compiler
Loading...
Searching...
No Matches
P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelCloneSpec Class Reference
Inheritance diagram for P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelCloneSpec:
[legend]

Public Member Functions

 Bmv2V1ModelCloneSpec (const IR::Expression *sessionId, const IR::Expression *clonePort, bool isClone)
 
 DECLARE_TYPEINFO (Bmv2V1ModelCloneSpec, TestObject)
 
const Bmv2V1ModelCloneSpecevaluate (const Model &model, bool doComplete) const override
 
const IR::Expression * getClonePort () const
 
const IR::Constant * getEvaluatedClonePort () const
 
const IR::Constant * getEvaluatedSessionId () const
 
cstring getObjectName () const override
 
const IR::Expression * getSessionId () const
 
bool isClonedPacket () const
 
- Public Member Functions inherited from P4::P4Tools::P4Testgen::TestObject
 TestObject (const TestObject &)=default
 
 TestObject (TestObject &&)=default
 
 DECLARE_TYPEINFO (TestObject)
 
TestObjectoperator= (const TestObject &)=default
 
TestObjectoperator= (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 Bmv2V1ModelCloneSpec * P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelCloneSpec::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.

◆ getClonePort()

const IR::Expression * P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelCloneSpec::getClonePort ( ) const
nodiscard
Returns
the clone port expression.

◆ getEvaluatedClonePort()

const IR::Constant * P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelCloneSpec::getEvaluatedClonePort ( ) const
nodiscard
Returns
the evaluated clone port. This means it must be a constant. The function will throw a bug if this is not the case.

◆ getEvaluatedSessionId()

const IR::Constant * P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelCloneSpec::getEvaluatedSessionId ( ) const
nodiscard
Returns
the evaluated session id. This means it must be a constant. The function will throw a bug if this is not the case.

◆ getObjectName()

cstring P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelCloneSpec::getObjectName ( ) const
nodiscardoverridevirtual
Returns
the string name of this particular test object.

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

◆ getSessionId()

const IR::Expression * P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelCloneSpec::getSessionId ( ) const
nodiscard
Returns
the associated session ID with this cloned packet.

◆ isClonedPacket()

bool P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelCloneSpec::isClonedPacket ( ) const
nodiscard
Returns
information whether we are dealing with the packet clone or the real output packet.