Module dev.civl.mc

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

Interface AssignStatement

All Superinterfaces:

Sourceable, Statement

public interface AssignStatement
extends Statement

An assignment 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
LHSExpression	getLhs()
boolean	isInitialization()
Expression	rhs()

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

getLhs

LHSExpression getLhs()

Returns:

The left hand side of the assignment.

rhs

Expression rhs()

Returns:

The right hand side of the assignment.

isInitialization

boolean isInitialization()

Returns:

True iff this assignment is used to initialize a variable translated from a variable declaration, e.g., int x = 0.