Class TermFormatter

java.lang.Object
org.projog.core.term.TermFormatter
public class TermFormatter extends Object
Produces String representations of Term instances.

Does take account of operator precedence.

See Also:

  • Constructor Details

    • TermFormatter

      public TermFormatter(Operands operands)

  • Method Details

    • formatTerm

      public String formatTerm(Term t)
      Returns a string representation of the specified Term.

      This method does take account of current operator declarations - thus an infix operator will be printed out between its arguments. This method represents lists as a comma separated sequence of elements enclosed in square brackets.

      For example: 

      Term structure = StructureFactory.createStructure("+", new IntegerNumber(1), new IntegerNumber(2));
Term list = ListFactory.create(new Term[]{new Atom("a"), Atom("b"), Atom("c")});
System.out.println("Structure.toString():      "+structure.toString());
System.out.println("Write.toString(structure): "+write.toString(structure));
System.out.println("List.toString():           "+list.toString());
System.out.println("Write.toString(list):      "+write.toString(list));
      would print out: 
      Structure.toString():      +(1, 2)
Write.toString(structure): 1 + 2
List.toString():           .(a, .(b, .(c, [])))
Write.toString(list):      [a,b,c]
      Parameters:
      t - the Term to represent as a string
      Returns:
      a string representation of the specified Term