JML

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()
           
 


JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.