Uses of Interface
wyc.lang.Stmt

Packages that use Stmt

Package	Description
wyc.io
wyc.lang	Provides core classes for the Abstract Syntax Tree (AST) used to represent Whiley source files.

Uses of Stmt in wyc.io

Methods in wyc.io with parameters of type Stmt

Modifier and Type	Method and Description
void	WhileyFilePrinter.print(Stmt stmt, int indent)

Method parameters in wyc.io with type arguments of type Stmt

Modifier and Type	Method and Description
void	WhileyFilePrinter.print(List<Stmt> statements, int indent)

Uses of Stmt in wyc.lang

Classes in wyc.lang that implement Stmt

Modifier and Type	Class and Description
static class	Expr.AbstractIndirectInvoke
static class	Expr.AbstractInvoke
static class	Expr.FunctionCall Parse a function invocation expression, which has the form:
static class	Expr.FunctionOrMethodCall
static class	Expr.IndirectFunctionCall
static class	Expr.IndirectFunctionOrMethodCall
static class	Expr.IndirectMethodCall
static class	Expr.MethodCall
static class	Expr.New
static class	Expr.PropertyCall
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.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:

Fields in wyc.lang with type parameters of type Stmt

Modifier and Type	Field and Description
ArrayList<Stmt>	Stmt.NamedBlock.body
ArrayList<Stmt>	Stmt.While.body
ArrayList<Stmt>	Stmt.DoWhile.body
ArrayList<Stmt>	Stmt.IfElse.falseBranch
ArrayList<Stmt>	WhileyFile.FunctionOrMethodOrProperty.statements
ArrayList<Stmt>	Stmt.Case.stmts
ArrayList<Stmt>	Stmt.IfElse.trueBranch

Constructor parameters in wyc.lang with type arguments of type Stmt

Constructor and Description
Case(List<Expr> values, List<Stmt> statements, wybs.lang.Attribute... attributes)
DoWhile(Expr condition, List<Expr> invariants, Collection<Stmt> body, wybs.lang.Attribute... attributes) Construct a Do-While statement from a given condition and body of statements.
DoWhile(Expr condition, List<Expr> invariants, Collection<Stmt> body, Collection<wybs.lang.Attribute> attributes) Construct a Do-While statement from a given condition and body of statements.
Function(List<Modifier> modifiers, String name, List<WhileyFile.Parameter> returns, List<WhileyFile.Parameter> parameters, List<Expr> requires, List<Expr> ensures, List<Stmt> statements, wybs.lang.Attribute... attributes)
FunctionOrMethodOrProperty(List<Modifier> modifiers, String name, List<WhileyFile.Parameter> returns, List<WhileyFile.Parameter> parameters, List<String> lifetimeParameters, List<Expr> requires, List<Expr> ensures, List<Stmt> statements, wybs.lang.Attribute... attributes) Construct an object representing a Whiley function.
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, 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.
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(List<Modifier> modifiers, String name, List<WhileyFile.Parameter> returns, List<WhileyFile.Parameter> parameters, List<String> lifetimeParameters, List<Expr> requires, List<Expr> ensures, List<Stmt> statements, wybs.lang.Attribute... attributes)
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.
While(Expr condition, List<Expr> invariants, Collection<Stmt> body, wybs.lang.Attribute... attributes) Construct a While statement from a given condition and body of statements.
While(Expr condition, List<Expr> invariants, Collection<Stmt> body, Collection<wybs.lang.Attribute> attributes) Construct a While statement from a given condition and body of statements.