| 
 | GNU Prolog for Java | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectjava.io.Writer
java.io.PrintWriter
gnu.prolog.io.TermWriter
public class TermWriter
This class is intendent for printing terms.
| 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 | 
|---|
protected static final CompoundTermTag numbervarsTag
protected static final CompoundTermTag curly1Tag
protected static final OperatorSet defaultOperatorSet
protected static final WriteOptions defaultWriteOptions
| Constructor Detail | 
|---|
public TermWriter(Writer w)
w - underlying writer| Method Detail | 
|---|
public static String toString(Term term)
term - a term to convert
public static String toString(Term term,
                              WriteOptions options)
term - a term to convertoptions - the WriteOptions to use for converting the term to a String
public void print(WriteOptions options,
                  Term term)
options - write optionsterm - term to printpublic void print(Term term)
term - term to print
public void print(OperatorSet opSet,
                  Term term)
opSet - operator set to useterm - term to print
protected void displayTerm(WriteOptions options,
                           int priority,
                           Term term)
options - current write optionspriority - priority of nearest operation, this variable is only defined if
          ignoreOps is false.term - term to write
protected void displayCompound(WriteOptions options,
                               int priority,
                               CompoundTerm term)
options - current write optionspriority - priority of nearest operation, this variable is only defined if
          ignoreOps is false.term - compound term to write
protected void displayList(WriteOptions options,
                           CompoundTerm term)
options - current write optionsterm - list term to write
protected void displayFloat(WriteOptions options,
                            FloatTerm term)
options - current write optionsterm - fload term to write
protected void displayInteger(WriteOptions options,
                              IntegerTerm term)
options - current write optionsterm - integer term to write
protected void displayVariable(WriteOptions options,
                               VariableTerm variable)
options - current write optionsvariable - variable to display
protected void displayJavaObject(WriteOptions options,
                                 JavaObjectTerm term)
protected static boolean isOperator(OperatorSet set,
                                    AtomTerm term)
protected void displayAtom(WriteOptions options,
                           AtomTerm atom)
options - current write optionsatom - atom to displayprotected static String getSingleQuoted(String s)
s - string to quote
protected static boolean needBeQuoted(String s)
s - string to test
protected static boolean isSoloChar(char c)
c - character to test
protected static boolean isGraphicsChar(char ch)
ch - character to test
protected static boolean isAtomStartChar(char c)
c - character to test
protected static boolean isAtomChar(char c)
c - character to test
protected static void appendQuotedChar(StringBuffer buf,
                                       char ch,
                                       char quote)
buf - buffer to which character is addedch - character to addquote - a quote of string| 
 | GNU Prolog for Java | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||