Module dev.civl.mc

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

Interface UpdateStatement

All Superinterfaces:

Sourceable, Statement

public interface UpdateStatement
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
Expression[]	arguments()
CallOrSpawnStatement	call()
Expression	collator()
CIVLFunction	function()

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

collator

Expression collator()

call

CallOrSpawnStatement call()

function

CIVLFunction function()

arguments

Expression[] arguments()