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.