JML

Uses of Package
java.util

Packages that use java.util
java.awt   
java.awt.event   
java.io JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
java.lang JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
java.math JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
java.net JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
java.security JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
java.sql JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
java.util JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
javax.servlet   
javax.servlet.http   
org.jmlspecs.ant.tasks   
org.jmlspecs.checker Contains the source code for a parser and typechecker for JML annotations and java code. 
org.jmlspecs.jmldoc The jmldoc tool documents java programs that contain JML (Java Modeling Language) annotations included as specially formatted comments; the generated html pages are very similar to those produced by javadoc, but with annotation information added. 
org.jmlspecs.jmldoc.jmldoc_142   
org.jmlspecs.jmlrac Generates Java classes from JML specifications that check assertions at runtime. 
org.jmlspecs.jmlrac.qexpr Translates JML quantified expressions into Java source code to evaluate them at runtime. 
org.jmlspecs.jmlrac.runtime Classes for use during runtime assertion checking for code compiled with JML's runtime assertion checking compiler (jmlc). 
org.jmlspecs.jmlspec A tool that can generate or compare specification skeletons from Java source or class files. 
org.jmlspecs.jmlunit Generates JUnit test classes from JML specifications. 
org.jmlspecs.jmlunit.strategies The types in this package are used in providing test data for JML/JUnit testing. 
org.jmlspecs.launcher The launcher allows the user to access all of the tools in JML. 
org.jmlspecs.models This package is a collection of types with immutable objects; it also enumerators (which have mutable objects) for the types of the immutable collections in the package. 
org.jmlspecs.models.resolve This package is a collection of types with immutable objects based on the RESOLVE specification language's mathematical models. 
org.jmlspecs.racwrap   
org.jmlspecs.racwrap.runner   
org.jmlspecs.samples.digraph This package contains samples of JML specifications for directed graphs. 
org.jmlspecs.samples.jmlkluwer This package contains samples of JML specifications from the paper "JML: a Notation for Detailed Design". 
org.jmlspecs.samples.sets This package contains samples of JML specifications relating to sets. 
org.jmlspecs.samples.stacks This package contains samples of JML specifications relating to stacks of various sorts. 
org.jmlspecs.samples.table This package contains samples of JML specifications relating to tables. 
org.jmlspecs.util.dis   
org.multijava.dis   
org.multijava.launcher The launcher allows the user to access all of the tools in MJ. 
org.multijava.mjc Implements mjc, a MultiJava compiler. 
org.multijava.mjdoc The mjdoc tool documents java programs that contain MultiJava (MJ) extensions to the Java progamming language; it produces html pages very similar to those produced by the javadoc tool. 
org.multijava.mjdoc.mjdoc_142 The mjdoc tool documents java programs that contain MultiJava (MJ) extensions to the Java progamming language; it produces html pages very similar to those produced by the javadoc tool. 
org.multijava.relaxed.runtime   
org.multijava.relaxed.util   
org.multijava.util   
org.multijava.util.backend Provides an optimizer for methods for the compilers in MultiJava and the Java Modeling Language
org.multijava.util.classfile Provides an editor for classfiles used by MultiJava and the Java Modeling Language
org.multijava.util.compiler Provides utilities and superclasses for the compilers in MultiJava and the Java Modeling Language
org.multijava.util.gui   
org.multijava.util.guigen Implements the automatic generation of all of the GUIs for MultiJava and the Java Modeling Language
org.multijava.util.jperf Defines the perfect hashing function generator Package Specification JPerf is the perfect hashing function generator for the compilers in MultiJava and the Java Modeling Language
org.multijava.util.lexgen Provides a lexer for the compilers of MultiJava and the Java Modeling Language
org.multijava.util.msggen Implements the automatic generation of the data structure for all of the compiler messages in MultiJava and the Java Modeling Language
org.multijava.util.optgen Implements the automatic generation of the data structure for all of the command line options in MultiJava and the Java Modeling Language
org.multijava.util.optimize Provides an optimizer for classfiles used by MultiJava and the Java Modeling Language
org.multijava.util.testing Provides JUnit testing utilities for all of the parts of MultiJava and the Java Modeling Language
 

Classes in java.util used by java.awt
EventObject
           
 

Classes in java.util used by java.awt.event
EventListener
           
EventObject
           
 

Classes in java.util used by java.io
HashMap
          JML's specification of java.util.HashMap.
 

Classes in java.util used by java.lang
Comparator
           
Enumeration
          JML's specification of java.util.Enumeration.
