Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
G
get(int)
- Method in interface org.xmloperator.lambda.net.model.
PortStack
Return the Port at a given root relative index in the stack.
get(int)
- Method in interface org.xmloperator.lambda.net.model.
OperatorList
Return the Operator at a given index in the list.
getAbstractorList()
- Method in interface org.xmloperator.lambda.net.model.
ScopeBinder
Returns the list of duplicated Abstractors that are the target of this binding.
getArgument()
- Method in interface org.xmloperator.lambda.net.model.
Applicator
Returns its argument Port.
getArgument()
- Method in interface org.xmloperator.lambda.tree.model.
Application
Returns the argument Term of this Application.
getBind()
- Method in interface org.xmloperator.lambda.net.model.
Abstractor
Returns its bind Port.
getBindIndex()
- Method in interface org.xmloperator.lambda.net.model.
Walk
Returns the bind index of this Walk node.
getBody()
- Method in interface org.xmloperator.lambda.net.model.
Delimiter
Returns its body Port.
getBody()
- Method in interface org.xmloperator.lambda.net.model.
Applicator
Returns its body Port.
getBody()
- Method in interface org.xmloperator.lambda.net.model.
Abstractor
Returns its body Port.
getBody()
- Method in interface org.xmloperator.lambda.tree.model.
TermWithBody
Returns the body of this Term.
getConnectedPort()
- Method in interface org.xmloperator.lambda.net.model.
Port
Returns the connected Port if any, null elsewhere.
getCurrentPort()
- Method in interface org.xmloperator.lambda.net.util.
WalkingContext
Returns the currently leaved Port.
getCurrentTerm()
- Method in interface org.xmloperator.lambda.translate.
WalkingContextTranslater
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
getDelimiterList()
- Method in interface org.xmloperator.lambda.net.model.
ScopeBinder
Returns the list of duplicated Delimiters that are the source of this binding.
getEndOfScopeCount()
- Method in interface org.xmloperator.lambda.net.util.
WalkingContext
Returns the count of EndOfScope on a current bind Port.
getFactory()
- Method in interface org.xmloperator.lambda.net.model.
Operator
Returns the factory of this Operator, which can be used for building compatible Operators.
getFactory()
- Method in interface org.xmloperator.lambda.tree.model.
Term
Returns the factory of this Term, which can be used for building compatible Terms.
getFromTop(int)
- Method in interface org.xmloperator.lambda.net.model.
WalkStack
Return the Walk at a given top relative index in the stack.
getIndex()
- Method in interface org.xmloperator.lambda.net.model.
IndexedOperator
Returns the index of this Operator.
getInput()
- Method in interface org.xmloperator.lambda.net.model.
Delimiter
Returns its input Port (direction being not inversed).
getInput()
- Method in interface org.xmloperator.lambda.net.model.
Applicator
Returns its input Port.
getInput()
- Method in interface org.xmloperator.lambda.net.model.
Abstractor
Returns its input Port.
getInput1()
- Method in interface org.xmloperator.lambda.net.model.
Duplicator
Returns its first input Port (the direction being not inversed).
getInput2()
- Method in interface org.xmloperator.lambda.net.model.
Duplicator
Returns its second input Port (the direction being not inversed).
getMark()
- Method in interface org.xmloperator.lambda.net.model.
Operator
Operators can be marked for net traversal.
getNumber()
- Method in interface org.xmloperator.lambda.net.model.
Port
Returns the number of this Port.
getOperator()
- Method in interface org.xmloperator.lambda.net.model.
Port
Returns the Operator to which this Port belongs.
getOperatorType()
- Method in interface org.xmloperator.lambda.net.model.
Operator
Returns the type of this Operator.
getOutput()
- Method in interface org.xmloperator.lambda.net.model.
Duplicator
Returns its output Port (the direction being not inversed).
getParent()
- Method in interface org.xmloperator.lambda.tree.model.
Term
A Term may have a parent Term.
getPort()
- Method in interface org.xmloperator.lambda.net.model.
Eraser
Returns its Port.
getPort(int)
- Method in interface org.xmloperator.lambda.net.model.
Operator
Returns the Port of this Operator, with the given number.
getPort0()
- Method in interface org.xmloperator.lambda.net.model.
Operator
Returns the principal Port of this Operator or null if it doesn't exist.
getPort1()
- Method in interface org.xmloperator.lambda.net.model.
Operator
Returns the first auxiliary Port of this Operator or null if it doesn't exist.
getPort2()
- Method in interface org.xmloperator.lambda.net.model.
Operator
Returns the second auxiliary Port of this Operator or null if it doesn't exist.
getPortCount()
- Method in interface org.xmloperator.lambda.net.model.
Operator
Returns the count of ports of this Operator.
getPortType()
- Method in interface org.xmloperator.lambda.net.model.
Port
Returns the type of this Port.
getRootEraser()
- Method in interface org.xmloperator.lambda.net.util.
WalkingContext
Returns the interaction net rootEraser.
getScopeBinder()
- Method in interface org.xmloperator.lambda.net.model.
Delimiter
Returns the ScopeBinder attached to this Abstractor, if any.
getScopeBinder()
- Method in interface org.xmloperator.lambda.net.model.
Abstractor
Returns the ScopeBinder attached to this Abstractor.
getSize()
- Method in interface org.xmloperator.lambda.net.model.
WalkStack
Return the size of this stack.
getSize()
- Method in interface org.xmloperator.lambda.net.model.
PortStack
Returns the size of the stack.
getSize()
- Method in interface org.xmloperator.lambda.net.model.
OperatorList
Return the size of the list.
getSize()
- Method in interface org.xmloperator.lambda.tree.model.
TermStack
Returns the size of the stack.
getType()
- Method in interface org.xmloperator.lambda.tree.model.
Term
Returns the type of this term.
getWalkStack()
- Method in interface org.xmloperator.lambda.net.model.
Walk
Returns the WalkStack content of this Walk.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W