|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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 |
public void setRootTerm(Term rootTerm)
Pre-condition: the walking context must be returned to the root Eraser.
rootTerm
- a root Term. May be null.
java.lang.IllegalStateException
- if the walking context is not returned
to the root Eraser.public Term getCurrentTerm()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |