P4C
The P4 Compiler
Loading...
Searching...
No Matches
Public Member Functions | List of all members
P4::SymbolicEnum Class Referencefinal
Inheritance diagram for P4::SymbolicEnum:
[legend]

Public Member Functions

 SymbolicEnum (const IR::Type *type)
 
 SymbolicEnum (const IR::Type *type, const IR::ID value)
 
 SymbolicEnum (const SymbolicEnum &other)=default
 
 SymbolicEnum (ScalarValue::ValueState state, const IR::Type *type, const IR::ID value)
 
void assign (const SymbolicValue *other) override
 
SymbolicValue * clone () const override
 
void dbprint (std::ostream &out) const override
 
 DECLARE_TYPEINFO (SymbolicEnum, ScalarValue)
 
bool equals (const SymbolicValue *other) const override
 
bool merge (const SymbolicValue *other) override
 
- Public Member Functions inherited from P4::ScalarValue
 DECLARE_TYPEINFO (ScalarValue, SymbolicValue)
 
bool hasUninitializedParts () const override
 
bool isKnown () const
 
bool isScalar () const override
 
bool isUninitialized () const
 
bool isUnknown () const
 
ValueState mergeState (ValueState other) const
 
void setAllUnknown () override
 
- 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
 

Additional Inherited Members

- Public Types inherited from P4::ScalarValue
enum class  ValueState { Uninitialized , NotConstant , Constant }
 
- Static Public Member Functions inherited from P4::ScalarValue
static ValueState init (bool uninit)
 
- Public Attributes inherited from P4::ScalarValue
ValueState state
 
- Public Attributes inherited from P4::SymbolicValue
const unsigned id
 
const IR::Type * type
 
- Protected Member Functions inherited from P4::ScalarValue
 ScalarValue (ScalarValue::ValueState state, const IR::Type *type)
 
- 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
 

Member Function Documentation

◆ assign()

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

Implements P4::SymbolicValue.

◆ clone()

SymbolicValue * P4::SymbolicEnum::clone ( ) const
inlineoverridevirtual

Implements P4::SymbolicValue.

◆ dbprint()

void P4::SymbolicEnum::dbprint ( std::ostream & out) const
inlineoverridevirtual

Reimplemented from P4::ScalarValue.

◆ equals()

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

Implements P4::SymbolicValue.

◆ merge()

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

Implements P4::SymbolicValue.