#include <def_use.h>

Inheritance diagram for P4::BaseLocation:

Public Member Functions
	BaseLocation (const IR::Type *type, cstring name)

void	addLastIndexField (LocationSet *) const override

void	addValidBits (LocationSet *) const override

	DECLARE_TYPEINFO (BaseLocation, StorageLocation)

void	removeHeaders (LocationSet *result) const override

Public Member Functions inherited from P4::StorageLocation
	StorageLocation (const IR::Type *type, cstring name)

void	dbprint (std::ostream &out) const override

	DECLARE_TYPEINFO (StorageLocation)

const LocationSet *	getLastIndexField () const

const LocationSet *	getValidBits () const

const LocationSet *	removeHeaders () const

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

Additional Inherited Members
Public Attributes inherited from P4::StorageLocation
unsigned	id

const cstring	name

const IR::Type *	type

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

Detailed Description

Represents a storage location with a simple type or a tuple type. It could be either a scalar variable, or a field of a struct, etc.

Member Function Documentation

void P4::BaseLocation::addLastIndexField ( LocationSet * ) const

inlineoverridevirtual

void P4::BaseLocation::addValidBits ( LocationSet * ) const

inlineoverridevirtual

void P4::BaseLocation::removeHeaders ( LocationSet * result ) const

overridevirtual