tudresden.ocl.check
Class TypeEnvironment
java.lang.Object
tudresden.ocl.check.TypeEnvironment
- class TypeEnvironment
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
map
HashMap map
TypeEnvironment
TypeEnvironment()
TypeEnvironment
TypeEnvironment(TypeEnvironment te)
put
public Type put(String var,
Type t)
get
public Type get(String var)
Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.