public String _toString() {
if (runtime == null) return StringUtil.lastSubstring(super.toString(), ".") + "," + "<orphan>";
else
return StringUtil.lastSubstring(super.toString(), ".")
+ "--"
+ state
+ (sleepOn == null || sleepOn == this
? ""
: " on "
+ sleepOn
+ (waitPack != null && waitPack.target != null ? "(waiting/locking)" : ""))
+ (state == State_SLEEPING ? " until " + wakeUpTime : "")
+ "--"
+ "context="
+ mainContext()
+ "--"
+ "next_task="
+ (nextTask != null ? nextTask.toString() : "<null>")
+ "--"
+ (currentContext == mainContext ? "" : "--currentContext=" + _currentContext())
+ (returnPort == null ? "" : "--return_port=" + returnPort)
+ (sendingPort == null ? "" : "--sending_port=" + sendingPort);
}
public String info(String prefix_) {
if (runtime == null)
return StringUtil.lastSubstring(prefix_ + super.toString(), ".") + "," + "<orphan>";
StringBuffer sb_ =
new StringBuffer(
prefix_
+ StringUtil.lastSubstring(super.toString(), ".")
+ ", "
+ state
+ (sleepOn == null || sleepOn == this
? ""
: " on "
+ sleepOn
+ (waitPack != null && waitPack.target != null ? "(waiting/locking)" : ""))
+ (state == State_SLEEPING ? " until " + wakeUpTime : "")
+ "\n"
+ prefix_
+ "Context="
+ mainContext()
+ (mainContext == null ? ", " : "\n" + prefix_)
+ "Next_Task="
+ (nextTask != null ? nextTask.toString() : "<null>")
+ "\n");
if (currentContext != mainContext)
sb_.append(prefix_ + "CurrentContext: " + _currentContext() + "\n");
if (returnPort != null) sb_.append(prefix_ + "return_port: " + returnPort + "\n");
if (sendingPort != null) sb_.append(prefix_ + "sending_port: " + sendingPort + "\n");
sb_.append(prefix_ + "Locks: " + locks());
sb_.append(prefix_ + "#arrivals: " + totalNumEvents + "\n");
sb_.append(prefix_ + "last_sleepOn: " + lastsleepon + "\n");
sb_.append(
prefix_
+ "last_wkUp_thread: "
+ (lastwakeupthread == null ? null : currentThread(lastwakeupthread))
+ "\n");
return sb_.toString();
}