Uses of Interface
java.util.Map

Packages that use Map

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.jmldoc.jmldoc_142
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions 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.racwrap
org.multijava.mjc	Implements mjc, a MultiJava compiler.
org.multijava.relaxed.runtime

Uses of Map in java.lang

Fields in java.lang declared as Map

private Map	ClassLoader.packageAssertionStatus
(package private) Map	ClassLoader.classAssertionStatus

Uses of Map in java.util

Subinterfaces of Map in java.util

interface

SortedMap

Classes in java.util that implement Map

class	AbstractMap
class	HashMap
class	Hashtable
class	Properties
class	TreeMap

Methods in java.util with parameters of type Map

void	AbstractMap.putAll(Map)
abstract void	Map.putAll(Map)
void	HashMap.putAll(Map)
(package private) void	HashMap.putAllForCreate(Map)
void	Hashtable.putAll(Map)
void	TreeMap.putAll(Map)

Constructors in java.util with parameters of type Map

HashMap(Map)

Hashtable(Map)

TreeMap(Map)

Uses of Map in org.jmlspecs.jmldoc.jmldoc_142

Fields in org.jmlspecs.jmldoc.jmldoc_142 declared as Map

(package private) Map

JmldocWrapper.map

Uses of Map in org.jmlspecs.jmlrac

Fields in org.jmlspecs.jmlrac declared as Map

private static Map	TransUtils.wrapperClasses Mapping from primitive types to their wrapper classes
private Map	Main.racFileMap Map from temp RAC file names to their original file names

Methods in org.jmlspecs.jmlrac that return Map

protected Map

Main.getFileMap() Accessor method to racFileMap.

Methods in org.jmlspecs.jmlrac with parameters of type Map

protected void

Main.setFileMap(Map map)

Uses of Map in org.jmlspecs.jmlrac.runtime

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

static Map	JMLSurrogate.methods The shared cache for dynamically looking up methods.
protected static Map	JMLChecker.coverage A map to hold information about coverage
private Map	JMLOldExpressionCache.cache Map for (key, value) pairs.

Uses of Map in org.jmlspecs.jmlspec

Fields in org.jmlspecs.jmlspec declared as Map

(package private) Map

Main.map Map of fully-qualified class names (/-separated) to the arrays of ASTs that hold the parsed versions of all of the refinement files.

Uses of Map in org.jmlspecs.jmlunit

Fields in org.jmlspecs.jmlunit declared as Map

private Map

TestClassGenerator.NameGenerator.names

Uses of Map in org.jmlspecs.racwrap

Fields in org.jmlspecs.racwrap declared as Map

private Map

Main.wrapMap maps directories to classes in that directory for which racwrap has generated files.

Uses of Map in org.multijava.mjc

Classes in org.multijava.mjc that implement Map

(package private) static class	CAugmentationMap.ContextMap
static class	CGFCollectionMap.SetMap

Fields in org.multijava.mjc declared as Map

private static Map	CTopLevel.gfCollSingletonMap Maps from qualified names to CGenericFunctionCollection singletons.
private Map	ParsingController.keyStreamBufferMap Maps keys to lexers and buffers
private static Map	Debug.metaDebugMap
private static Map	Debug.profileMap

Uses of Map in org.multijava.relaxed.runtime

Fields in org.multijava.relaxed.runtime declared as Map

protected Map	RMJClassLoader.loadedClassesAndInterfaces
protected Map	RMJClassLoader.topConcreteSubclassesMap
protected Map	RMJClassLoader.sigsRequiringCompletenessCheckingMap
protected Map	RMJClassLoader.signaturesMap
protected Map	RMJClassLoader.sigImplementationsMap
protected Map	RMJClassLoader.glueAnchorClassAnnotationsMap
protected Map	RMJClassLoader.unreachableSigsMap
protected Map	RMJClassLoader.loadedBaseAnchorSigsMap
protected Map	RMJClassLoader.loadedSubAnchorSigsMap
protected Map	RMJClassLoader.loadedGlueSigsMap
protected Map	RMJClassLoader.interfaceSpecializedSignaturesMap

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

protected void	RMJClassLoader.verifyNonAmbiguityAgainstAll(RMJSignature sig, Map loadedSigsMap, boolean isOld, List toBeLoaded, boolean onlyCheckIfHasIntSpec)
protected void	RMJClassLoader.registerNonAmbiguousSig(RMJSignature sig, Map loadedSigsMap)