Uses of Package
wyil.lang

Packages that use wyil.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.
wyil.builders
wyil.checks	Provides classes responsible for validity checking of WYIL modules.
wyil.io	Provides classes for handling reading/writing WYIL modules.
wyil.lang	Provides core classes for representing WYIL modules and bytecodes.
wyil.util
wyil.util.interpreter
wyil.util.type

Classes in wyil.lang used by wyc.builder

Class and Description
Constant
Modifier Represents a protection modifier on a module item.
Type A structural type.
Type.EffectiveArray An effective array is a type which looks like an array, but is not exactly an array.
Type.EffectiveRecord An effective record is a type which looks like a record, but is not exactly a record.
Type.Function Represents the set of all function values.
Type.FunctionOrMethod Represents the set of all functions or methods.
Type.Method Represents the set of all method values.
Type.Property Represents the set of all proeprty values.
Type.Reference Represents a reference to an object in Whiley.
WyilFile Provides an in-memory representation of a binary WyIL file.

Classes in wyil.lang used by wyc.commands

Class and Description
WyilFile Provides an in-memory representation of a binary WyIL file.

Classes in wyil.lang used by wyc.io

Class and Description
Constant
Modifier Represents a protection modifier on a module item.

Classes in wyil.lang used by wyc.lang

Class and Description
Constant
Modifier Represents a protection modifier on a module item.
Type A structural type.
Type.Array An array type describes array values whose elements are subtypes of the element type.
Type.EffectiveArray An effective array is a type which looks like an array, but is not exactly an array.
Type.EffectiveRecord An effective record is a type which looks like a record, but is not exactly a record.
Type.Function Represents the set of all function values.
Type.FunctionOrMethod Represents the set of all functions or methods.
Type.Method Represents the set of all method values.
Type.Property Represents the set of all proeprty values.
Type.Reference Represents a reference to an object in Whiley.

Classes in wyil.lang used by wyil.builders

Class and Description
Bytecode.VariableDeclaration A variable declaration bytecode has one of the following two layouts:
SyntaxTree.Location
Type.FunctionOrMethod Represents the set of all functions or methods.
WyilFile Provides an in-memory representation of a binary WyIL file.
WyilFile.FunctionOrMethod
WyilFile.FunctionOrMethodOrProperty

Classes in wyil.lang used by wyil.checks

Class and Description
SyntaxTree A SyntaxTree representation of the Whiley Intermediate Language (WyIL).
Type A structural type.
WyilFile Provides an in-memory representation of a binary WyIL file.

Classes in wyil.lang used by wyil.io

Class and Description
WyilFile Provides an in-memory representation of a binary WyIL file.

Classes in wyil.lang used by wyil.lang

Class and Description
Bytecode Each bytecode has a binary format which identifies the opcode, operand registers, operand groups, blocks and other items used (e.g.
Bytecode.AssertOrAssume An abstract class representing either an assert or assume bytecode.
Bytecode.Block
Bytecode.Blocks
Bytecode.Case
Bytecode.Expr Represents the class of bytecodes which correspond to expressions in the source language.
Bytecode.Extras
Bytecode.Index Represents a bytecode location within a code forest.
Bytecode.Loop A loop bytecode has the following layout:
Bytecode.OperandGroups
Bytecode.Operands
Bytecode.OperatorKind Represents the set of valid operators (e.g.
Bytecode.QuantifierKind
Bytecode.Range
Bytecode.Stmt A statement bytecode represents a bytecode that contains a sequence of zero or more bytecodes.
Bytecode.StmtExpr A "statement expression" is a rather unusual beast.
Constant
Constant.Bool
Constant.Null
Modifier Represents a protection modifier on a module item.
SyntaxTree A SyntaxTree representation of the Whiley Intermediate Language (WyIL).
SyntaxTree.Location
Type A structural type.
Type.EffectiveArray An effective array is a type which looks like an array, but is not exactly an array.
Type.EffectiveRecord An effective record is a type which looks like a record, but is not exactly a record.
Type.EffectiveReference An effective reference is a type which looks like an reference, but is not exactly an reference.
Type.Function Represents the set of all function values.
Type.FunctionOrMethod Represents the set of all functions or methods.
Type.Impl
Type.Impl.Atom An atom represents an indivisible type.
Type.Impl.Conjunctable Represents either an atom or a conjunct
Type.Impl.FunctionOrMethod
Type.Impl.PositiveAtom A positive atom is any atom except a negation
Type.Leaf Represents a type which constitutes a "leaf" node in the type tree.
Type.Method Represents the set of all method values.
Type.Primitive Represents a primitive type (e.g.
Type.Property Represents the set of all proeprty values.
WyilFile Provides an in-memory representation of a binary WyIL file.
WyilFile.Block A block is an chunk of information within a WyIL file.
WyilFile.Constant A constant declaration is a top-level block within a WyilFile that associates a name with a given constant value.
WyilFile.Declaration A declaration is a named entity within a WyIL file, and is either a type, constant, function or method declaration.
WyilFile.FunctionOrMethod
WyilFile.FunctionOrMethodOrProperty
WyilFile.Type A type declaration is a top-level block within a WyilFile that associates a name with a given type.

Classes in wyil.lang used by wyil.util

Class and Description
Bytecode.Schema
SyntaxTree.Location
Type A structural type.
Type.EffectiveArray An effective array is a type which looks like an array, but is not exactly an array.
Type.EffectiveRecord An effective record is a type which looks like a record, but is not exactly a record.
Type.FunctionOrMethod Represents the set of all functions or methods.
Type.Reference Represents a reference to an object in Whiley.
WyilFile Provides an in-memory representation of a binary WyIL file.

Classes in wyil.lang used by wyil.util.interpreter

Class and Description
Bytecode.Expr Represents the class of bytecodes which correspond to expressions in the source language.
Bytecode.Lambda A lambda bytecode has the following layout:
Bytecode.Operator An operator bytecode has the following layout:
Bytecode.VariableDeclaration A variable declaration bytecode has one of the following two layouts:
Constant
SyntaxTree.Location
Type A structural type.
Type.FunctionOrMethod Represents the set of all functions or methods.

Classes in wyil.lang used by wyil.util.type

Class and Description
Type A structural type.