HashMap
          JML's specification of java.util.HashMap.
Hashtable
          JML's specification of java.util.Hashtable.
Locale
           
Map
          JML's specification of java.util.Map.
Properties
           
Set
          JML's specification of java.util.Set.
Stack
          JML's specification of Stack.
Vector
          JML's specification of java.util.Vector.
 

Classes in java.util used by java.math
Random
           
 

Classes in java.util used by java.net
HashMap
          JML's specification of java.util.HashMap.
Hashtable
          JML's specification of java.util.Hashtable.
Map
          JML's specification of java.util.Map.
 

Classes in java.util used by java.security
Collection
          JML's specification of java.util.Collection.
Dictionary
           
Hashtable
          JML's specification of java.util.Hashtable.
Map
          JML's specification of java.util.Map.
Properties
           
Random
           
Set
          JML's specification of java.util.Set.
 

Classes in java.util used by java.sql
Calendar
          JML's specification of java.util.Calendar.
Date
          JML's specification of java.util.Date.
Enumeration
          JML's specification of java.util.Enumeration.
Map
          JML's specification of java.util.Map.
Properties
           
 

Classes in java.util used by java.util
AbstractCollection
           
AbstractList
          JML's specification of java.util.AbstractList.
AbstractMap
           
AbstractSequentialList
           
AbstractSet
          JML's specification of java.util.AbstractSet.
BitSet
          JML's specification of the java.util.BitSet.
Calendar
          JML's specification of java.util.Calendar.
Collection
          JML's specification of java.util.Collection.
Comparator
           
Date
          JML's specification of java.util.Date.
Dictionary
           
Enumeration
          JML's specification of java.util.Enumeration.
HashMap
          JML's specification of java.util.HashMap.
HashMap.Entry
           
HashSet
          JML's specification of java.util.HashSet.
Hashtable
          JML's specification of java.util.Hashtable.
Iterator
          JML's specification of java.util.Iterator.
List
          JML's specification of java.util.List.
ListIterator
          JML's specification of java.util.Iterator.
Locale
           
Map
          JML's specification of java.util.Map.
Map.Entry
           
MissingResourceException
           
Observable
          JML's specification of the java.util.Observable.
Observer
          JML's specification of the java.util.Observer.
Properties
           
RandomAccess
           
ResourceBundle
           
Set
          JML's specification of java.util.Set.
SortedMap
          JML's specification of java.util.SortedMap.
SortedSet
          JML's specification of java.util.SortedSet.
SubList
           
TimeZone
           
TreeMap.Entry
           
Vector
          JML's specification of java.util.Vector.
 

Classes in java.util used by javax.servlet
Enumeration
          JML's specification of java.util.Enumeration.
EventListener
           
EventObject
           
Locale
           
Map
          JML's specification of java.util.Map.
Set
          JML's specification of java.util.Set.
 

Classes in java.util used by javax.servlet.http
Enumeration
          JML's specification of java.util.Enumeration.
EventListener
           
EventObject
           
Hashtable
          JML's specification of java.util.Hashtable.
 

Classes in java.util used by org.jmlspecs.ant.tasks
ArrayList
          JML's specification of ArrayList.
HashSet
          JML's specification of java.util.HashSet.
List
          JML's specification of java.util.List.
Set
          JML's specification of java.util.Set.
 

Classes in java.util used by org.jmlspecs.checker
ArrayList
          JML's specification of ArrayList.
EventListener
           
HashMap
          JML's specification of java.util.HashMap.
HashSet
          JML's specification of java.util.HashSet.
Hashtable
          JML's specification of java.util.Hashtable.
Iterator
          JML's specification of java.util.Iterator.
LinkedHashSet
           
LinkedList
          JML's specification of java.util.LinkedList.
Set
          JML's specification of java.util.Set.
Stack
          JML's specification of Stack.
Vector
          JML's specification of java.util.Vector.
 

Classes in java.util used by org.jmlspecs.jmldoc
HashMap
          JML's specification of java.util.HashMap.
Hashtable
          JML's specification of java.util.Hashtable.
LinkedHashSet
           
 

Classes in java.util used by org.jmlspecs.jmldoc.jmldoc_142
ArrayList
          JML's specification of ArrayList.
EventListener
           
List
          JML's specification of java.util.List.
Map
          JML's specification of java.util.Map.
 

Classes in java.util used by org.jmlspecs.jmlrac
ArrayList
          JML's specification of ArrayList.
