ix.util.match
Class MatchEnv
java.lang.Object
|
+--java.util.AbstractMap
|
+--java.util.HashMap
|
+--ix.util.match.MatchEnv
- All Implemented Interfaces:
- java.lang.Cloneable, java.util.Map, java.io.Serializable
- public class MatchEnv
- extends java.util.HashMap
A root class for objects that contain the bindings that result
from pattern-matching.
MatchEnvs are not used automatically in MatchTable-based matching;
they are merely available in case they are useful. For instance, a
MatchCase tryMatch method might construct a MatchEnv while matching
and return it if the match succeeds. It would then be passed to
the MatchCase's ifSelected method by the MatchTable.
- See Also:
MatchTable
,
MatchCase
, Serialized Form
Inner classes inherited from class java.util.Map |
java.util.Map.Entry |
Methods inherited from class java.util.HashMap |
, capacity, clear, clone, containsKey, containsValue, entrySet, get, isEmpty, keySet, loadFactor, put, putAll, remove, size, values |
Methods inherited from class java.util.AbstractMap |
equals, hashCode, toString |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface java.util.Map |
equals, hashCode |
MatchEnv
public MatchEnv()
MatchEnv
public MatchEnv(java.util.Map t)
checkedPut
public java.lang.Object checkedPut(java.lang.Object key,
java.lang.Object value)
instantiateTree
public java.lang.Object instantiateTree(java.lang.Object tree)
instantiateTree
public java.lang.Object instantiateTree(java.lang.Object tree,
Function1 ifUnbound)