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

Public Member Functions

 Exact (const IR::KeyElement *key, const IR::Expression *value)
 
 DECLARE_TYPEINFO (Exact, TableMatch)
 
const Exactevaluate (const Model &model, bool doComplete) const override
 
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)
 
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 Exact * P4::P4Tools::P4Testgen::Exact::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.

◆ getEvaluatedValue()

const IR::Constant * P4::P4Tools::P4Testgen::Exact::getEvaluatedValue ( ) const
nodiscard
Returns
the match value. It is expected to be a constant at this point. A BUG is thrown otherwise.

◆ getObjectName()

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

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