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.