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); }