Package wyc.builder

Provides the classes responsible for actually translating WhileyFiles into WyilFiles.

See: Description

Class Summary

Class	Description
CodeGenerator	Responsible for compiling the declarations, statements and expression found in a WhileyFile into WyIL declarations and bytecode blocks.
CompileTask	Responsible for managing the process of turning source files into binary code for execution.
DecompileTask	Responsible for decompiling WyIL files into a human readable form.
DefiniteAssignmentAnalysis	Responsible for checking that all variables are defined before they are used.
FlowTypeChecker	Propagates type information in a flow-sensitive fashion from declared parameter and return types through variable declarations and assigned expressions, to determine types for all intermediate expressions and variables.
ModuleCheck	Performs a number of simplistic checks that a module is syntactically correct.

Package wyc.builder Description

Provides the classes responsible for actually translating WhileyFiles into WyilFiles.

Author:

David J. Pearce