org.xmloperator.lambda.translate
Class FromNetToTerm

java.lang.Object
  |
  +--org.xmloperator.lambda.translate.FromNetToTerm

public abstract class FromNetToTerm
extends java.lang.Object

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

FromNetToTerm

public FromNetToTerm()
Method Detail

translate

public static final Term translate(Eraser rootEraser,
                                   TermFactory termFactory,
                                   org.xmloperator.lambda.net.util.InteractionListener interactionListener)
Translate an interaction net to a Term.

Pre-conditions:

Post-condition: the net is consumed.

Parameters:
rootEraser - a root Eraser.
interactionListener - an InteractionListener.
Returns:
the resulting Term.

returnNetToFactory

public static final void returnNetToFactory(Eraser rootEraser)
Returns a lambda-net to the factory.

Parameters:
rootEraser - a root Eraser.