Skip navigation links
Packages 
Package Description
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.
Skip navigation links