Module dev.civl.mc

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

Interface NoopStatement

All Superinterfaces:

Sourceable, Statement

All Known Subinterfaces:

LoopBranchStatement

public interface NoopStatement
extends Statement

Marker interface for a noop statement.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	NoopStatement.NoopKind

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

Statement.StatementKind

Method Summary

Modifier and Type	Method	Description
Expression	expression()
boolean	isRemovable()
boolean	isTemporary()	is this a temporary noop that is inserted by the model builder and should be removed from the model?
boolean	isVariableDeclaration()	is this noop associating to a variable declaration?
NoopStatement.NoopKind	noopKind()	Returns the kind of this noop statement, which might be a if-else branching, loop branching, atomic entering/exiting noop statement, etc.
void	setRemovable()

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

noopKind

NoopStatement.NoopKind noopKind()

Returns the kind of this noop statement, which might be a if-else branching, loop branching, atomic entering/exiting noop statement, etc.

Returns:

The kind of this noop statement

expression

Expression expression()

isTemporary

boolean isTemporary()

is this a temporary noop that is inserted by the model builder and should be removed from the model?

Returns:

setRemovable

void setRemovable()

isRemovable

boolean isRemovable()

isVariableDeclaration

boolean isVariableDeclaration()

is this noop associating to a variable declaration?

Returns: