|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Object | +--org.xmloperator.lambda.tree.serialize.PrefixedSerializer
Prefixed Expression serializer designed for storage purpose but also convenient for a human reader.
--- Term syntax (API style)
Term ::= Leaf | EndOfScope | Abstraction | Application Leaf ::= 'v' EndOfScope ::= 'e' Term Abstraction ::= 'a' Term Application ::= 'c' Term Term
| Field Summary | |
static java.lang.String |
STYLE_API
|
static java.lang.String |
STYLE_SCOPE
|
| Constructor Summary | |
PrefixedSerializer()
|
|
PrefixedSerializer(java.lang.String style)
|
|
| Method Summary | |
static void |
main(java.lang.String[] args)
|
Term |
readTerm(java.io.Reader reader,
TermFactory termFactory)
Produces a Term from a previous serialization. |
static boolean |
test(java.io.PrintStream out,
boolean isVerbose)
Serializes in and out some terms. |
void |
underlineRedex(java.io.PrintWriter out,
Term rootTerm,
Application underlinedRedex)
Writes a string value that underline a redex. |
void |
underlineTerm(java.io.PrintWriter out,
Term rootTerm,
Term underlinedTerm)
Writes a string value that underline a sub-Term. |
void |
writeTerm(java.io.PrintWriter out,
Term rootTerm)
Writes a Term. |
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
public static final java.lang.String STYLE_API
public static final java.lang.String STYLE_SCOPE
| Constructor Detail |
public PrefixedSerializer()
public PrefixedSerializer(java.lang.String style)
| Method Detail |
public static void main(java.lang.String[] args)
public static boolean test(java.io.PrintStream out,
boolean isVerbose)
out - the PrintStream to print results. May be null.isVerbose - if true then all tests have to be displayed.
public void writeTerm(java.io.PrintWriter out,
Term rootTerm)
Serializer
writeTerm in interface Serializerout - a PrintWriter.rootTerm - a Term to write out.
public void underlineTerm(java.io.PrintWriter out,
Term rootTerm,
Term underlinedTerm)
Serializer
underlineTerm in interface Serializerout - a PrintWriter.rootTerm - a Term.underlinedTerm - a sub-Term to underline.
public void underlineRedex(java.io.PrintWriter out,
Term rootTerm,
Application underlinedRedex)
Serializer
underlineRedex in interface Serializerout - a PrintWriter.rootTerm - a Term.underlinedRedex - a redex to underline.
public Term readTerm(java.io.Reader reader,
TermFactory termFactory)
throws java.io.IOException
Serializer
readTerm in interface Serializerreader - a Reader.termFactory - the factory for building the Term.
java.io.IOException
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||