public void printInfoOn(Address threadAddr, PrintStream tty) { tty.print("Thread id: "); printThreadIDOn(threadAddr, tty); // tty.println("\nPostJavaState: " + getPostJavaState(threadAddr)); }
public void printThreadIDOn(Address addr, PrintStream tty) { tty.print(getThreadProxy(addr)); }