Module dev.civl.mc

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

Interface ReturnStatement

All Superinterfaces:

Sourceable, Statement

public interface ReturnStatement
extends Statement

A return 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	expression()
void	setExpression(Expression expression)

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

expression

Expression expression()

Returns:

The expression being returned. Null if non-existent.

setExpression

void setExpression(Expression expression)

Parameters:

expression - The expression being returned. Null if non-existent.