wyc.lang

Interface Stmt

All Superinterfaces:

wybs.lang.SyntacticElement

All Known Implementing Classes:

Expr.AbstractIndirectInvoke, Expr.AbstractInvoke, Expr.FunctionCall, Expr.FunctionOrMethodCall, Expr.IndirectFunctionCall, Expr.IndirectFunctionOrMethodCall, Expr.IndirectMethodCall, Expr.MethodCall, Expr.New, Expr.PropertyCall, Stmt.Assert, Stmt.Assign, Stmt.Assume, Stmt.Break, Stmt.Continue, Stmt.Debug, Stmt.DoWhile, Stmt.Fail, Stmt.IfElse, Stmt.NamedBlock, Stmt.Return, Stmt.Skip, Stmt.Switch, Stmt.VariableDeclaration, Stmt.While

public interface Stmt
extends wybs.lang.SyntacticElement

Provides classes for representing statements in Whiley's source language. Examples include assignments, for-loops, conditions, etc. Each class is an instance of SyntacticElement and, hence, can be adorned with certain information (such as source location, etc).

Author:

David J. Pearce

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	Stmt.Assert Represents a assert statement of the form assert e, where e is a boolean expression.
static class	Stmt.Assign Represents an assignment statement of the form lhs = rhs.
static class	Stmt.Assume Represents an assume statement of the form assume e, where e is a boolean expression.
static class	Stmt.Break
static class	Stmt.Case
static class	Stmt.Continue
static class	Stmt.Debug
static class	Stmt.DoWhile Represents a do-while statement whose body is made up from a block of statements separated by indentation.
static class	Stmt.Fail Represents a fail statement.
static class	Stmt.IfElse Represents a classical if-else statement, which is has the form:
static class	Stmt.NamedBlock Represents a named block, which has the form:
static class	Stmt.Return Represents a return statement, which has the form:
static class	Stmt.Skip
static class	Stmt.Switch
static class	Stmt.VariableDeclaration Represents a variable declaration which has the form:
static class	Stmt.While Represents a while statement, which has the form:

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

wybs.lang.SyntacticElement.Impl

Method Summary

Methods inherited from interface wybs.lang.SyntacticElement

attribute, attributes