The point of the coercion check is to check that all convert bytecodes make sense, and are not ambiguous.
The purpose of this class is to check that all variables are defined before being used.
Performs a number of simplistic checks that a module is syntactically correct.
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
Copyright © 2011 David J. Pearce. All Rights Reserved.