Module dev.civl.mc

Package dev.civl.mc.model.IF.statement

Interface ParallelAssignStatement

All Superinterfaces:

Sourceable, Statement

public interface ParallelAssignStatement
extends Statement

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.mc.model.IF.statement.Statement

Statement.StatementKind

Method Summary

Modifier and Type	Method	Description
List<Pair<LHSExpression,Expression>>	assignments()

Methods inherited from interface dev.civl.mc.model.IF.Sourceable

getSource

Methods inherited from interface dev.civl.mc.model.IF.statement.Statement

calculateConstantValue, calculateDerefs, containsHere, freeVariables, guard, hasDerefs, isPurelyLocal, locationStepString, lowestScope, model, purelyLocalAnalysisOfVariables, reachable, reached, replaceWith, replaceWith, setCIVLSource, setGuard, setModel, setSource, setSourceTemp, setTarget, setTargetTemp, source, statementKind, statementScope, summaryOfSource, target, toStepString, variableAddressedOf, variableAddressedOf

Method Details

assignments

List<Pair<LHSExpression,Expression>> assignments()