|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| 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 | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||