Dresden OCL Toolkit

tudresden.ocl.check
Class TypeEnvironment

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

class TypeEnvironment
extends Object


Field Summary
(package private)  HashMap map
           
 
Constructor Summary
(package private) TypeEnvironment()
           
(package private) TypeEnvironment(TypeEnvironment te)
           
 
Method Summary
 Type get(String var)
           
 Type put(String var, Type t)
           
 
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

TypeEnvironment

TypeEnvironment()

TypeEnvironment

TypeEnvironment(TypeEnvironment te)
Method Detail

put

public Type put(String var,
                Type t)

get

public Type get(String var)

Dresden OCL Toolkit

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