Uses of Class
java.util.Hashtable

Packages that use Hashtable

java.lang	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.net	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.http
org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmldoc	The jmldoc tool documents java programs that contain JML (Java Modeling Language) annotations included as specially formatted comments; the generated html pages are very similar to those produced by javadoc, but with annotation information added.
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
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.runner
org.jmlspecs.samples.table	This package contains samples of JML specifications relating to tables.
org.jmlspecs.util.dis
org.multijava.dis
org.multijava.mjc	Implements mjc, a MultiJava compiler.
org.multijava.mjdoc	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
org.multijava.util.backend	Provides an optimizer for methods for the compilers in MultiJava and the Java Modeling Language.
org.multijava.util.classfile	Provides an editor for classfiles used by MultiJava and the Java Modeling Language.
org.multijava.util.compiler	Provides utilities and superclasses for the compilers in MultiJava and the Java Modeling Language.
org.multijava.util.jperf	Defines the perfect hashing function generator Package Specification JPerf is the perfect hashing function generator for the compilers in MultiJava and the Java Modeling Language.
org.multijava.util.lexgen	Provides a lexer for the compilers of MultiJava and the Java Modeling Language.
org.multijava.util.msggen	Implements the automatic generation of the data structure for all of the compiler messages in MultiJava and the Java Modeling Language.
org.multijava.util.optgen	Implements the automatic generation of the data structure for all of the command line options in MultiJava and the Java Modeling Language.
org.multijava.util.optimize	Provides an optimizer for classfiles used by MultiJava and the Java Modeling Language.
org.multijava.util.testing	Provides JUnit testing utilities for all of the parts of MultiJava and the Java Modeling Language.

Uses of Hashtable in java.lang

Fields in java.lang declared as Hashtable

private Hashtable

ClassLoader.package2certs

Uses of Hashtable in java.net

Fields in java.net declared as Hashtable

private static Hashtable

URLConnection.handlers

Uses of Hashtable in java.security

Subclasses of Hashtable in java.security

class

Provider

Uses of Hashtable in java.util

Subclasses of Hashtable in java.util

class

Properties

Fields in java.util declared as Hashtable

private static Hashtable	Calendar.cachedLocaleData
private static Hashtable	TimeZone.cachedLocaleData

Methods in java.util with parameters of type Hashtable

private void

Properties.enumerate(Hashtable)

Uses of Hashtable in javax.servlet.http

Methods in javax.servlet.http that return Hashtable

static Hashtable	HttpUtils.parseQueryString(String s) Deprecated.
static Hashtable	HttpUtils.parsePostData(int len, ServletInputStream in) Deprecated.

Uses of Hashtable in org.jmlspecs.checker

Methods in org.jmlspecs.checker that return Hashtable

Hashtable	JmlVersionOptions.getType()
Hashtable	JmlVersionOptions.getDefaultValue()
Hashtable	JmlVersionOptions.getCurrentValue()
Hashtable	JmlVersionOptions.getTableHeader()
Hashtable	JmlVersionOptions.getSelectionList()
Hashtable	JmlVersionOptions.getHelpString()
Hashtable	JmlVersionOptions.getGuiType()
Hashtable	JmlCommonOptions.getType()
Hashtable	JmlCommonOptions.getDefaultValue()
Hashtable	JmlCommonOptions.getCurrentValue()
Hashtable	JmlCommonOptions.getTableHeader()
Hashtable	JmlCommonOptions.getSelectionList()
Hashtable	JmlCommonOptions.getHelpString()
Hashtable	JmlCommonOptions.getGuiType()
Hashtable	JmlOptions.getType()
Hashtable	JmlOptions.getDefaultValue()
Hashtable	JmlOptions.getCurrentValue()
Hashtable	JmlOptions.getTableHeader()
Hashtable	JmlOptions.getSelectionList()
Hashtable	JmlOptions.getHelpString()
Hashtable	JmlOptions.getGuiType()

Uses of Hashtable in org.jmlspecs.jmldoc

Methods in org.jmlspecs.jmldoc that return Hashtable

