Package wyil.checks

Provides classes responsible for validity checking of WYIL modules.

See: Description

Class Summary

Class	Description
CoercionCheck	The point of the coercion check is to check that all convert bytecodes make sense, and are not ambiguous.

Package wyil.checks Description

Provides classes responsible for validity checking of WYIL modules. For example, that every variable is defined before being used ( DefinitieAssignmenttCheck), or that there are no ambiguous coercions (CoercionCheck).

Author:

David J. Pearce