|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages | |
---|---|
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. |
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |