JML

Uses of Package
org.multijava.util.backend

Packages that use org.multijava.util.backend
org.multijava.util.backend Provides an optimizer for methods for the compilers in MultiJava and the Java Modeling Language
 

Classes in org.multijava.util.backend used by org.multijava.util.backend
BackendOptions
          This class is automatically generated from BackendOptions.opt and contains member fields corresponding to command-line options.
BasicBlock
          This class replaces all references to instructions by their associated handle.
CodeSequence
          This class reconstructs the code sequence
InferenceNode
          This class represents a temporary
InstructionHandle
           
LivenessAnalysis
          This class compute the liveness of each temporaries
MethodEnv
          This class represents a method environment
QDestination
          This class represents the destination of a quadruple
QJump
          This class represents the origin of a quadruple
QNode
          This class represent an abstract node
QOperand
          This class represents the origin of a quadruple
QOrigin
          This class represents the origin of a quadruple
QQuadruple
          This class represents a quadruple: a source and a destination
QSwitch
          This class represent an abstract node
QTemporary
          This class represents a temporary
QVoid
          This class represents the an instruction that has no return value
Trace
          This is the entry point of the backend, this class constructs the control flow graf and applies optimizations
TreeWalker
          This is the an abstract class to walk across the tree (DFS)
 


JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.