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.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.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

Methods in java.lang with parameters of type Set

private Field[]

Class.privateGetPublicFields(Set)

Uses of Set in java.util

Subinterfaces of Set in java.util

interface

SortedSet

Classes in java.util that implement Set

class	AbstractSet
class	HashSet
class	LinkedHashSet
class	TreeSet

Fields in java.util declared as Set

(package private) Set	AbstractMap.keySet
private Set	HashMap.entrySet
private Set	Hashtable.keySet
private Set	Hashtable.entrySet
private Set	TreeSet.keySet
private Set	TreeMap.entrySet

Methods in java.util that return Set

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

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

protected Set	TransType.modelMethods The set of model or spec_public field names whose access methods have alredy been generated.
private Set	TransExpression.diagTerms The set of diagnostic terms.
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 Set	JMLAssertionError.locations The locations (strings of the form: "file_name:line_num:column_num") of the violated assertion.
protected static Set	JMLChecker.threadsBeingChecked Stores a flag per thread to turn assertion check on/off for every thread to avoid recursive assertion checking.

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

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

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

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

JMLDebugError(String message, String className, String methodName, Set locations)
Creates a new JMLDebugError 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.

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.

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

JMLExitExceptionalPostconditionError(String message, String className, String methodName, Set locations)
Constructs a new 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.

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

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

JMLHenceByError(String message, String className, String methodName, Set locations)
Creates a new JMLHenceByError 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.

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.

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.

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

Uses of Set in org.jmlspecs.jmlunit

Fields in org.jmlspecs.jmlunit declared as Set

protected Set

TestClassGenerator.fixtureTypes The set of fixture types.

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)