wyc.lang

Class Stmt.VariableDeclaration

java.lang.Object

wybs.lang.SyntacticElement.Impl

wyc.lang.Stmt.VariableDeclaration

All Implemented Interfaces:

wybs.lang.SyntacticElement, Stmt

Enclosing interface:

Stmt

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

Represents a variable declaration which has the form:

 Type Identifier ['=' Expression] NewLine
 

The optional Expression assignment is referred to as an initialiser. If an initialiser is given, then this will be evaluated and assigned to the variable when the declaration is executed. Some example declarations:

 int x
 int y = 1
 int z = x + y
 

Observe that, unlike C and Java, declarations that declare multiple variables (separated by commas) are not permitted.

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
Expr	expr
WhileyFile.Parameter	parameter
Type	type

Constructor Summary

Constructors

Constructor and Description
VariableDeclaration(WhileyFile.Parameter parameter, Expr expr, wybs.lang.Attribute... attributes) Construct a variable declaration from a given type, variable name and optional initialiser expression.
VariableDeclaration(WhileyFile.Parameter parameter, Expr expr, Collection<wybs.lang.Attribute> attributes) Construct a variable declaration from a given type, variable name and optional initialiser expression.

Method Summary

Methods inherited from class wybs.lang.SyntacticElement.Impl

attribute, attributes

Methods inherited from class java.lang.Object

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

Methods inherited from interface wybs.lang.SyntacticElement

attribute, attributes

Field Detail

parameter

public final WhileyFile.Parameter parameter

type

public Type type

expr

public Expr expr

Constructor Detail

VariableDeclaration

public VariableDeclaration(WhileyFile.Parameter parameter,
                           Expr expr,
                           wybs.lang.Attribute... attributes)

Construct a variable declaration from a given type, variable name and optional initialiser expression.

Parameters:

pattern - Type pattern declaring one or more types.

expr - Optional initialiser expression, which may be null.

attributes -

VariableDeclaration

public VariableDeclaration(WhileyFile.Parameter parameter,
                           Expr expr,
                           Collection<wybs.lang.Attribute> attributes)

Construct a variable declaration from a given type, variable name and optional initialiser expression.

Parameters:

pattern - Type pattern declaring one or more types.

expr - Optional initialiser expression, which may be null.

attributes -