|
|||||||||||
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 |