Hashtable	JavadocOptions.getType()
Hashtable	JavadocOptions.getDefaultValue()
Hashtable	JavadocOptions.getCurrentValue()
Hashtable	JavadocOptions.getTableHeader()
Hashtable	JavadocOptions.getSelectionList()
Hashtable	JavadocOptions.getHelpString()
Hashtable	JavadocOptions.getGuiType()
Hashtable	JmldocOptions.getType()
Hashtable	JmldocOptions.getDefaultValue()
Hashtable	JmldocOptions.getCurrentValue()
Hashtable	JmldocOptions.getTableHeader()
Hashtable	JmldocOptions.getSelectionList()
Hashtable	JmldocOptions.getHelpString()
Hashtable	JmldocOptions.getGuiType()

Uses of Hashtable in org.jmlspecs.jmlrac

Methods in org.jmlspecs.jmlrac that return Hashtable

Hashtable	RacOptions.getType()
Hashtable	RacOptions.getDefaultValue()
Hashtable	RacOptions.getCurrentValue()
Hashtable	RacOptions.getTableHeader()
Hashtable	RacOptions.getSelectionList()
Hashtable	RacOptions.getHelpString()
Hashtable	RacOptions.getGuiType()

Uses of Hashtable in org.jmlspecs.jmlspec

Methods in org.jmlspecs.jmlspec that return Hashtable

Hashtable	JspOptions.getType()
Hashtable	JspOptions.getDefaultValue()
Hashtable	JspOptions.getCurrentValue()
Hashtable	JspOptions.getTableHeader()
Hashtable	JspOptions.getSelectionList()
Hashtable	JspOptions.getHelpString()
Hashtable	JspOptions.getGuiType()

Uses of Hashtable in org.jmlspecs.jmlunit

Methods in org.jmlspecs.jmlunit that return Hashtable

Hashtable	JntOptions.getType()
Hashtable	JntOptions.getDefaultValue()
Hashtable	JntOptions.getCurrentValue()
Hashtable	JntOptions.getTableHeader()
Hashtable	JntOptions.getSelectionList()
Hashtable	JntOptions.getHelpString()
Hashtable	JntOptions.getGuiType()

Uses of Hashtable in org.jmlspecs.racwrap.runner

Fields in org.jmlspecs.racwrap.runner declared as Hashtable

private Hashtable	BranchNode.children
private Hashtable	ChxClassLoader.classes
private Hashtable	ChxClassLoader.tree

Methods in org.jmlspecs.racwrap.runner with parameters of type Hashtable

private void	ChxClassLoader.populate(Hashtable lookupParent, Node nodeParent) The classloader does not use the Node directly, rather it creates a new tree based on the class tree.
void	ChxClassLoader.printTree(Hashtable parent, int level) prints the internal tree representation to stdout.

Uses of Hashtable in org.jmlspecs.samples.table

Fields in org.jmlspecs.samples.table declared as Hashtable

private Hashtable

TableImplementation.table The representation of this Table.

Uses of Hashtable in org.jmlspecs.util.dis

Methods in org.jmlspecs.util.dis that return Hashtable

Hashtable	JDisOptions.getType()
Hashtable	JDisOptions.getDefaultValue()
Hashtable	JDisOptions.getCurrentValue()
Hashtable	JDisOptions.getTableHeader()
Hashtable	JDisOptions.getSelectionList()
Hashtable	JDisOptions.getHelpString()
Hashtable	JDisOptions.getGuiType()

Uses of Hashtable in org.multijava.dis

Methods in org.multijava.dis that return Hashtable

Hashtable	DisOptions.getType()
Hashtable	DisOptions.getDefaultValue()
Hashtable	DisOptions.getCurrentValue()
Hashtable	DisOptions.getTableHeader()
Hashtable	DisOptions.getSelectionList()
Hashtable	DisOptions.getHelpString()
Hashtable	DisOptions.getGuiType()

Uses of Hashtable in org.multijava.mjc

Fields in org.multijava.mjc declared as Hashtable

