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.