 |
P4C
The P4 Compiler
|
|
P4C
The P4 Compiler
|
Public Member Functions | |
| GenericDescription (cstring label, cstring description) | |
| DECLARE_TYPEINFO (GenericDescription, Generic) | |
 Public Member Functions inherited from P4Tools::TraceEvents::Generic | |
| Generic (const Generic &)=default | |
| Generic (cstring label) | |
| Generic (Generic &&)=default | |
| DECLARE_TYPEINFO (Generic, TraceEvent) | |
| Generic & | operator= (const Generic &)=default |
| Generic & | operator= (Generic &&)=default |
| Public Member Functions inherited from P4Tools::TraceEvent | |
| virtual const TraceEvent * | apply (Transform &visitor) const |
| Applies the given IR transform to the expressions in this trace event. | |
| virtual const TraceEvent * | evaluate (const Model &model, bool doComplete) const |
| virtual const TraceEvent * | subst (const SymbolicEnv &env) 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 |
Protected Member Functions | |
| void | print (std::ostream &os) const override |
| Prints this trace event to the given ostream. | |
| Protected Member Functions inherited from P4Tools::TraceEvent | |
| DECLARE_TYPEINFO (TraceEvent) | |
| Protected Member Functions inherited from RTTI::Base | |
| virtual const void * | toImpl (TypeId typeId) const noexcept=0 |
Protected Attributes | |
| cstring | description |
| Protected Attributes inherited from P4Tools::TraceEvents::Generic | |
| cstring | label |
A generic event that takes in two strings, the first is the label, the second a description of the label.