Uses of Class

Packages that use HashSet
java.util JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
org.jmlspecs.checker Contains the source code for a parser and typechecker for JML annotations and java code. 
org.jmlspecs.jmlrac Generates Java classes from JML specifications that check assertions at runtime. 
org.jmlspecs.jmlunit Generates JUnit test classes from JML specifications. 
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.samples.digraph This package contains samples of JML specifications for directed graphs. 
org.jmlspecs.samples.sets This package contains samples of JML specifications relating to sets. 
org.multijava.mjc Implements mjc, a MultiJava compiler. 
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.util.classfile Provides an editor for classfiles used by MultiJava and the Java Modeling Language

Uses of HashSet in java.util

Subclasses of HashSet in java.util
 class LinkedHashSet

Uses of HashSet in org.jmlspecs.ant.tasks

Fields in org.jmlspecs.ant.tasks declared as HashSet
private  HashSet AbstractFileSetTask._filesets

Uses of HashSet in org.jmlspecs.checker

Fields in org.jmlspecs.checker declared as HashSet
protected  HashSet Main.refinedFileSequenceSet
          Tracks the set of task sequence IDs for tasks spawned to process files refined by files on the main task sequence.
private  HashSet Main.commandLineFiles
          The set of files specified on the command line to be processed during the current session.
private static HashSet JmlTypeLoader.filesProcessed

Uses of HashSet in org.jmlspecs.jmlrac

Fields in org.jmlspecs.jmlrac declared as HashSet
private static HashSet TransUtils.excludedFromInheritance
          The set of types to be excluded, for specification inheritance, from making non-reflective calls to.
private static HashSet TransUtils.includedInInheritance
          The set of types to which non-reflective calls are made for specification inheritance.

Uses of HashSet in org.jmlspecs.jmlunit

Fields in org.jmlspecs.jmlunit declared as HashSet
private  HashSet JMLTestResult.auditors

Uses of HashSet in org.jmlspecs.models

Fields in org.jmlspecs.models declared as HashSet
private  HashSet JMLValueSet_JML_TestData.s1
          Helper test data

Uses of HashSet in org.jmlspecs.samples.digraph

Fields in org.jmlspecs.samples.digraph declared as HashSet
protected  HashSet Digraph.nodeSet
protected  HashSet Digraph.arcSet

Methods in org.jmlspecs.samples.digraph that return HashSet
protected  HashSet Digraph.reachSet(NodeType start)

Uses of HashSet in org.jmlspecs.samples.sets

Fields in org.jmlspecs.samples.sets declared as HashSet
private  HashSet IntegerSetAsHashSet.hset

Uses of HashSet in org.multijava.mjc

Subclasses of HashSet in org.multijava.mjc
(package private)  class JTypeDeclaration.PleomorphSet

Fields in org.multijava.mjc declared as HashSet
private static HashSet JCompilationUnit.PRIMITIVE_TYPES_SET
private static HashSet CTopLevel.pendingGFs
protected  HashSet Main.contextsCreated
          Stores all the compilation unit contexts created for this compiler and not yet disposed of.
private  HashSet Main.alreadyParsedSet
private  HashSet CClass.visibleNestedTypes
private  HashSet CClass.observerSet
          Stores the observers that are to be notified when #setCheckedMembers() is called.
private  HashSet CCompilationUnit.resolvedGFNames
          Tracks the names of the generic functions for which we have completed the package and import-on-demand search.
private  HashSet CCompilationUnit.visibleMethods
          Tracks the methods that are referenced within this.
private  HashSet CTryContext.throwables
          Tracks the exceptions that may be thrown inside this try-block.
protected  HashSet CMethodContext.throwables
private  HashSet CGenericFunctionCollection.Impl.augmentationCompleteSet
          The tracks the contexts for which the augmentations in this collection have been applied.

Uses of HashSet in org.multijava.mjdoc.mjdoc_142

Fields in org.multijava.mjdoc.mjdoc_142 declared as HashSet
private  HashSet MjRootDoc.specifiedPackagesHash

Uses of HashSet in org.multijava.relaxed.runtime

Methods in org.multijava.relaxed.runtime with parameters of type HashSet
protected  void RMJClassLoader.collectAbstractSignaturesAbove(Class cls, HashSet asigs)
protected  void RMJClassLoader.collectAbstractSignaturesOf(Class cls, HashSet asigs)

Uses of HashSet in org.multijava.util.classfile

Fields in org.multijava.util.classfile declared as HashSet
private  HashSet ZipClassDirectory.dirsInZip


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.