GNU Prolog for Java

gnu.prolog.io
Class TermWriter

java.lang.Object
  extended by java.io.Writer
      extended by java.io.PrintWriter
          extended by gnu.prolog.io.TermWriter
All Implemented Interfaces:
Closeable, Flushable, Appendable

public class TermWriter
extends PrintWriter

This class is intendent for printing terms.

Version:
0.0.1
Author:
Constantine A. Plotnikov.

Field Summary
protected static CompoundTermTag curly1Tag
           
protected static OperatorSet defaultOperatorSet
           
protected static WriteOptions defaultWriteOptions
           
protected static CompoundTermTag numbervarsTag
           
 
Fields inherited from class java.io.PrintWriter
out
 
Fields inherited from class java.io.Writer
lock
 
Constructor Summary
TermWriter(Writer w)
          create term writer over other writer.
 
Method Summary
protected static void appendQuotedChar(StringBuffer buf, char ch, char quote)
          append quoted char to string buffer.
protected  void displayAtom(WriteOptions options, AtomTerm atom)
          display atom.
protected  void displayCompound(WriteOptions options, int priority, CompoundTerm term)
          display compound term
protected  void displayFloat(WriteOptions options, FloatTerm term)
          display float term
protected  void displayInteger(WriteOptions options, IntegerTerm term)
          display integer term
protected  void displayJavaObject(WriteOptions options, JavaObjectTerm term)
           
protected  void displayList(WriteOptions options, CompoundTerm term)
          display list
protected  void displayTerm(WriteOptions options, int priority, Term term)
          display term
protected  void displayVariable(WriteOptions options, VariableTerm variable)
          display variable term
protected static String getSingleQuoted(String s)
          get single quoted string.
protected static boolean isAtomChar(char c)
          check if character is valid continuation of atom.
protected static boolean isAtomStartChar(char c)
          check if character is valid start of atom.
protected static boolean isGraphicsChar(char ch)
          check if character is graphics char.
protected static boolean isOperator(OperatorSet set, AtomTerm term)
           
protected static boolean isSoloChar(char c)
          check if character is solo char.
protected static boolean needBeQuoted(String s)
          check if the string is needed to be quoted .
 void print(OperatorSet opSet, Term term)
          print term using default write options and specified operator set
 void print(Term term)
          print term using default write options
 void print(WriteOptions options, Term term)
          print term using specified write options
static String toString(Term term)
          convert term passed as argument to string
static String toString(Term term, WriteOptions options)
          convert term passed as argument to string
 
Methods inherited from class java.io.PrintWriter
append, append, append, checkError, clearError, close, flush, format, format, print, print, print, print, print, print, print, print, print, printf, printf, println, println, println, println, println, println, println, println, println, println, setError, write, write, write, write, write
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

numbervarsTag

protected static final CompoundTermTag numbervarsTag

curly1Tag

protected static final CompoundTermTag curly1Tag

defaultOperatorSet

protected static final OperatorSet defaultOperatorSet

defaultWriteOptions

protected static final WriteOptions defaultWriteOptions
Constructor Detail

TermWriter

public TermWriter(Writer w)
create term writer over other writer.

Parameters:
w - underlying writer
Method Detail

toString

public static String toString(Term term)
convert term passed as argument to string

Parameters:
term - a term to convert
Returns:
String representation of the term

toString

public static String toString(Term term,
                              WriteOptions options)
convert term passed as argument to string

Parameters:
term - a term to convert
options - the WriteOptions to use for converting the term to a String
Returns:
String representation of the term

print

public void print(WriteOptions options,
                  Term term)
print term using specified write options

Parameters:
options - write options
term - term to print

print

public void print(Term term)
print term using default write options

Parameters:
term - term to print

print

public void print(OperatorSet opSet,
                  Term term)
print term using default write options and specified operator set

Parameters:
opSet - operator set to use
term - term to print

displayTerm

protected void displayTerm(WriteOptions options,
                           int priority,
                           Term term)
display term

Parameters:
options - current write options
priority - priority of nearest operation, this variable is only defined if ignoreOps is false.
term - term to write

displayCompound

protected void displayCompound(WriteOptions options,
                               int priority,
                               CompoundTerm term)
display compound term

Parameters:
options - current write options
priority - priority of nearest operation, this variable is only defined if ignoreOps is false.
term - compound term to write

displayList

protected void displayList(WriteOptions options,
                           CompoundTerm term)
display list

Parameters:
options - current write options
term - list term to write

displayFloat

protected void displayFloat(WriteOptions options,
                            FloatTerm term)
display float term

Parameters:
options - current write options
term - fload term to write

displayInteger

protected void displayInteger(WriteOptions options,
                              IntegerTerm term)
display integer term

Parameters:
options - current write options
term - integer term to write

displayVariable

protected void displayVariable(WriteOptions options,
                               VariableTerm variable)
display variable term

Parameters:
options - current write options
variable - variable to display

displayJavaObject

protected void displayJavaObject(WriteOptions options,
                                 JavaObjectTerm term)

isOperator

protected static boolean isOperator(OperatorSet set,
                                    AtomTerm term)

displayAtom

protected void displayAtom(WriteOptions options,
                           AtomTerm atom)
display atom.

Parameters:
options - current write options
atom - atom to display

getSingleQuoted

protected static String getSingleQuoted(String s)
get single quoted string.

Parameters:
s - string to quote
Returns:
single quoted string

needBeQuoted

protected static boolean needBeQuoted(String s)
check if the string is needed to be quoted .

Parameters:
s - string to test
Returns:
true if string need to quoted in displayq

isSoloChar

protected static boolean isSoloChar(char c)
check if character is solo char.

Parameters:
c - character to test
Returns:
true if character is solo char

isGraphicsChar

protected static boolean isGraphicsChar(char ch)
check if character is graphics char.

Parameters:
ch - character to test
Returns:
true if character is graphics char

isAtomStartChar

protected static boolean isAtomStartChar(char c)
check if character is valid start of atom.

Parameters:
c - character to test
Returns:
true if character is valid start of atom.

isAtomChar

protected static boolean isAtomChar(char c)
check if character is valid continuation of atom.

Parameters:
c - character to test
Returns:
true if character is valid continuation of atom.

appendQuotedChar

protected static void appendQuotedChar(StringBuffer buf,
                                       char ch,
                                       char quote)
append quoted char to string buffer.

Parameters:
buf - buffer to which character is added
ch - character to add
quote - a quote of string

GNU Prolog for Java