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

Description

Side effect.

Definition at line 221 of file SourceAstSemantics2.h.

#include <SourceAstSemantics2.h>

Collaboration diagram for Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperators::SideEffect:
Collaboration graph
[legend]

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
inline

Predicate to determine whether side effect is valid.

Definition at line 235 of file SourceAstSemantics2.h.

Referenced by isSubstitution().

bool Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperators::SideEffect::isSubstitution ( ) const
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 240 of file SourceAstSemantics2.h.

References isValid().

Member Data Documentation

BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperators::SideEffect::location

Optional affected location.

Definition at line 222 of file SourceAstSemantics2.h.

BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperators::SideEffect::temporary

Optional Temporary variable.

Definition at line 223 of file SourceAstSemantics2.h.

BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::SourceAstSemantics::RiscOperators::SideEffect::expression

Expression.

Definition at line 224 of file SourceAstSemantics2.h.


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