final StringBuffer buf = new StringBuffer(); for (int i = 0; i < tos; i++) { if (i != 0) { buf.append(','); } buf.append('('); buf.append(stack[ i].getType()); buf.append(','); buf.append(stack[ i].getKind()); buf.append(')'); } return buf.toString(); }
final StringBuffer buf = new StringBuffer(); for (int i = 0; i < tos; i++) { if (i != 0) { buf.append(','); } buf.append('('); buf.append(stack[i].getType()); buf.append(','); buf.append(stack[i].getKind()); buf.append(')'); } buf.append("TOS"); return buf.toString(); }
    public String toString() {        final StringBuffer buf = new StringBuffer();        for (int i = 0; i < tos; i++) {            if (i != 0) {                buf.append(',');            }            buf.append('(');            buf.append(stack[ i].getType());            buf.append(',');            buf.append(stack[ i].getKind());            buf.append(')');        }        return buf.toString();    }