Packages

jif.lang	Provides classes that are fundamental to the Jif runtime system.
jif.policy	Provides classes for translating between Jif labels and access control policies of the underlying system.
jif.runtime	Contains classes of the Jif runtime system.
jltools.ast	Contains the AST Nodes and interfaces for manipulating the nodes.
jltools.ext.jif	Contains all of the classes related to the Jif extentsion.
jltools.ext.jif.ast	Provides classes for dealing with the Jif AST nodes and interfaces.
jltools.ext.jif.extension	Provides classes that implements the Jif AST node extensions.
jltools.ext.jif.types	Contains classes related to the Jif type system and Jif types, including Jif labels and principals.
jltools.ext.jif.visit	Contains the Jif visitors, such as the label checker and the Jif translator.
jltools.ext.jl
jltools.ext.jl.ast	Contains the AST Nodes and interfaces for manipulating the nodes.
jltools.ext.jl.parse	Contains classes to handle the parsing.
jltools.ext.jl.types
jltools.frontend	Contains helper classes for the frontend that are used by jltools.main.
jltools.lex	Package to tokenize of a Java input stream.
jltools.main	Contains classes to get and parse command line arguments and run the compilation process.
jltools.parse
jltools.types	Contains the typesystem and all related classes.
jltools.util	Classes to provide compiler utilities, such as data structures and convenience classes.
jltools.visit	Contains the standard visitor which provide type checking as well as output.