wyc.lang

Class Stmt.IfElse

java.lang.Object

wybs.lang.SyntacticElement.Impl

wyc.lang.Stmt.IfElse

All Implemented Interfaces:

wybs.lang.SyntacticElement, Stmt

Enclosing interface:

Stmt

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

Represents a classical if-else statement, which is has the form:

 "if" Expression ':' NewLine Block ["else" ':' NewLine Block]
 

The first expression is referred to as the condition, while the first block is referred to as the true branch. The optional second block is referred to as the false branch. The following illustrates:

 function max(int x, int y) -> int:
   if(x > y):
     return x
   else if(x == y):
        return 0
   else:
     return y
 

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	condition
ArrayList<Stmt>	falseBranch
ArrayList<Stmt>	trueBranch

Constructor Summary

Constructors

Constructor and Description
IfElse(Expr condition, List<Stmt> trueBranch, List<Stmt> falseBranch, wybs.lang.Attribute... attributes) Construct an if-else statement from a condition, true branch and optional false branch.
IfElse(Expr condition, List<Stmt> trueBranch, List<Stmt> falseBranch, Collection<wybs.lang.Attribute> attributes) Construct an if-else statement from a condition, true branch and optional false branch.

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

condition

public Expr condition

trueBranch

public final ArrayList<Stmt> trueBranch

falseBranch

public final ArrayList<Stmt> falseBranch

Constructor Detail

IfElse

public IfElse(Expr condition,
              List<Stmt> trueBranch,
              List<Stmt> falseBranch,
              wybs.lang.Attribute... attributes)

Construct an if-else statement from a condition, true branch and optional false branch.

Parameters:

condition - May not be null.

trueBranch - A list of zero or more statements to be executed when the condition holds; may not be null.

falseBranch - A list of zero of more statements to be executed when the condition does not hold; may not be null.

attributes -

IfElse

public IfElse(Expr condition,
              List<Stmt> trueBranch,
              List<Stmt> falseBranch,
              Collection<wybs.lang.Attribute> attributes)

Construct an if-else statement from a condition, true branch and optional false branch.

Parameters:

condition - May not be null.

trueBranch - A list of zero or more statements to be executed when the condition holds; may not be null.

falseBranch - A list of zero of more statements to be executed when the condition does not hold; may not be null.

attributes -