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