Description
Side effect.
Definition at line 240 of file SourceAstSemantics.h.
#include <Rose/BinaryAnalysis/InstructionSemantics2/SourceAstSemantics.h>
Public Member Functions | |
| SideEffect (const BaseSemantics::SValuePtr &location, const BaseSemantics::SValuePtr &temporary, const BaseSemantics::SValuePtr &expression) | |
| bool | isValid () const |
| Predicate to determine whether side effect is valid. More... | |
| bool | isSubstitution () const |
| Predicate to determine whether side effect is rather a substitution. More... | |
Public Attributes | |
| BaseSemantics::SValuePtr | location |
| Optional affected location. More... | |
| BaseSemantics::SValuePtr | temporary |
| Optional Temporary variable. More... | |
| BaseSemantics::SValuePtr | expression |
| Expression. More... | |
Member Function Documentation
|
inline |
Predicate to determine whether side effect is valid.
Definition at line 254 of file SourceAstSemantics.h.
Referenced by isSubstitution().
|
inline |
Predicate to determine whether side effect is rather a substitution.
Substitutions are side effects in that they change the value of C variables, but the changes happen in an inner scope and don't affect the C program's main state.
Definition at line 259 of file SourceAstSemantics.h.
References isValid().
Member Data Documentation
| BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperators::SideEffect::location |
Optional affected location.
Definition at line 241 of file SourceAstSemantics.h.
| BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperators::SideEffect::temporary |
Optional Temporary variable.
Definition at line 242 of file SourceAstSemantics.h.
| BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperators::SideEffect::expression |
Expression.
Definition at line 243 of file SourceAstSemantics.h.
The documentation for this struct was generated from the following file:
