Uses of Class
wyc.builder.CompileTask

Packages that use CompileTask

Package	Description
wyc.builder	Provides the classes responsible for actually translating WhileyFiles into WyilFiles.

Uses of CompileTask in wyc.builder

Constructors in wyc.builder with parameters of type CompileTask

Constructor and Description
CodeGenerator(CompileTask builder) Construct a code generator object for translating WhileyFiles into WyilFiles.
FlowTypeChecker(CompileTask builder)