ix.util.match
Class MatchEnv

java.lang.Object
  |
  +--java.util.Dictionary
        |
        +--java.util.Hashtable
              |
              +--ix.util.match.MatchEnv

All Implemented Interfaces:

java.lang.Cloneable, java.util.Map, java.io.Serializable

public class MatchEnv

extends java.util.Hashtable

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

Constructor Summary

MatchEnv()

Method Summary

java.lang.Object	instantiateTree(java.lang.Object tree)
java.lang.Object	instantiateTree(java.lang.Object tree, Function1 ifUnbound)

Methods inherited from class java.util.Hashtable

, clear, clone, contains, containsKey, containsValue, elements, entrySet, equals, get, hashCode, isEmpty, keys, keySet, put, putAll, rehash, remove, size, toString, values

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

MatchEnv

public MatchEnv()

Method Detail

instantiateTree

public java.lang.Object instantiateTree(java.lang.Object tree)

instantiateTree

public java.lang.Object instantiateTree(java.lang.Object tree,
                                        Function1 ifUnbound)