private Hashtable	JCompilationUnit.allLoadedClasses Maps from identifiers (of type String) to class type singletons (of type CClassType).
private Hashtable	CSourceClass.outers
private Hashtable	CCompilationUnit.loadedClasses Maps from type names to classes.
private Hashtable	CSwitchBodyContext.labels
protected Hashtable	CMethodContext.labels
private Hashtable	CFieldTable.hashed

Methods in org.multijava.mjc that return Hashtable

private Hashtable	CSourceAmbiguousDispatcherClass.computeFields()
Hashtable	MjcCommonOptions.getType()
Hashtable	MjcCommonOptions.getDefaultValue()
Hashtable	MjcCommonOptions.getCurrentValue()
Hashtable	MjcCommonOptions.getTableHeader()
Hashtable	MjcCommonOptions.getSelectionList()
Hashtable	MjcCommonOptions.getHelpString()
Hashtable	MjcCommonOptions.getGuiType()
private Hashtable	CFieldTable.buildHash(CField[] array) Utility methods builds a hash table from the array of fields.
Hashtable	MjcOptions.getType()
Hashtable	MjcOptions.getDefaultValue()
Hashtable	MjcOptions.getCurrentValue()
Hashtable	MjcOptions.getTableHeader()
Hashtable	MjcOptions.getSelectionList()
Hashtable	MjcOptions.getHelpString()
Hashtable	MjcOptions.getGuiType()

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

void	CClass.setCheckedMembers(CField[] fields_A, Hashtable fields_H, CMethod[] protoMethods_A) Stores information on member signatures gathered during checkInterface pass prior to closing in the translateMJ pass.
void	CSourceClass.setCheckedMembers(Hashtable fields_H, CMethod[] protoMethods_A) Stores information on member signatures gathered during checkInterface pass prior to closing in the translateMJ pass.
void	CCompilationUnit.update(JClassOrGFImportType[] importedClasses, JClassOrGFImportType[] importedGFs, JPackageImportType[] importedPackages, Hashtable loadedClasses, CGFCollectionMap loadedGFCollections) Updates the compilation unit after completion of grouping open methods.

Constructors in org.multijava.mjc with parameters of type Hashtable

CFieldTable(CField[] array, Hashtable hashed)
Constructs a field table using one of array or hashed.

Uses of Hashtable in org.multijava.mjdoc

Methods in org.multijava.mjdoc that return Hashtable

Hashtable	JavadocOptions.getType()
Hashtable	JavadocOptions.getDefaultValue()
Hashtable	JavadocOptions.getCurrentValue()
Hashtable	JavadocOptions.getTableHeader()
Hashtable	JavadocOptions.getSelectionList()
Hashtable	JavadocOptions.getHelpString()
Hashtable	JavadocOptions.getGuiType()
Hashtable	MjdocOptions.getType()
Hashtable	MjdocOptions.getDefaultValue()
Hashtable	MjdocOptions.getCurrentValue()
Hashtable	MjdocOptions.getTableHeader()
Hashtable	MjdocOptions.getSelectionList()
Hashtable	MjdocOptions.getHelpString()
Hashtable	MjdocOptions.getGuiType()

Uses of Hashtable in org.multijava.util

Methods in org.multijava.util that return Hashtable

Hashtable	Options.getTableHeader() Returns the header for a table
Hashtable	Options.getType() Returns the type
Hashtable	Options.getDefaultValue() Returns the default value
Hashtable	Options.getCurrentValue() Returns the current value
Hashtable	Options.getSelectionList() Returns the list of selections for an option
Hashtable	Options.getHelpString() Returns the help messages
Hashtable	Options.getGuiType() Returns the GUI categories that this option is in

Uses of Hashtable in org.multijava.util.backend

Methods in org.multijava.util.backend that return Hashtable

Hashtable	BackendOptions.getType()
Hashtable	BackendOptions.getDefaultValue()
Hashtable	BackendOptions.getCurrentValue()
Hashtable	BackendOptions.getTableHeader()
Hashtable	BackendOptions.getSelectionList()
Hashtable	BackendOptions.getHelpString()
Hashtable	BackendOptions.getGuiType()

