public abstract List inheritance();
private void addInheritance(Type t, List acc, Hashtable map) { if (t == null) { return; } List ti = t.inheritance(); for (int i = 0; i < ti.sz(); i++) { Type x = (Type)ti.get(i); if (map[x.qname()] == null) { map[x.qname()] = x; acc.add(x); } } }