|
|
| ExtractFailure (const ExtractFailure &)=default |
| |
|
| ExtractFailure (const IR::Expression *extractedHeader, int offset, const IR::Expression *condition) |
| |
|
| ExtractFailure (ExtractFailure &&)=default |
| |
|
ExtractFailure & | operator= (const ExtractFailure &)=default |
| |
|
ExtractFailure & | operator= (ExtractFailure &&)=default |
| |
| 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 |
| |
|
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.