P4Tools::P4Testgen::Packet Class Reference

#include <test_spec.h>

Inheritance diagram for P4Tools::P4Testgen::Packet:

Public Member Functions
	Packet (int port, const IR::Expression *payload, const IR::Expression *payloadIgnoreMask)
	DECLARE_TYPEINFO (Packet, TestObject)
const Packet *	evaluate (const Model &model, bool doComplete) const override
const IR::Constant *	getEvaluatedPayload () const
const IR::Constant *	getEvaluatedPayloadMask () const
cstring	getObjectName () const override
int	getPort () const
Public Member Functions inherited from 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 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 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 RTTI::Base
virtual const void *	toImpl (TypeId typeId) const noexcept=0

Detailed Description

This file defines a series of test objects which, in sum, produce an abstract test specification. This test specification is reified into a concrete test specification by the individual test back ends of a target extension.

Member Function Documentation

evaluate()

const Packet * P4Tools::P4Testgen::Packet::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 P4Tools::P4Testgen::TestObject.

getEvaluatedPayload()

const IR::Constant * P4Tools::P4Testgen::Packet::getEvaluatedPayload ( ) const

nodiscard

Returns

the payload of the packet, which, at this point, needs to be a constant. A BUG is thrown otherwise.

getEvaluatedPayloadMask()

const IR::Constant * P4Tools::P4Testgen::Packet::getEvaluatedPayloadMask ( ) const

nodiscard

Returns

the don't care mask of the packet, which, at this point, needs to be a constant. If a bit is set in the @payloadIgnoreMask, the corresponding bit in @payload is ignored. A BUG is thrown otherwise.

getObjectName()

cstring P4Tools::P4Testgen::Packet::getObjectName ( ) const

nodiscardoverridevirtual

Returns

the string name of this particular test object.

Implements P4Tools::P4Testgen::TestObject.

getPort()

int P4Tools::P4Testgen::Packet::getPort ( ) const

nodiscard

Returns

the port that is associated with this packet.