P4C
The P4 Compiler
Loading...
Searching...
No Matches
P4::P4Tools::P4Testgen::Bmv2::IndexExpression Class Reference

#include <test_spec.h>

Inheritance diagram for P4::P4Tools::P4Testgen::Bmv2::IndexExpression:
[legend]

Public Member Functions

 IndexExpression (const IR::Expression *index, const IR::Expression *value)
 
 DECLARE_TYPEINFO (IndexExpression, TestObject)
 
const IndexExpressionevaluate (const Model &model, bool doComplete) const override
 
const IR::Constant * getEvaluatedIndex () const
 
const IR::Constant * getEvaluatedValue () const
 
const IR::Expression * getIndex () const
 
cstring getObjectName () const override
 
const IR::Expression * getValue () 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
 

Detailed Description

Associates an expression with a particular index. This object is used by all extern object that depend on a particular index to retrieve a value. Examples are registers, meters, or counters.

Member Function Documentation

◆ evaluate()

const IndexExpression * P4::P4Tools::P4Testgen::Bmv2::IndexExpression::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.

◆ getEvaluatedIndex()

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

◆ getEvaluatedValue()

const IR::Constant * P4::P4Tools::P4Testgen::Bmv2::IndexExpression::getEvaluatedValue ( ) const
nodiscard
Returns
the evaluated condition of the expression. This means it must be a constant. The function will throw a bug if this is not the case.

◆ getIndex()

const IR::Expression * P4::P4Tools::P4Testgen::Bmv2::IndexExpression::getIndex ( ) const
nodiscard
Returns
the index stored in the index expression.

◆ getObjectName()

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

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

◆ getValue()

const IR::Expression * P4::P4Tools::P4Testgen::Bmv2::IndexExpression::getValue ( ) const
nodiscard
Returns
the value stored in the index expression.