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