P4::StorageLocation Class Reference

Abstraction for something that is has a left value (variable, parameter) More...

#include <def_use.h>

Inheritance diagram for P4::StorageLocation:

Public Member Functions
	StorageLocation (const IR::Type *type, cstring name)
virtual void	addLastIndexField (LocationSet *result) const =0
virtual void	addValidBits (LocationSet *result) const =0
void	dbprint (std::ostream &out) const override
	DECLARE_TYPEINFO (StorageLocation)
LocationSet	getLastIndexField () const
LocationSet	getValidBits () const
LocationSet	removeHeaders () const
virtual void	removeHeaders (LocationSet *result) const =0
cstring	toString () const
Public Member Functions inherited from P4::IHasDbPrint
void	print () const
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

Public Attributes
const cstring	name
const IR::Type *	type

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

Detailed Description

Abstraction for something that is has a left value (variable, parameter)

Member Function Documentation

dbprint()

void P4::StorageLocation::dbprint ( std::ostream & out ) const

inlineoverridevirtual

Implements P4::IHasDbPrint.

getLastIndexField()

LocationSet P4::StorageLocation::getLastIndexField

(

)

const

Returns

All locations inside that represent the 'lastIndex' of an array.

getValidBits()

LocationSet P4::StorageLocation::getValidBits

(

)

const

Returns

All locations inside that represent valid bits.

removeHeaders()

LocationSet P4::StorageLocation::removeHeaders

(

)

const

Returns

All locations inside if we exclude all headers.