JML

org.multijava.mjc
Class CAugmentationMap

java.lang.Object
  extended byorg.multijava.util.Utils
      extended byorg.multijava.mjc.CAugmentationMap
All Implemented Interfaces:
Cloneable

public class CAugmentationMap
extends Utils

This class implements a function mapping from classes and contexts to method sets, CAugmentationMap: CClass x CContextType -> CMethodSet. It is used to store the set of methods augmenting a class in a given context. The map is stored as a member of a CClass instance and so directly maps contexts to methods sets.

See Also:
CClass, CCompilationUnitContextType, CMethodSet

Nested Class Summary
(package private) static class CAugmentationMap.ContextMap
           
 
Field Summary
private  CAugmentationMap.ContextMap backingMap
           
 
Fields inherited from class org.multijava.util.Utils
DBG_LEVEL_HIGH, DBG_LEVEL_LOW, DBG_LEVEL_NO
 
Constructor Summary
CAugmentationMap()
           
 
Method Summary
 void addMethod(CMethod m, CCompilationUnitContextType context)
           
 CMethodSet getAddedMethods(CCompilationUnitContextType context)
          Given a context, returns the corresponding set of external methods.
 
Methods inherited from class org.multijava.util.Utils
assertTrue, assertTrue, combineArrays, escapeString, escapeString, fail, fail, getFilePath, hasFlag, hasOtherFlags, parsePathParts, relativePathTo, splitQualifiedName, splitQualifiedName, stripJavaModifiers, stripNonJavaModifiers, stripPrivateModifier, unescapeString, vectorToArray, vectorToIntArray
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

backingMap

private CAugmentationMap.ContextMap backingMap
Constructor Detail

CAugmentationMap

public CAugmentationMap()
Method Detail

getAddedMethods

public CMethodSet getAddedMethods(CCompilationUnitContextType context)
Given a context, returns the corresponding set of external methods.

Parameters:
context - the context for which to find the method set
Returns:
the external methods

addMethod

public void addMethod(CMethod m,
                      CCompilationUnitContextType context)

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.