Uses of Hashtable in org.multijava.util.classfile

Fields in org.multijava.util.classfile declared as Hashtable

private Hashtable

ConstantPool.items

Methods in org.multijava.util.classfile that return Hashtable

Hashtable	ClassfileOptions.getType()
Hashtable	ClassfileOptions.getDefaultValue()
Hashtable	ClassfileOptions.getCurrentValue()
Hashtable	ClassfileOptions.getTableHeader()
Hashtable	ClassfileOptions.getSelectionList()
Hashtable	ClassfileOptions.getHelpString()
Hashtable	ClassfileOptions.getGuiType()
(package private) static Hashtable	Hashtables.getHashtable()

Methods in org.multijava.util.classfile with parameters of type Hashtable

(package private) static void

Hashtables.release(Hashtable arr)

Uses of Hashtable in org.multijava.util.compiler

Fields in org.multijava.util.compiler declared as Hashtable

private static Hashtable

CToken.table

Uses of Hashtable in org.multijava.util.jperf

Fields in org.multijava.util.jperf declared as Hashtable

private Hashtable	Node.adjacency Adjancency list of the node.
private Hashtable[]	Table.heads Variable holding all table heads for T1 and T2, respectively.

Uses of Hashtable in org.multijava.util.lexgen

Methods in org.multijava.util.lexgen that return Hashtable

Hashtable	LexgenOptions.getType()
Hashtable	LexgenOptions.getDefaultValue()
Hashtable	LexgenOptions.getCurrentValue()
Hashtable	LexgenOptions.getTableHeader()
Hashtable	LexgenOptions.getSelectionList()
Hashtable	LexgenOptions.getHelpString()
Hashtable	LexgenOptions.getGuiType()

Methods in org.multijava.util.lexgen with parameters of type Hashtable

int	DefinitionFile.checkIdentifiers(Hashtable identifiers, String prefix, int id) Check for duplicate identifiers
void	TokenDefinition.checkIdentifiers(Hashtable identifiers, String prefix, int id, String sourceFile) Check for duplicate identifiers

Uses of Hashtable in org.multijava.util.msggen

Methods in org.multijava.util.msggen with parameters of type Hashtable

void	DefinitionFile.checkIdentifiers(Hashtable identifiers) Check for duplicate identifiers
void	MessageDefinition.checkIdentifiers(Hashtable identifiers, String sourceFile) Checks for duplicate identifiers.

Uses of Hashtable in org.multijava.util.optgen

Methods in org.multijava.util.optgen with parameters of type Hashtable

void	DefinitionFile.checkIdentifiers(Hashtable identifiers) Check for duplicate identifiers
void	DefinitionFile.checkShortcuts(Hashtable identifiers) Check for duplicate identifiers
void	OptionDefinition.checkIdentifiers(Hashtable identifiers, String sourceFile) Check for duplicate identifiers
void	OptionDefinition.checkShortcuts(Hashtable shortcuts, String sourceFile) Check for duplicate identifiers

Uses of Hashtable in org.multijava.util.optimize

Methods in org.multijava.util.optimize that return Hashtable

Hashtable	OptimizeOptions.getType()
Hashtable	OptimizeOptions.getDefaultValue()
Hashtable	OptimizeOptions.getCurrentValue()
Hashtable	OptimizeOptions.getTableHeader()
Hashtable	OptimizeOptions.getSelectionList()
Hashtable	OptimizeOptions.getHelpString()
Hashtable	OptimizeOptions.getGuiType()

Uses of Hashtable in org.multijava.util.testing

Methods in org.multijava.util.testing that return Hashtable

Hashtable	TestingOptions.getType()
Hashtable	TestingOptions.getDefaultValue()
Hashtable	TestingOptions.getCurrentValue()
Hashtable	TestingOptions.getTableHeader()
Hashtable	TestingOptions.getSelectionList()
Hashtable	TestingOptions.getHelpString()
Hashtable	TestingOptions.getGuiType()