EventListener
           
HashMap
          JML's specification of java.util.HashMap.
HashSet
          JML's specification of java.util.HashSet.
Hashtable
          JML's specification of java.util.Hashtable.
Iterator
          JML's specification of java.util.Iterator.
LinkedHashSet
           
List
          JML's specification of java.util.List.
Map
          JML's specification of java.util.Map.
Set
          JML's specification of java.util.Set.
Stack
          JML's specification of Stack.
 

Classes in java.util used by org.jmlspecs.jmlrac.qexpr
Collection
          JML's specification of java.util.Collection.
List
          JML's specification of java.util.List.
Set
          JML's specification of java.util.Set.
 

Classes in java.util used by org.jmlspecs.jmlrac.runtime
HashMap
          JML's specification of java.util.HashMap.
Map
          JML's specification of java.util.Map.
Set
          JML's specification of java.util.Set.
 

Classes in java.util used by org.jmlspecs.jmlspec
ArrayList
          JML's specification of ArrayList.
EventListener
           
HashMap
          JML's specification of java.util.HashMap.
Hashtable
          JML's specification of java.util.Hashtable.
LinkedHashSet
           
 

Classes in java.util used by org.jmlspecs.jmlunit
ArrayList
          JML's specification of ArrayList.
EventListener
           
HashMap
          JML's specification of java.util.HashMap.
HashSet
          JML's specification of java.util.HashSet.
Hashtable
          JML's specification of java.util.Hashtable.
Iterator
          JML's specification of java.util.Iterator.
LinkedHashSet
           
List
          JML's specification of java.util.List.
Map
          JML's specification of java.util.Map.
Set
          JML's specification of java.util.Set.
 

Classes in java.util used by org.jmlspecs.jmlunit.strategies
Iterator
          JML's specification of java.util.Iterator.
NoSuchElementException
           
 

Classes in java.util used by org.jmlspecs.launcher
EventListener
           
 

Classes in java.util used by org.jmlspecs.models
Collection
          JML's specification of java.util.Collection.
Enumeration
          JML's specification of java.util.Enumeration.
HashSet
          JML's specification of java.util.HashSet.
Iterator
          JML's specification of java.util.Iterator.
NoSuchElementException
           
 

Classes in java.util used by org.jmlspecs.models.resolve
Collection
          JML's specification of java.util.Collection.
Vector
          JML's specification of java.util.Vector.
 

Classes in java.util used by org.jmlspecs.racwrap
List
          JML's specification of java.util.List.
 

Classes in java.util used by org.jmlspecs.racwrap.runner
Enumeration
          JML's specification of java.util.Enumeration.
EventListener
           
Hashtable
          JML's specification of java.util.Hashtable.
Properties
           
Vector
          JML's specification of java.util.Vector.
 

Classes in java.util used by org.jmlspecs.samples.digraph
HashSet
          JML's specification of java.util.HashSet.
 

Classes in java.util used by org.jmlspecs.samples.jmlkluwer
ArrayList
          JML's specification of ArrayList.
 

Classes in java.util used by org.jmlspecs.samples.sets
HashSet
          JML's specification of java.util.HashSet.
 

Classes in java.util used by org.jmlspecs.samples.stacks
ArrayList
          JML's specification of ArrayList.
 

Classes in java.util used by org.jmlspecs.samples.table
Hashtable
          JML's specification of java.util.Hashtable.
 

Classes in java.util used by org.jmlspecs.util.dis
HashMap
          JML's specification of java.util.HashMap.
Hashtable
          JML's specification of java.util.Hashtable.
LinkedHashSet
           
 

Classes in java.util used by org.multijava.dis
ArrayList
          JML's specification of ArrayList.
HashMap
          JML's specification of java.util.HashMap.
Hashtable
          JML's specification of java.util.Hashtable.
LinkedHashSet
           
 

Classes in java.util used by org.multijava.launcher
ArrayList
          JML's specification of ArrayList.
EventListener
           
Iterator
          JML's specification of java.util.Iterator.
Map.Entry
           
 

Classes in java.util used by org.multijava.mjc
AbstractCollection
           
AbstractList
          JML's specification of java.util.AbstractList.
AbstractMap
           
AbstractSet
          JML's specification of java.util.AbstractSet.
ArrayList
          JML's specification of ArrayList.
BitSet
          JML's specification of the java.util.BitSet.
Collection
          JML's specification of java.util.Collection.
Comparator
           
EventListener
           
HashMap
          JML's specification of java.util.HashMap.
