JML

org.multijava.mjc
Class CAugmentationMap.ContextMap

java.lang.Object
  extended byjava.util.AbstractMap
      extended byjava.util.HashMap
          extended byorg.multijava.mjc.CAugmentationMap.ContextMap
All Implemented Interfaces:
Cloneable, Map, Serializable
Enclosing class:
CAugmentationMap

static class CAugmentationMap.ContextMap
extends HashMap


Nested Class Summary
 
Nested classes inherited from class java.util.HashMap
 
Nested classes inherited from class java.util.AbstractMap
AbstractMap.SimpleEntry, AbstractMap.SimpleImmutableEntry
 
Field Summary
 
Fields inherited from class java.util.HashMap
 
Fields inherited from class java.util.AbstractMap
 
Constructor Summary
(package private) CAugmentationMap.ContextMap()
           
 
Method Summary
(package private)  void addMethodSet(CCompilationUnitContextType context, CMethodSet m)
           
(package private)  CMethodSet getMethodSet(CCompilationUnitContextType context)
           
 
Methods inherited from class java.util.HashMap
clear, clone, containsKey, containsValue, entrySet, get, isEmpty, keySet, put, putAll, remove, size, values
 
Methods inherited from class java.util.AbstractMap
equals, hashCode, toString
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.util.Map
equals, hashCode
 

Constructor Detail

CAugmentationMap.ContextMap

CAugmentationMap.ContextMap()
Method Detail

getMethodSet

CMethodSet getMethodSet(CCompilationUnitContextType context)

addMethodSet

void addMethodSet(CCompilationUnitContextType context,
                  CMethodSet m)

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.