@Override public String kind() { return type.toString(); }
/** * Essentially this.toString().equals(o.toString()). **/ @Override public boolean equals(Object o) { if (o != null && o instanceof AClassType) { return toString().equals(o.toString()); } return false; }
protected String objRefString(ISchedulableThread thread) { try { ObjectValue obj = thread.getObject(); if (obj == null && objRef == null) { objRef = "nil"; if (thread instanceof InitThread) { clnm = "INIT"; objRef = getStaticId(clnm, cpuNumber).toString(); } else if (thread instanceof MainThread) { clnm = "ENTRY"; objRef = getStaticId(clnm, cpuNumber).toString(); } } else if (objRef == null) { objRef = "" + obj.objectReference; clnm = obj.type.toString(); } } catch (Exception e) { e.printStackTrace(); } return " objref: " + objRef + " clnm: \"" + clnm + "\""; }
sb.append(type.toString()); sb.append("{#" + objectReference);