|
| ExtractSuccess (const ExtractSuccess &)=default |
|
| ExtractSuccess (const IR::Expression *extractedHeader, int offset, const IR::Expression *condition, std::vector< std::pair< IR::StateVariable, const IR::Expression * > > fields) |
|
| ExtractSuccess (ExtractSuccess &&)=default |
|
const ExtractSuccess * | apply (Transform &visitor) const override |
| Applies the given IR transform to the expressions in this trace event.
|
|
const ExtractSuccess * | evaluate (const Model &model, bool doComplete) const override |
|
const IR::Expression * | getExtractedHeader () const |
|
int | getOffset () const |
|
ExtractSuccess & | operator= (const ExtractSuccess &)=default |
|
ExtractSuccess & | operator= (ExtractSuccess &&)=default |
|
const ExtractSuccess * | subst (const SymbolicEnv &env) const override |
|
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.
|
|
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 |
|
Denotes a successful extract call. Will provide information which header was successfully extracted and the offset it was extracted at.