See: Description
| Interface | Description |
|---|---|
| Expr |
Provides classes for representing expressions in Whiley's source language.
|
| Expr.LVal |
An LVal is a special form of expression which may appear on the left-hand
side of an assignment.
|
| Expr.Multi |
A Multi expression is one which returns multiple values.
|
| Stmt |
Provides classes for representing statements in Whiley's source language.
|
| SyntacticType |
Provides classes for representing types in Whiley's source language.
|
| WhileyFile.Context | |
| WhileyFile.Declaration |
| Class | Description |
|---|---|
| Expr.AbstractFunctionOrMethod | |
| Expr.AbstractIndirectInvoke | |
| Expr.AbstractInvoke | |
| Expr.AbstractVariable | |
| Expr.ArrayGenerator |
Represents an array generator expression, which is of the form:
|
| Expr.ArrayInitialiser |
Represents an array initialiser expression, which is of the form:
|
| Expr.AssignedVariable | |
| Expr.BinOp | |
| Expr.Cast |
Represents a cast expression, which has the form:
|
| Expr.Constant | |
| Expr.ConstantAccess | |
| Expr.Dereference | |
| Expr.FieldAccess | |
| Expr.FunctionCall |
Parse a function invocation expression, which has the form:
|
| Expr.FunctionOrMethod | |
| Expr.FunctionOrMethodCall | |
| Expr.IndexOf | |
| Expr.IndirectFunctionCall | |
| Expr.IndirectFunctionOrMethodCall | |
| Expr.IndirectMethodCall | |
| Expr.Lambda | |
| Expr.LocalVariable | |
| Expr.MethodCall | |
| Expr.New | |
| Expr.PropertyCall | |
| Expr.Quantifier | |
| Expr.Record | |
| Expr.TypeVal | |
| Expr.UnOp | |
| Exprs | |
| Stmt.Assert |
Represents a assert statement of the form
assert e, where
e is a boolean expression. |
| Stmt.Assign |
Represents an assignment statement of the form
lhs = rhs. |
| Stmt.Assume |
Represents an assume statement of the form
assume e, where
e is a boolean expression. |
| Stmt.Break | |
| Stmt.Case | |
| Stmt.Continue | |
| Stmt.Debug | |
| Stmt.DoWhile |
Represents a do-while statement whose body is made up from a block of
statements separated by indentation.
|
| Stmt.Fail |
Represents a fail statement.
|
| Stmt.IfElse |
Represents a classical if-else statement, which is has the form:
|
| Stmt.NamedBlock |
Represents a named block, which has the form:
|
| Stmt.Return |
Represents a return statement, which has the form:
|
| Stmt.Skip | |
| Stmt.Switch | |
| Stmt.VariableDeclaration |
Represents a variable declaration which has the form:
|
| Stmt.While |
Represents a while statement, which has the form:
|
| WhileyFile |
Provides classes representing the various kinds of declaration found in a
Whiley source file.
|
| WhileyFile.Import |
Represents an import declaration in a Whiley source file, which has the
form:
|
| Enum | Description |
|---|---|
| Expr.BOp | |
| Expr.QOp | |
| Expr.UOp |
Copyright © 2017. All rights reserved.