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