|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Context for walking in a lambda-net exactly like traversing the read-back tree. The lambda-net is supposed to be invariant (no interaction) during walking.
Method Summary | |
void |
executeStep()
Depending on the Port connected to the currently leaved Port, executes the following transition : Abstractor.Input -> Body (forward) Abstractor.Body -> Input (backward) Abstractor.Bind -> Bind (forward -> backward) Applicator.Input -> Body (forward) Applicator.Body -> Argument (backward -> forward) Applicator.Argument -> Input (backward) Delimitor.Principal -> Auxiliary (forward or backward) Delimitor.Auxiliary -> Principal (forward or backward) Duplicator.Input -> Output (forward or backward) Duplicator.Output -> Input directored by context (forward or backward) Eraser.Port -> Port (backward -> forward) |
Port |
getCurrentPort()
Returns the currently leaved Port. |
int |
getEndOfScopeCount()
Returns the count of EndOfScope on a current bind Port. |
Eraser |
getRootEraser()
Returns the interaction net rootEraser. |
boolean |
isReturnedToRoot()
Returns (currentPort.getOperator() == rootEraser). |
boolean |
isWalkingForward()
Returns true if going forward, i.e. to bind. |
void |
printTour(java.io.PrintStream out)
Executes a complete cycle and print each step in a readable fation. |
void |
returnToRoot()
Returns to the root Eraser. |
Method Detail |
public Eraser getRootEraser()
public Port getCurrentPort()
public int getEndOfScopeCount()
java.lang.IllegalStateException
- if the current Port is not a bind Port.public boolean isWalkingForward()
public void executeStep()
org.xmloperator.lambda.tree.exception.IncorrectTermException
- in case of WalkingContextTranslater, if the given root Term
doesn't map to the lambda-net.public boolean isReturnedToRoot()
public void returnToRoot()
Post-condition: (currentPort == rootEraser.port).
public void printTour(java.io.PrintStream out)
out
- a PrintStream.
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |