| Modifier and type | Property and description |
|---|---|
| java.util.List<E> | calledOperations |
| java.lang.Iterable<T> | sideEffectExpressions |
| Modifier and type | Action and description |
|---|---|
| void | assignVariable(String,XExpression) |
| ISideEffectContext | branch(Map<K,V>) |
| void | close |
| java.util.Map<K,V> | createVariableAssignmentBufferForBranch |
| void | declareVariable(String,XExpression) |
| java.util.List<E> | getCalledOperations |
| java.lang.Iterable<T> | getSideEffectExpressions |
| java.util.List<E> | getVariableValues(String) |
| boolean | isStoppingAtFirstSideEffect |
| void | mergeBranchVariableAssignments(List<E>) |
| void | open |
| void | registerSideEffect(XExpression) |
| java.lang.String | toString |
val calledOperations : java.util.List<E>
This property is an alias for the action: getCalledOperations
val sideEffectExpressions : java.lang.Iterable<T>
This property is an alias for the action: getSideEffectExpressions
def assignVariable(String,XExpression)
def branch(Map<K,V>) : ISideEffectContext
def close
def createVariableAssignmentBufferForBranch : java.util.Map<K,V>
def declareVariable(String,XExpression)
def getCalledOperations : java.util.List<E>
def getSideEffectExpressions : java.lang.Iterable<T>
def getVariableValues(String) : java.util.List<E>
def isStoppingAtFirstSideEffect : boolean
def mergeBranchVariableAssignments(List<E>)
def open
def registerSideEffect(XExpression)
def toString : java.lang.String