|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
Term serializer.
| Method Summary | |
Term |
readTerm(java.io.Reader in,
TermFactory termFactory)
Produces a Term from a previous serialization. |
void |
underlineRedex(java.io.PrintWriter out,
Term term,
Application underlinedRedex)
Writes a string value that underline a redex. |
void |
underlineTerm(java.io.PrintWriter out,
Term term,
Term underlinedTerm)
Writes a string value that underline a sub-Term. |
void |
writeTerm(java.io.PrintWriter out,
Term term)
Writes a Term. |
| Method Detail |
public void writeTerm(java.io.PrintWriter out,
Term term)
out - a PrintWriter.term - a Term to write out.
java.lang.NullPointerException - if the Term is broken.
public void underlineTerm(java.io.PrintWriter out,
Term term,
Term underlinedTerm)
throws java.lang.UnsupportedOperationException
out - a PrintWriter.term - a Term.underlinedTerm - a sub-Term to underline.
java.lang.NullPointerException - if the Expression is broken or if the
sub-term is null.
java.lang.UnsupportedOperationException - if this serializer doesn't support
this operation.
public void underlineRedex(java.io.PrintWriter out,
Term term,
Application underlinedRedex)
throws java.lang.UnsupportedOperationException
out - a PrintWriter.term - a Term.underlinedRedex - a redex to underline.
java.lang.NullPointerException - if the Expression is broken or if the redex
is null.
java.lang.UnsupportedOperationException - if this serializer doesn't support
this operation.
public Term readTerm(java.io.Reader in,
TermFactory termFactory)
throws java.io.IOException
in - a Reader.termFactory - the factory for building the Term.
java.lang.IllegalArgumentException - if the given TermFactory or the given
Reader is null.
ParsingException - if no Term can be build.
java.io.IOException
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||