org.projog.core.term

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:

formatTerm(Term)

Constructor Summary

Constructors

Constructor and Description
TermFormatter(Operands operands)

Method Summary

Modifier and Type	Method and Description
String	formatTerm(Term t) Returns a string representation of the specified Term.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TermFormatter

public TermFormatter(Operands operands)

Method Detail

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 = Structure.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