Module dev.civl.mc

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

Interface WithStatement

All Superinterfaces:

Sourceable, Statement

public interface WithStatement
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	collateState()
CIVLFunction	function()
boolean	isEnter()
boolean	isExit()

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

isEnter

boolean isEnter()

isExit

boolean isExit()

collateState

Expression collateState()

function

CIVLFunction function()