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.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.