Uses of Package
wyc.lang

Packages that use wyc.lang

Package	Description
wyc.builder	Provides the classes responsible for actually translating WhileyFiles into WyilFiles.
wyc.commands
wyc.io
wyc.lang	Provides core classes for the Abstract Syntax Tree (AST) used to represent Whiley source files.

Classes in wyc.lang used by wyc.builder

Class and Description
Expr Provides classes for representing expressions in Whiley's source language.
Expr.BinOp
Expr.FunctionOrMethodCall
Expr.IndirectFunctionOrMethodCall
Expr.UnOp
WhileyFile Provides classes representing the various kinds of declaration found in a Whiley source file.
WhileyFile.Constant Represents a constant declaration in a Whiley source file, which has the form:
WhileyFile.Context
WhileyFile.Declaration
WhileyFile.FunctionOrMethodOrProperty Represents a function declaration or method declaration in a Whiley source file which have the form:
WhileyFile.Type Represents a type declaration in a Whiley source file, which has the form:

Classes in wyc.lang used by wyc.commands

Class and Description
WhileyFile Provides classes representing the various kinds of declaration found in a Whiley source file.

Classes in wyc.lang used by wyc.io

Class and Description
Expr Provides classes for representing expressions in Whiley's source language.
Expr.AbstractFunctionOrMethod
Expr.AbstractInvoke
Expr.AbstractVariable
Expr.ArrayInitialiser Represents an array initialiser expression, which is of the form:
Expr.BinOp
Expr.Cast Represents a cast expression, which has the form:
Expr.Constant
Expr.ConstantAccess
Expr.Dereference
Expr.FieldAccess
Expr.IndexOf
Expr.IndirectFunctionCall
Expr.IndirectMethodCall
Expr.Lambda
Expr.New
Expr.Quantifier
Expr.Record
Expr.TypeVal
Expr.UnOp
Stmt Provides classes for representing statements in Whiley's source language.
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.Continue
Stmt.Debug
Stmt.DoWhile Represents a do-while statement whose body is made up from a block of statements separated by indentation.
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.Constant Represents a constant declaration in a Whiley source file, which has the form:
WhileyFile.Declaration
WhileyFile.FunctionOrMethodOrProperty Represents a function declaration or method declaration in a Whiley source file which have the form:
WhileyFile.Import Represents an import declaration in a Whiley source file, which has the form:
WhileyFile.Parameter Represents a parameter declaration as part of a function or method declaration.
WhileyFile.Type Represents a type declaration in a Whiley source file, which has the form:

Classes in wyc.lang used by wyc.lang

Class and Description
Expr Provides classes for representing expressions in Whiley's source language.
Expr.AbstractFunctionOrMethod
Expr.AbstractIndirectInvoke
Expr.AbstractInvoke
Expr.AbstractVariable
Expr.BOp
Expr.FunctionOrMethodCall
Expr.IndirectFunctionOrMethodCall
Expr.LocalVariable
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.
Expr.QOp
Expr.UOp
Stmt Provides classes for representing statements in Whiley's source language.
Stmt.Case
Stmt.Skip
WhileyFile Provides classes representing the various kinds of declaration found in a Whiley source file.
WhileyFile.Context
WhileyFile.Declaration
WhileyFile.FunctionOrMethodOrProperty Represents a function declaration or method declaration in a Whiley source file which have the form:
WhileyFile.Import Represents an import declaration in a Whiley source file, which has the form:
WhileyFile.NamedDeclaration
WhileyFile.Parameter Represents a parameter declaration as part of a function or method declaration.
WhileyFile.Type Represents a type declaration in a Whiley source file, which has the form: