public java.util.Enumeration gen(Object o) {
MClass c = (MClass) o;
Vector specs = new Vector(c.getSpecializations());
if (specs == null) {
return EnumerationEmpty.theInstance();
}
// TODO: it would be nice to have a EnumerationXform
// and a Functor object in uci.util
Vector specClasses = new Vector(specs.size());
java.util.Enumeration enum = specs.elements();
while (enum.hasMoreElements()) {
MGeneralization g = (MGeneralization) enum.nextElement();
MGeneralizableElement ge = g.getChild();
// assert: ge != null
if (ge != null) specClasses.addElement(ge);
}
return specClasses.elements();
}
