|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.xmloperator.lambda2.term.impl.TermImpl
org.xmloperator.lambda2.term.impl.VariableImpl
org.xmloperator.lambda2.net.impl.PortImpl
org.xmloperator.lambda2.net.impl.CellImpl
org.xmloperator.lambda2.net.impl.PentaryMultiplexorImpl
Multiplexor implementation.
Field Summary |
Fields inherited from interface org.xmloperator.lambda2.term.model.Term |
TYPE_ABSTRACTION, TYPE_APPLICATION, TYPE_VARIABLE |
Constructor Summary | |
PentaryMultiplexorImpl(boolean isAbstractionMultiplexor)
|
Method Summary | |
Cell |
cloneCell()
Clones this Cell and returns the clone. |
void |
collectPorts(Stack portStack)
Adds its ports to a given Stack. |
Port |
getBodyPort()
Returns the body Port of this (de-)multiplexor. |
Port |
getDuplicatorPort0()
Returns the Port of this (de-)multiplexor that maps to the Port 0 of a duplicator. |
Port |
getDuplicatorPort1()
Returns the Port of this (de-)multiplexor that maps to the Port 1 of a duplicator. |
Port |
getDuplicatorPort2()
Returns the Port of this (de-)multiplexor that maps to the Port 2 of a duplicator. |
Port |
getPort(int portNumber)
Returns the port with the given number. |
int |
getSymbol()
Returns the Symbol SYMBOL_* of this cell. |
int |
getSymbolArity()
Returns the symbol arity of this Cell. |
Port |
getVariablePort()
Returns the variable Port of this (de-)multiplexor. |
int |
interact()
Interacts with the opposite Cell. |
boolean |
isAbstractionMultiplexor()
Returns true if this cell is an abstraction multiplexor, false if it is an application de-multiplexor. |
boolean |
isPentaryMultiplexor()
Returns true if this Cell is a PentaryMultiplexor, i.e. an Abstractor or an Applicator. |
Methods inherited from class org.xmloperator.lambda2.net.impl.CellImpl |
getPrincipalPort, isBinaryCell, isDecoder, isEraser, isWireCell |
Methods inherited from class org.xmloperator.lambda2.net.impl.PortImpl |
connectTo, disconnect, getCell, getConnectedPort, getPortNumber, isConnected, isFree, isPrincipal |
Methods inherited from class org.xmloperator.lambda2.term.impl.VariableImpl |
getTermType, isVariable |
Methods inherited from class org.xmloperator.lambda2.term.impl.TermImpl |
buildAbstraction, buildAbstraction, buildAbstraction, buildApplication, buildApplication, freeVariables, isAbstraction, isApplication, toString, toText |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface org.xmloperator.lambda2.net.model.Cell |
getPrincipalPort, isBinaryCell, isDecoder, isEraser, isWireCell |
Methods inherited from interface org.xmloperator.lambda2.term.model.Term |
buildAbstraction, buildAbstraction, buildAbstraction, buildApplication, buildApplication, freeVariables, isAbstraction, isApplication, toText |
Constructor Detail |
public PentaryMultiplexorImpl(boolean isAbstractionMultiplexor)
Method Detail |
public final int getSymbol()
Cell
getSymbol
in interface Cell
public int getSymbolArity()
Cell
getSymbolArity
in interface Cell
public final boolean isPentaryMultiplexor()
Cell
isPentaryMultiplexor
in interface Cell
isPentaryMultiplexor
in class CellImpl
public Port getPort(int portNumber)
Cell
getPort
in interface Cell
portNumber
- 0 for the principal port, 1 to the symbol arity for the
auxiliary ports.
public void collectPorts(Stack portStack)
Cell
collectPorts
in interface Cell
collectPorts
in class CellImpl
public Cell cloneCell()
Cell
cloneCell
in interface Cell
public final int interact()
Cell
Pre-condition: the two cells must have their principal Ports connected and have their all auxiliary Ports connected.
interact
in interface Cell
public final boolean isAbstractionMultiplexor()
PentaryMultiplexor
isAbstractionMultiplexor
in interface PentaryMultiplexor
public final Port getBodyPort()
PentaryMultiplexor
getBodyPort
in interface PentaryMultiplexor
public final Port getVariablePort()
PentaryMultiplexor
getVariablePort
in interface PentaryMultiplexor
public final Port getDuplicatorPort0()
PentaryMultiplexor
getDuplicatorPort0
in interface PentaryMultiplexor
public final Port getDuplicatorPort1()
PentaryMultiplexor
getDuplicatorPort1
in interface PentaryMultiplexor
public final Port getDuplicatorPort2()
PentaryMultiplexor
getDuplicatorPort2
in interface PentaryMultiplexor
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |