P4::SymbolicArray Class Reference

Inheritance diagram for P4::SymbolicArray:

Public Member Functions
	SymbolicArray (const IR::Type_Stack *stack, bool uninitialized, const SymbolicValueFactory *factory)
void	assign (const SymbolicValue *other) override
SymbolicValue *	clone () const override
void	dbprint (std::ostream &out) const override
	DECLARE_TYPEINFO (SymbolicArray, SymbolicValue)
bool	equals (const SymbolicValue *other) const override
SymbolicValue *	get (const IR::Node *node, size_t index) const
bool	hasUninitializedParts () const override
bool	isScalar () const override
SymbolicValue *	last (const IR::Node *node)
SymbolicValue *	lastIndex (const IR::Node *node)
bool	merge (const SymbolicValue *other) override
SymbolicValue *	next (const IR::Node *node)
void	set (size_t index, SymbolicHeader *value)
void	setAllUnknown () override
void	shift (int amount)
Public Member Functions inherited from P4::SymbolicValue
	DECLARE_TYPEINFO (SymbolicValue)
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

Public Attributes
const IR::Type_Header *	elemType
const size_t	size
Public Attributes inherited from P4::SymbolicValue
const unsigned	id
const IR::Type *	type

Friends
class	AnyElement

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