HashSet
          JML's specification of java.util.HashSet.
Hashtable
          JML's specification of java.util.Hashtable.
Iterator
          JML's specification of java.util.Iterator.
LinkedHashSet
           
LinkedList
          JML's specification of java.util.LinkedList.
List
          JML's specification of java.util.List.
Map
          JML's specification of java.util.Map.
NoSuchElementException
           
RandomAccess
           
Set
          JML's specification of java.util.Set.
Stack
          JML's specification of Stack.
TreeMap
          JML's specification of java.util.TreeMap.
TreeSet
          JML's specification of java.util.TreeSet.
 

Classes in java.util used by org.multijava.mjdoc
HashMap
          JML's specification of java.util.HashMap.
Hashtable
          JML's specification of java.util.Hashtable.
LinkedHashSet
           
 

Classes in java.util used by org.multijava.mjdoc.mjdoc_142
ArrayList
          JML's specification of ArrayList.
Comparator
           
EventListener
           
HashSet
          JML's specification of java.util.HashSet.
Iterator
          JML's specification of java.util.Iterator.
Map
          JML's specification of java.util.Map.
SortedSet
          JML's specification of java.util.SortedSet.
 

Classes in java.util used by org.multijava.relaxed.runtime
Collection
          JML's specification of java.util.Collection.
HashSet
          JML's specification of java.util.HashSet.
LinkedList
          JML's specification of java.util.LinkedList.
List
          JML's specification of java.util.List.
Map
          JML's specification of java.util.Map.
Set
          JML's specification of java.util.Set.
 

Classes in java.util used by org.multijava.relaxed.util
Vector
          JML's specification of java.util.Vector.
 

Classes in java.util used by org.multijava.util
ArrayList
          JML's specification of ArrayList.
Collection
          JML's specification of java.util.Collection.
HashMap
          JML's specification of java.util.HashMap.
Hashtable
          JML's specification of java.util.Hashtable.
LinkedHashSet
           
List
          JML's specification of java.util.List.
Set
          JML's specification of java.util.Set.
Stack
          JML's specification of Stack.
Vector
          JML's specification of java.util.Vector.
 

Classes in java.util used by org.multijava.util.backend
ArrayList
          JML's specification of ArrayList.
HashMap
          JML's specification of java.util.HashMap.
Hashtable
          JML's specification of java.util.Hashtable.
LinkedHashSet
           
Stack
          JML's specification of Stack.
 

Classes in java.util used by org.multijava.util.classfile
ArrayList
          JML's specification of ArrayList.
HashMap
          JML's specification of java.util.HashMap.
HashSet
          JML's specification of java.util.HashSet.
Hashtable
          JML's specification of java.util.Hashtable.
LinkedHashSet
           
LinkedList
          JML's specification of java.util.LinkedList.
ListIterator
          JML's specification of java.util.Iterator.
Stack
          JML's specification of Stack.
 

Classes in java.util used by org.multijava.util.compiler
ArrayList
          JML's specification of ArrayList.
Hashtable
          JML's specification of java.util.Hashtable.
 

Classes in java.util used by org.multijava.util.gui
EventListener
           
 

Classes in java.util used by org.multijava.util.guigen
ArrayList
          JML's specification of ArrayList.
 

Classes in java.util used by org.multijava.util.jperf
ArrayList
          JML's specification of ArrayList.
Hashtable
          JML's specification of java.util.Hashtable.
Random
           
 

Classes in java.util used by org.multijava.util.lexgen
HashMap
          JML's specification of java.util.HashMap.
Hashtable
          JML's specification of java.util.Hashtable.
LinkedHashSet
           
List
          JML's specification of java.util.List.
 

Classes in java.util used by org.multijava.util.msggen
Hashtable
          JML's specification of java.util.Hashtable.
 

Classes in java.util used by org.multijava.util.optgen
ArrayList
          JML's specification of ArrayList.
Hashtable
          JML's specification of java.util.Hashtable.
 

Classes in java.util used by org.multijava.util.optimize
HashMap
          JML's specification of java.util.HashMap.
Hashtable
          JML's specification of java.util.Hashtable.
LinkedHashSet
           
 

Classes in java.util used by org.multijava.util.testing
ArrayList
          JML's specification of ArrayList.
HashMap
          JML's specification of java.util.HashMap.
Hashtable
          JML's specification of java.util.Hashtable.
Iterator
          JML's specification of java.util.Iterator.
LinkedHashSet
           
 


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.