public String toString() {
if (type != null) {
return type + "(" + id + ")";
}
if (this == ClassHierarchy.v().TOP) {
return "TOP" + "(" + id + ")";
}
if (this == ClassHierarchy.v().R0_1) {
return "R0_1" + "(" + id + ")";
}
if (this == ClassHierarchy.v().R0_127) {
return "R0_127" + "(" + id + ")";
}
if (this == ClassHierarchy.v().R0_32767) {
return "R0_32767" + "(" + id + ")";
}
return "ERROR!!!!";
}
public TypeNode lca_2(TypeNode typeNode) {
return ClassHierarchy.v().lca_2(id, typeNode.id);
}
public boolean hasAncestor_2(TypeNode typeNode) {
if (typeNode == this) return true;
return ClassHierarchy.v().hasAncestor_2(id, typeNode.id);
}
public TypeNode gcd_1(TypeNode typeNode) {
return ClassHierarchy.v().gcd_1(id, typeNode.id);
}