Class Summary |
BaseBindingsGenerator |
Visits the AST to generate the base bindings in the
PolyJ translation table that will be necessary in
order to generate adapter interfaces and classes. |
InstantiationChecker |
Checks for constraint satisfaction in all
type instantiations in the AST. |
InstBindingsGenerator |
Generates the "secondary" instantiation bindings in the
PolyJ translation table that will be necessary in
order to generate adapter interfaces and classes. |
PolyJTranslator |
|
PreTranslator |
This visitor is run by PolyJ immediately before translation. |