P4C
The P4 Compiler
P4::BaseLocation Class Reference
Inheritance diagram for P4::BaseLocation:
[legend]

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 LocationSetgetLastIndexField () const
 
const LocationSetgetValidBits () const
 
const LocationSetremoveHeaders () const
 
cstring toString () const
 
- Public Member Functions inherited from IHasDbPrint
void print () const
 
- 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

- Public Attributes inherited from P4::StorageLocation
unsigned id
 
const cstring name
 
const IR::Type * type
 
- Protected Member Functions inherited from 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.