P4Tools::P4Testgen::Bmv2::IndexMap Class Reference

Readable and writable symbolic map, which maps indices to particular values. More...

Inheritance diagram for P4Tools::P4Testgen::Bmv2::IndexMap:

Public Member Functions
	IndexMap (const IR::Expression *initialValue)
	DECLARE_TYPEINFO (IndexMap, TestObject)
const IR::Constant *	getEvaluatedInitialValue () const
const IR::Expression *	getInitialValue () const
const IR::Expression *	getValueAtIndex (const IR::Expression *index) const
std::map< big_int, std::pair< int, const IR::Constant * > >	unravelMap () const
	Return the "writes" to this index map as a.
void	writeToIndex (const IR::Expression *index, const IR::Expression *value)
	Write. More...
Public Member Functions inherited from P4Tools::P4Testgen::TestObject
	TestObject (const TestObject &)=default
	TestObject (TestObject &&)=default
	DECLARE_TYPEINFO (TestObject)
virtual const TestObject *	evaluate (const Model &model, bool doComplete) const =0
virtual cstring	getObjectName () const =0
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

Protected Attributes
std::vector< IndexExpression >	indexConditions
	Each element is an API name paired with a match rule.
const IR::Expression *	initialValue
	A new IndexMap always requires an initial value. This can be a constant or taint.

Additional Inherited Members
Protected Member Functions inherited from RTTI::Base
virtual const void *	toImpl (TypeId typeId) const noexcept=0

Detailed Description

Readable and writable symbolic map, which maps indices to particular values.

Member Function Documentation

getEvaluatedInitialValue()

const IR::Constant * P4Tools::P4Testgen::Bmv2::IndexMap::getEvaluatedInitialValue

(

)

const

Returns

the evaluated register value. This means it must be a constant. The function will throw a bug if this is not the case.

getInitialValue()

const IR::Expression * P4Tools::P4Testgen::Bmv2::IndexMap::getInitialValue

(

)

const

Returns

the value with which this register has been initialized.

getValueAtIndex()

const IR::Expression * P4Tools::P4Testgen::Bmv2::IndexMap::getValueAtIndex

(

const IR::Expression *

index

)

const

Returns

the current value of this register after writes have been performed according to a provided index.

writeToIndex()

void P4Tools::P4Testgen::Bmv2::IndexMap::writeToIndex	(	const IR::Expression *	index,
		const IR::Expression *	value
	)

Write.

Parameters

value	to
index.