Package | Description |
---|---|
jif |
Contains all of the classes related to the Jif
extentsion.
|
jif.ast |
Provides classes for dealing with the Jif AST nodes and interfaces.
|
jif.extension |
Provides classes that implements the Jif AST node extensions and delegates.
|
jif.parse | |
jif.translate | |
jif.types |
Contains classes related to the Jif type system and
Jif types, including Jif labels and principals.
|
jif.types.hierarchy | |
jif.types.label | |
jif.types.principal | |
jif.visit |
Contains the Jif visitors, such as the label checker and the Jif translator.
|