Uses of Interface
wyc.lang.WhileyFile.Declaration

Packages that use WhileyFile.Declaration

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

Uses of WhileyFile.Declaration in wyc.builder

Methods in wyc.builder with parameters of type WhileyFile.Declaration

Modifier and Type	Method and Description
void	ModuleCheck.check(WhileyFile.Declaration declaration)

Uses of WhileyFile.Declaration in wyc.io

Methods in wyc.io with parameters of type WhileyFile.Declaration

Modifier and Type	Method and Description
void	WhileyFilePrinter.print(WhileyFile.Declaration decl)

Uses of WhileyFile.Declaration in wyc.lang

Classes in wyc.lang that implement WhileyFile.Declaration

Modifier and Type	Class and Description
class	WhileyFile.Constant Represents a constant declaration in a Whiley source file, which has the form:
class	WhileyFile.Function Represents a function declaration in a Whiley source file.
class	WhileyFile.FunctionOrMethodOrProperty Represents a function declaration or method declaration in a Whiley source file which have the form:
static class	WhileyFile.Import Represents an import declaration in a Whiley source file, which has the form:
class	WhileyFile.Method Represents a method declaration in a Whiley source file.
class	WhileyFile.NamedDeclaration
class	WhileyFile.Property Represents a function declaration in a Whiley source file.
class	WhileyFile.Type Represents a type declaration in a Whiley source file, which has the form:

Fields in wyc.lang with type parameters of type WhileyFile.Declaration

Modifier and Type	Field and Description
ArrayList<WhileyFile.Declaration>	WhileyFile.declarations

Methods in wyc.lang with parameters of type WhileyFile.Declaration

Modifier and Type	Method and Description
void	WhileyFile.add(WhileyFile.Declaration declaration)