Module dev.civl.mc

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

Interface DomainIteratorStatement

All Superinterfaces:

Sourceable, Statement

public interface DomainIteratorStatement
extends Statement

Updates the loop variables with the next element of a domain.

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	domain()	Returns the iteration domain expression, which is the expression following the colon.
Variable	getLiteralDomCounter()	Returns a counter variable used for iterating on a literal domain step by step.
List<Variable>	loopVariables()	Returns the list of loop variables, ordered from left to right.

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

domain

Expression domain()

Returns the iteration domain expression, which is the expression following the colon.

Returns:

the iteration domain expression

loopVariables

List<Variable> loopVariables()

Returns the list of loop variables, ordered from left to right.

Returns:

the list of loop variables

getLiteralDomCounter

Variable getLiteralDomCounter()

Returns a counter variable used for iterating on a literal domain step by step.

Returns:

the variable expression of the counter