JML

Package org.multijava.util

Interface Summary
DirectedAcyclicGraph.EdgeCalculator  
 

Class Summary
ArrayListCache This class implements a cache of ArrayLists.
ArrayLocator This class allows to find the position of an object in an array.
CharArrayCache This class implements a cache of char arrays
ClassPathContains This class is a command-line utility to test for the presence of a given class on the CLASSPATH.
Destination This class represents the destination of the output of one of the tools included in the project.
DirectedAcyclicGraph This utility class represents a directed acyclic graph.
IntStack This class represents a simple stack of integer values.
Message This class represents the root class for all kopic errors
MessageDescription This class defines message descriptions (errors, warnings, notices, ...).
MjcHashRelation This class is used to map a key to a sequence of values, the image of the key.
Options This class implements basic option parsing.
TestArrayListCache TestArrayListCache.java
TestDirectedAcyclicGraph JUnit tests for DirectedAcyclicGraph.
TestDirectedAcyclicGraph.TestDirectedAcyclicGraph$1  
TestIntStack TestIntStack.java
TestSuite This class is automatically generated using org.multijava.util.testing.Main and is used to group a collection of JUnit tests for the local package and perhaps some subpackages.
TestSuite.TestSuite$1  
TestUtils TestMain.java
Utils This class defines severals utilities methods used in source code
VectorCache This class implements a cache of char arrays
 

Exception Summary
FormattedException This class defines exceptions formatted using message descriptions.
InconsistencyException An InconsistencyException indicates that an inconsistent internal state has been discovered, usually due to incorrect program logic.
InternalError Internal errors
 


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.