@Override public void visit(final ATermAppl term) { super.visit(term); }
public void print(final PrintWriter out) { printText(out); }
/** * @param row * @deprecated Use {@link #add(List)} instead */ @Deprecated public void addRow(final List<?> row) { add(row); }
@Test public void testSelf() { final StringWriter s = new StringWriter(); final ATermRenderer r = new ATermManchesterSyntaxRenderer(); r.setWriter(new PrintWriter(s)); final ATermAppl p = term("p"); r.visit(self(p)); final String expected = "(p Self)"; final String actual = s.toString(); assertEquals(expected, actual); }
public void print(final OutputStream writer) { print(new PrintWriter(writer)); }
public void sort(final String colName) { sort(_colNames.indexOf(colName)); }
@Override public void visitOr(final ATermAppl term) { _out.print("("); visitList((ATermList) term.getArgument(0), "or"); _out.print(")"); }
@Override public void visitList(final ATermList list) { for (final ATerm term : list) visit((ATermAppl) term); } }
public void print(final PrintWriter out) { printText(out); }
/** * @param row * @deprecated Use {@link #add(List)} instead */ @Deprecated public void addRow(final List<?> row) { add(row); }
public void print(final OutputStream writer) { print(new PrintWriter(writer)); }
public void sort(final String colName) { sort(_colNames.indexOf(colName)); }
@Override public void visit(final ATermAppl term) { super.visit(term); }
public void print(final Writer writer) { printText(writer); }
@Override public void visitList(final ATermList list) { for (final ATerm term : list) visit((ATermAppl) term); } }
public void print(final Writer writer) { printText(writer); }
@Override public void visit(final ATermAppl term) { if (term.equals(ATermUtils.TOP) || term.equals(ATermUtils.BOTTOM) || term.equals(ATermUtils.TOP_LIT) || term.equals(ATermUtils.BOTTOM_LIT)) return; super.visit(term); }
@Override public String toString() { final StringWriter sw = new StringWriter(); printText(sw); return sw.toString(); } }
@Override public void visit(final ATermAppl term) { if (term.equals(ATermUtils.TOP) || term.equals(ATermUtils.BOTTOM) || term.equals(ATermUtils.TOP_LIT) || term.equals(ATermUtils.BOTTOM_LIT)) return; super.visit(term); }
@Override public String toString() { final StringWriter sw = new StringWriter(); printText(sw); return sw.toString(); } }