| 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.bin | |
| jif.extension |
Provides classes that implements the Jif AST node extensions and delegates.
|
| jif.lang |
Provides classes that are fundamental to the Jif runtime
system.
|
| jif.net | |
| jif.parse | |
| jif.runtime |
Contains classes of the Jif runtime system.
|
| 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.
|