public void convertPostfixOperator(final Writer buf, final IAST list, final PostfixOperator oper, final int precedence) throws IOException { if (oper.getPrecedence() < precedence) { buf.write("("); } convert(buf, list.get(1), oper.getPrecedence()); buf.write(oper.getOperatorString()); if (oper.getPrecedence() < precedence) { buf.write(")"); } }
public void convertPostfixOperator(final Appendable buf, final IAST list, final PostfixOperator oper, final int precedence) throws IOException { if (oper.getPrecedence() <= precedence) { append(buf, "("); } convert(buf, list.arg1(), oper.getPrecedence(), false); append(buf, oper.getOperatorString()); if (oper.getPrecedence() <= precedence) { append(buf, ")"); } }
public void convertPostfixOperator(final StringBuilder buf, final IAST list, final PostfixOperator oper, final int precedence) { tagStart(buf, "mrow"); if (oper.getPrecedence() <= precedence) { // append(buf, "("); tag(buf, "mo", "("); } convert(buf, list.arg1(), oper.getPrecedence(), false); // append(buf, oper.getOperatorString()); tag(buf, "mo", oper.getOperatorString()); if (oper.getPrecedence() <= precedence) { // append(buf, ")"); tag(buf, "mo", ")"); } tagEnd(buf, "mrow"); }