org.xmloperator.lambda.translate
Interface WalkingContextTranslater

All Superinterfaces:
WalkingContext

public interface WalkingContextTranslater
extends WalkingContext

Walking context with a translation capability.


Method Summary
 Term getCurrentTerm()
          Depending on the currently leaved Port, returns the following Term : Abstractor.Body -> Abstraction Abstractor.Bind -> EndOfSCope or Leaf Abstractor.Input -> Abstraction Applicator.Body -> Application Applicator.Argument -> Application Applicator.Input -> Application Delimitor.Principal -> null Delimitor.Auxiliary -> null Duplicator.Output -> null Duplicator.Input -> null Eraser.Port -> null
 void setRootTerm(Term rootTerm)
          Set the root Term.
 
Methods inherited from interface org.xmloperator.lambda.net.util.WalkingContext
executeStep, getCurrentPort, getEndOfScopeCount, getRootEraser, isReturnedToRoot, isWalkingForward, printTour, returnToRoot
 

Method Detail

setRootTerm

public void setRootTerm(Term rootTerm)
Set the root Term.

Pre-condition: the walking context must be returned to the root Eraser.

Parameters:
rootTerm - a root Term. May be null.
Throws:
java.lang.IllegalStateException - if the walking context is not returned to the root Eraser.

getCurrentTerm

public Term getCurrentTerm()
Depending on the currently leaved Port, returns the following Term :

Returns:
the Term that maps to the walking context or null if the root Term is null or if the current Operator is neither an Abstractor nor an Applicator.