Uses of Interface
java.util.Set

Packages that use Set

java.lang	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.util	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
javax.servlet
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.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.jmlunit	Generates JUnit test classes from JML specifications.
org.multijava.mjc	Implements mjc, a MultiJava compiler.
org.multijava.relaxed.runtime
org.multijava.util

Uses of Set in java.lang

Fields in java.lang declared as Set

private Set

ClassLoader.domains

Uses of Set in java.security

Fields in java.security declared as Set

private Set

Provider.entrySet

Methods in java.security that return Set

Set	Provider.entrySet()
Set	Provider.keySet()

Uses of Set in java.util

Subinterfaces of Set in java.util

interface

SortedSet JML's specification of java.util.SortedSet.

Classes in java.util that implement Set

class	AbstractSet JML's specification of java.util.AbstractSet.
class	HashSet JML's specification of java.util.HashSet.
class	LinkedHashSet
class	TreeSet JML's specification of java.util.TreeSet.

Fields in java.util declared as Set

(package private) Set

AbstractMap.keySet

Methods in java.util that return Set

abstract Set	Map.keySet()
abstract Set	Map.entrySet()
Set	Hashtable.keySet()
Set	Hashtable.entrySet()
Set	AbstractMap.keySet()
abstract Set	AbstractMap.entrySet()
Set	HashMap.keySet()
Set	HashMap.entrySet()
Set	TreeMap.keySet()
Set	TreeMap.entrySet()

Uses of Set in javax.servlet

Methods in javax.servlet that return Set

abstract Set

ServletContext.getResourcePaths(String path)

Uses of Set in org.jmlspecs.ant.tasks

Methods in org.jmlspecs.ant.tasks that return Set

Set	AbstractFileSetTask.getFileSets() Return the filesets of the AbstractFileSetTask

Uses of Set in org.jmlspecs.checker

Methods in org.jmlspecs.checker that return Set

Set	JmlMethodContext.throwables()

Uses of Set in org.jmlspecs.jmlrac

Fields in org.jmlspecs.jmlrac declared as Set

private Set	TransExpression.diagTerms
protected Set	TransType.modelMethods The set of model or spec_public field names whose access methods have alredy been generated.
private Set	TransPostcondition.QVarChecker.qvars
private Set	TransPostExpression2.QVarChecker.qvars

Methods in org.jmlspecs.jmlrac that return Set

private Set

TransClass.toSet(JFieldDeclarationType[] fdecls) Returns a set containing elements from the given array.

Uses of Set in org.jmlspecs.jmlrac.qexpr

Fields in org.jmlspecs.jmlrac.qexpr declared as Set

private Set

QInterval.CheckRecursion.xvars

Uses of Set in org.jmlspecs.jmlrac.runtime

Fields in org.jmlspecs.jmlrac.runtime declared as Set

protected static Set	JMLChecker.threadsBeingChecked Stores a flag per thread to turn assertion check on/off for every thread to avoid recursive assertion checking.
protected Set	JMLAssertionError.locations

Methods in org.jmlspecs.jmlrac.runtime that return Set

Set	JMLAssertionError.locations() Return the locations.

Constructors in org.jmlspecs.jmlrac.runtime with parameters of type Set

JMLPostconditionError(String className, String methodName, Set locations)
Creates a new instance.

JMLPostconditionError(String message, String className, String methodName, Set locations)
Creates a new JMLPreconditionError instance.

JMLExceptionalPostconditionError(String className, String methodName, Set locations)
Constructs a new instance.

JMLExceptionalPostconditionError(String message, String className, String methodName, Set locations)
Constructs a new instance.

JMLIntraconditionError(String message, String className, String methodName, Set locations)
Creates a new JMLIntraconditionError instance.

JMLAssumeError(String message, String className, String methodName, Set locations)
Creates a new JMLAssumeError instance.

JMLPreconditionError(String className, String methodName, Set locations)
Constructs a new instance.

JMLPreconditionError(String message, String className, String methodName, Set locations)
Constructs a new instance.

JMLEntryPreconditionError(String className, String methodName, Set locations)
Creates a new instance.

