Uses of Class
wyc.lang.WhileyFile.Type

Packages that use WhileyFile.Type

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.Type in wyc.builder

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

Modifier and Type	Method and Description
void	FlowTypeChecker.propagate(WhileyFile.Type td) Resolve types for a given type declaration.

Uses of WhileyFile.Type in wyc.io

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

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

Uses of WhileyFile.Type in wyc.lang

Methods in wyc.lang that return WhileyFile.Type

Modifier and Type	Method and Description
WhileyFile.Type	WhileyFile.typeDecl(String name)