Uses of Class
java.util.HashSet

Packages that use HashSet

java.util	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
org.jmlspecs.ant.tasks
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.relaxed.runtime
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