JMLEntryPreconditionError(String message, String className, String methodName, Set locations)
Creates a new instance.

JMLHistoryConstraintError(String className, String methodName, Set locations)
Creates a new JMLHistoryConstraintError instance.

JMLHistoryConstraintError(String message, String className, String methodName, Set locations)
Creates a new JMLHistoryConstraintError instance.

JMLAssertError(String message, String className, String methodName, Set locations)
Creates a new JMLAssertError instance.

JMLExitExceptionalPostconditionError(String className, String methodName, Set locations)
Constructs a new instance.

JMLExitExceptionalPostconditionError(String message, String className, String methodName, Set locations)
Constructs a new instance.

JMLUnreachableError(String message, String className, String methodName, Set locations)
Creates a new JMLUnreachableError instance.

JMLHenceByError(String message, String className, String methodName, Set locations)
Creates a new JMLHenceByError instance.

JMLLoopInvariantError(String message, String className, String methodName, Set locations)
Creates a new JMLLoopInvariantError instance.

JMLLoopVariantError(String message, String className, String methodName, Set locations)
Creates a new JMLLoopVariantError instance.

JMLNormalPostconditionError(String className, String methodName, Set locations)
Constructs a new instance.

JMLNormalPostconditionError(String message, String className, String methodName, Set locations)
Constructs a new instance.

JMLInvariantError(String className, String methodName, Set locations)
Creates a new JMLInvariantError instance.

JMLInvariantError(String message, String className, String methodName, Set locations)
Creates a new JMLInvariantError instance.

JMLExitNormalPostconditionError(String className, String methodName, Set locations)
Constructs a new instance.

JMLExitNormalPostconditionError(String message, String className, String methodName, Set locations)
Constructs a new instance.

JMLDebugError(String message, String className, String methodName, Set locations)
Creates a new JMLDebugError instance.

Uses of Set in org.jmlspecs.jmlunit

Fields in org.jmlspecs.jmlunit declared as Set

protected Set

TestClassGenerator.fixtureTypes

Uses of Set in org.multijava.mjc

Classes in org.multijava.mjc that implement Set

(package private) class

JTypeDeclaration.PleomorphSet

Fields in org.multijava.mjc declared as Set

protected Set	CClass.NoDupStrategy.already_searched
private Set	CMethodSet.methodIdents A set of the identifiers of methods present in this collection.
private Set	ParsingController.usedKeys The set of keys corresponding to lexers whose output are being discarded or have been bound to output token streams.
private Set	ParsingController.keysToDiscard The set of keys corresponding to lexers whose output are being discarded.

Methods in org.multijava.mjc that return Set

private Set	Main.currentlyParsingSetFor(File f) Returns the set of expected results for processing the given file.
abstract Set	CMethodContextType.throwables()
Set	CTryContext.throwables() Returns an immutable set representing the exceptions throwable within this context.
Set	CMethodContext.throwables()
(package private) Set	CGFCollectionMap.SetMap.getSet(String ident)

Methods in org.multijava.mjc with parameters of type Set

void	CMethod.setThrowables(Set throwables) Set the exceptions that may be thrown by this method.
void	CGFCollectionMap.registerAll(String ident, Set collSet) Adds a mapping from the given ident to each of the collections in the given set.

Uses of Set in org.multijava.relaxed.runtime

Methods in org.multijava.relaxed.runtime that return Set

static Set

RMJSignature.unloadedClassNames(RMJAnnotation.Method anno, RMJClassLoader loader)

Methods in org.multijava.relaxed.runtime with parameters of type Set

protected void

RMJClassLoader.registerUnreachableSignature(RMJAnnotation.Method anno, Set unloadedClassNames)

Constructors in org.multijava.relaxed.runtime with parameters of type Set

RMJUnreachableSignature(RMJAnnotation.Method anno, Set unloadedClasses)

Uses of Set in org.multijava.util

Fields in org.multijava.util declared as Set

private Set[]

TestDirectedAcyclicGraph.powerSet

Methods in org.multijava.util that return Set

private Set[]

TestDirectedAcyclicGraph.powerSet(String[] elts)