String getIdentifiableName() {
OJClass declarer = getDeclaringClass();
String declarername;
if (declarer == null) {
declarername = "*" + id;
} else {
declarername = declarer.getName();
}
return declarername + "." + getName();
}
public String toString() {
OJClass declarer = getDeclaringClass();
String declarername = (declarer == null) ? "*" : declarer.getName();
StringBuffer buf = new StringBuffer();
String modif = getModifiers().toString();
if (!modif.equals("")) {
buf.append(modif);
buf.append(" ");
}
buf.append(getType().getName());
buf.append(" ");
buf.append(declarername);
buf.append(".");
buf.append(getName());
return buf.toString();
}