P4C
The P4 Compiler
Loading...
Searching...
No Matches
P4::SymbolicHeader Class Reference
Inheritance diagram for P4::SymbolicHeader:
[legend]

Public Member Functions

 SymbolicHeader (const IR::Type_Header *type)
 
 SymbolicHeader (const IR::Type_Header *type, bool uninitialized, const SymbolicValueFactory *factory)
 
void assign (const SymbolicValue *other) override
 
SymbolicValueclone () const override
 
void dbprint (std::ostream &out) const override
 
 DECLARE_TYPEINFO (SymbolicHeader, SymbolicStruct)
 
bool equals (const SymbolicValue *other) const override
 
SymbolicValueget (const IR::Node *node, cstring field) const override
 
bool merge (const SymbolicValue *other) override
 
void setAllUnknown () override
 
virtual void setValid (bool v)
 
- Public Member Functions inherited from P4::SymbolicStruct
 SymbolicStruct (const IR::Type_StructLike *type)
 
 SymbolicStruct (const IR::Type_StructLike *type, bool uninitialized, const SymbolicValueFactory *factory)
 
void assign (const SymbolicValue *other) override
 
SymbolicValueclone () const override
 
void dbprint (std::ostream &out) const override
 
 DECLARE_TYPEINFO (SymbolicStruct, SymbolicValue)
 
bool equals (const SymbolicValue *other) const override
 
bool hasUninitializedParts () const override
 
bool isScalar () const override
 
bool merge (const SymbolicValue *other) override
 
void set (cstring field, SymbolicValue *value)
 
void setAllUnknown () override
 
- Public Member Functions inherited from P4::SymbolicValue
 DECLARE_TYPEINFO (SymbolicValue)
 
- 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

SymbolicBoolvalid = nullptr
 
- Public Attributes inherited from P4::SymbolicStruct
std::map< cstring, SymbolicValue * > fieldValue
 
- Public Attributes inherited from P4::SymbolicValue
const unsigned id
 
const IR::Type * type
 

Additional Inherited Members

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

Member Function Documentation

◆ assign()

void P4::SymbolicHeader::assign ( const SymbolicValue * other)
overridevirtual

Implements P4::SymbolicValue.

◆ clone()

SymbolicValue * P4::SymbolicHeader::clone ( ) const
overridevirtual

Implements P4::SymbolicValue.

◆ dbprint()

void P4::SymbolicHeader::dbprint ( std::ostream & out) const
overridevirtual

Implements P4::IHasDbPrint.

◆ equals()

bool P4::SymbolicHeader::equals ( const SymbolicValue * other) const
overridevirtual

Implements P4::SymbolicValue.

◆ get()

SymbolicValue * P4::SymbolicHeader::get ( const IR::Node * node,
cstring field ) const
overridevirtual

Reimplemented from P4::SymbolicStruct.

◆ merge()

bool P4::SymbolicHeader::merge ( const SymbolicValue * other)
overridevirtual

Implements P4::SymbolicValue.

◆ setAllUnknown()

void P4::SymbolicHeader::setAllUnknown ( )
overridevirtual

Implements P4::SymbolicValue.