|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--org.xmloperator.lambda.translate.FromNetToTerm
Translation from lambda-net to Term.
Constructor Summary | |
FromNetToTerm()
|
Method Summary | |
static void |
returnNetToFactory(Eraser rootEraser)
Returns a lambda-net to the factory. |
static Term |
translate(Eraser rootEraser,
TermFactory termFactory,
org.xmloperator.lambda.net.util.InteractionListener interactionListener)
Translate an interaction net to a Term. |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public FromNetToTerm()
Method Detail |
public static final Term translate(Eraser rootEraser, TermFactory termFactory, org.xmloperator.lambda.net.util.InteractionListener interactionListener)
Pre-conditions:
Post-condition: the net is consumed.
rootEraser
- a root Eraser.interactionListener
- an InteractionListener.
public static final void returnNetToFactory(Eraser rootEraser)
rootEraser
- a root Eraser.
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |