wyc.lang

Class Stmt.NamedBlock

java.lang.Object

wybs.lang.SyntacticElement.Impl

wyc.lang.Stmt.NamedBlock

All Implemented Interfaces:

wybs.lang.SyntacticElement, Stmt

Enclosing interface:

Stmt

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

Represents a named block, which has the form:

 NamedBlcok ::= LifetimeIdentifier ':' NewLine Block
 

As an example:

 function sum():
   &this:int x = new:this x
   myblock:
     &myblock:int y = new:myblock y
 

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<Stmt>	body
String	name

Constructor Summary

Constructors

Constructor and Description
NamedBlock(String name, Collection<Stmt> body, wybs.lang.Attribute... attributes) Construct a named block from a given name and body of statements.
NamedBlock(String name, Collection<Stmt> body, Collection<wybs.lang.Attribute> attributes) Construct a named block from a given name and body of statements.

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

name

public final String name

body

public final ArrayList<Stmt> body

Constructor Detail

NamedBlock

public NamedBlock(String name,
                  Collection<Stmt> body,
                  wybs.lang.Attribute... attributes)

Construct a named block from a given name and body of statements.

Parameters:

name - name of this named block.

body - non-null collection which contains zero or more statements.

attributes -

NamedBlock

public NamedBlock(String name,
                  Collection<Stmt> body,
                  Collection<wybs.lang.Attribute> attributes)

Construct a named block from a given name and body of statements.

Parameters:

name - name of this named block.

body - non-null collection which contains zero or more statements.

attributes -