wyc.lang

Class Stmt.Return

java.lang.Object

wybs.lang.SyntacticElement.Impl

wyc.lang.Stmt.Return

All Implemented Interfaces:

wybs.lang.SyntacticElement, Stmt

Enclosing interface:

Stmt

public static final class Stmt.Return
extends wybs.lang.SyntacticElement.Impl
implements Stmt

Represents a return statement, which has the form:

 ReturnStmt ::= "return" [Expression] NewLine
 

The optional expression is referred to as the return value. Note that, the returned expression (if there is one) must begin on the same line as the return statement itself. The following illustrates:

 function f(int x) -> int:
          return x + 1
 

Here, we see a simple return statement which returns an int value.

Author:

David J. Pearce

Nested Class Summary

Nested classes/interfaces inherited from interface wyc.lang.Stmt

Stmt.Assert, Stmt.Assign, Stmt.Assume, Stmt.Break, Stmt.Case, Stmt.Continue, Stmt.Debug, Stmt.DoWhile, Stmt.Fail, Stmt.IfElse, Stmt.NamedBlock, Stmt.Return, Stmt.Skip, Stmt.Switch, Stmt.VariableDeclaration, Stmt.While

Nested classes/interfaces inherited from interface wybs.lang.SyntacticElement

wybs.lang.SyntacticElement.Impl

Field Summary

Fields

Modifier and Type	Field and Description
ArrayList<Expr>	returns

Constructor Summary

Constructors

Constructor and Description
Return(List<Expr> returns, wybs.lang.Attribute... attributes) Create a given return statement with an optional return value.
Return(List<Expr> returns, Collection<wybs.lang.Attribute> attributes) Create a given return statement with an optional return value.

Method Summary

Modifier and Type	Method and Description
String	toString()

Methods inherited from class wybs.lang.SyntacticElement.Impl

attribute, attributes

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface wybs.lang.SyntacticElement

attribute, attributes

Field Detail

returns

public ArrayList<Expr> returns

Constructor Detail

Return

public Return(List<Expr> returns,
              wybs.lang.Attribute... attributes)

Create a given return statement with an optional return value.

Parameters:

expr - value being returned (may be null)

attributes -

Return

public Return(List<Expr> returns,
              Collection<wybs.lang.Attribute> attributes)

Create a given return statement with an optional return value.

Parameters:

expr - the return value, which may be null.

attributes -

Method Detail

toString

public String toString()

Overrides:

toString in class Object