/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * This file is part of SableCC.                             * * See the file "LICENSE" for copyright information and the  * * terms and conditions for copying, distribution and        * * modification of SableCC.                                  * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */package org.sablecc.sablecc;import java.util.*;public class TypedTreeMap extends TreeMap{  private Cast keyCast;  private Cast valueCast;  private Set entries;  public TypedTreeMap()  {    super();    keyCast = NoCast.instance;    valueCast = NoCast.instance;  }  public TypedTreeMap(Comparator comparator)  {    super(comparator);    keyCast = NoCast.instance;    valueCast = NoCast.instance;  }  public TypedTreeMap(Map map)  {    super(map);    keyCast = NoCast.instance;    valueCast = NoCast.instance;  }  public TypedTreeMap(SortedMap smap)  {    super(smap);    keyCast = NoCast.instance;    valueCast = NoCast.instance;  }  public TypedTreeMap(Cast keyCast, Cast valueCast)  {    super();    this.keyCast = keyCast;    this.valueCast = valueCast;  }  public TypedTreeMap(Comparator comparator, Cast keyCast, Cast valueCast)  {    super(comparator);    this.keyCast = keyCast;    this.valueCast = valueCast;  }  public Object clone()  {    return new TypedTreeMap(this, keyCast, valueCast);  }  public TypedTreeMap(Map map, Cast keyCast, Cast valueCast)  {    super();    this.keyCast = keyCast;    this.valueCast = valueCast;    Iterator entryIter = map.entrySet().iterator();    while (entryIter.hasNext())    {      Map.Entry entry = (Map.Entry) entryIter.next();      this.put(entry.getKey(),entry.getValue());    }  }  public TypedTreeMap(SortedMap smap, Cast keyCast, Cast valueCast)  {    super(smap.comparator());    this.keyCast = keyCast;    this.valueCast = valueCast;    Iterator entryIter = smap.entrySet().iterator();    while (entryIter.hasNext())    {      Map.Entry entry = (Map.Entry) entryIter.next();      this.put(entry.getKey(),entry.getValue());    }  }  public Cast getKeyCast()  {    return keyCast;  }  public Cast getValueCast()  {    return valueCast;  }  public Set entrySet()  {    if(entries == null)    {      entries = new EntrySet(super.entrySet());    }    return entries;  }  public Object put(Object key, Object value)  {    return super.put(keyCast.cast(key), valueCast.cast(value));  }  private class EntrySet extends AbstractSet  {    private Set set      ;    EntrySet(Set set              )    {      this.set = set                   ;    }    public int size()    {      return set.size();    }    public Iterator iterator()    {      return new EntryIterator(set.iterator());    }  }  private class EntryIterator implements Iterator  {    private Iterator iterator;    EntryIterator(Iterator iterator)    {      this.iterator = iterator;    }    public boolean hasNext()    {      return iterator.hasNext();    }    public Object next()    {      return new TypedEntry((Map.Entry) iterator.next());    }    public void remove      ()    {      iterator.remove();    }  }  private class TypedEntry implements Map.Entry  {    private Map.Entry entry;    TypedEntry(Map.Entry entry)    {      this.entry = entry;    }    public Object getKey()    {      return entry.getKey();    }    public Object getValue()    {      return entry.getValue();    }    public Object setValue(Object value)    {      return entry.setValue(valueCast.cast(value));    }  }}