Public Member Functions | Public Attributes | List of all members
Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperators::SideEffect Struct Reference


Side effect.

Definition at line 240 of file SourceAstSemantics.h.

#include <SourceAstSemantics.h>

Collaboration diagram for Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperators::SideEffect:
Collaboration graph

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

bool Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperators::SideEffect::isValid ( ) const

Predicate to determine whether side effect is valid.

Definition at line 254 of file SourceAstSemantics.h.

Referenced by isSubstitution().

bool Rose::BinaryAnalysis::InstructionSemantics2::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.

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


Definition at line 243 of file SourceAstSemantics.h.

The documentation for this struct was generated from the following file: