Dresden OCL Toolkit

tudresden.ocl.check
Class NodeEnvironmentMap

java.lang.Object
  extended bytudresden.ocl.check.NodeEnvironmentMap

class NodeEnvironmentMap
extends Object


Field Summary
(package private)  HashMap map
           
 
Constructor Summary
(package private) NodeEnvironmentMap()
           
 
Method Summary
 boolean containsKey(Node n)
           
 TypeEnvironment get(Node n)
           
 TypeEnvironment put(Node n, TypeEnvironment te)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

map

HashMap map
Constructor Detail

NodeEnvironmentMap

NodeEnvironmentMap()
Method Detail

put

public TypeEnvironment put(Node n,
                           TypeEnvironment te)

get

public TypeEnvironment get(Node n)

containsKey

public boolean containsKey(Node n)

Dresden OCL Toolkit

Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.