StringBuffer buf = new StringBuffer(); buf.append("[basicBlock="); buf.append(getBasicBlock().getId()); buf.append(", index="); buf.append(index); buf.append(']'); return buf.toString(); }
StringBuffer buf = new StringBuffer(); buf.append("[basicBlock="); buf.append(getBasicBlock().getId()); buf.append(", index="); buf.append(next != null ? "end" : String.valueOf(next.getPosition())); buf.append(']'); return buf.toString(); }
	public String toString() {	    StringBuffer buf = new StringBuffer();	    buf.append("[basicBlock=");	    buf.append(getBasicBlock().getId());	    buf.append(", index=");	    buf.append(index);	    buf.append(']');	    return buf.toString();	}