Description
Side effect.
Definition at line 194 of file SourceAstSemantics.h.
#include <Rose/BinaryAnalysis/InstructionSemantics/SourceAstSemantics.h>
Collaboration diagram for Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators::SideEffect:
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. | |
| bool | isSubstitution () const |
| Predicate to determine whether side effect is rather a substitution. | |
Public Attributes | |
| BaseSemantics::SValuePtr | location |
| Optional affected location. | |
| BaseSemantics::SValuePtr | temporary |
| Optional Temporary variable. | |
| BaseSemantics::SValuePtr | expression |
| Expression. | |
Member Function Documentation
◆ isSubstitution()
| bool Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators::SideEffect::isSubstitution | ( | ) | const |
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.
Member Data Documentation
◆ location
| BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators::SideEffect::location |
Optional affected location.
Definition at line 195 of file SourceAstSemantics.h.
◆ temporary
| BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators::SideEffect::temporary |
Optional Temporary variable.
Definition at line 196 of file SourceAstSemantics.h.
◆ expression
| BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics::SourceAstSemantics::RiscOperators::SideEffect::expression |
Expression.
Definition at line 197 of file SourceAstSemantics.h.
The documentation for this struct was generated from the following file:
