|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Object | +--org.xmloperator.lambda.translate.FromTermToNet
Translation of a Term into a lambda-net.
| Constructor Summary | |
FromTermToNet()
|
|
| Method Summary | |
static void |
translate(Term rootTerm,
Eraser rootEraser)
Translate a closed Term to a lambda-net. |
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
public FromTermToNet()
| Method Detail |
public static final void translate(Term rootTerm,
Eraser rootEraser)
Post-condition: all the Operators have the same mark.
Post-condition: there is no reducable interaction other than beta and the root Eraser.
rootTerm - a Term to translate.rootEraser - a starting root Eraser, whose mark will be copied.
org.xmloperator.lambda.tree.exception.MissingContextException - if the given Term is not closed.
java.lang.NullPointerException - if the given Term is broken.
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||