|
|||||||||||
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.BinaryCellImpl
BinaryCell implementation.
Field Summary |
Fields inherited from interface org.xmloperator.lambda2.term.model.Term |
TYPE_ABSTRACTION, TYPE_APPLICATION, TYPE_VARIABLE |
Constructor Summary | |
BinaryCellImpl(boolean isDuplicator)
|
Method Summary | |
void |
changeToDuplicator()
Changes this cell to a duplicator (if it is a constructor). |
Cell |
cloneCell()
Clones this Cell and returns the clone. |
void |
collectPorts(Stack portStack)
Adds its ports to a given Stack. |
Port |
getPort(int portNumber)
Returns the port with the given number. |
Port |
getPort1()
Returns the first auxiliary Port of this Cell. |
Port |
getPort2()
Returns the second auxiliary Port of this Cell. |
int |
getSymbol()
Returns the Symbol SYMBOL_* of this cell. |
int |
getSymbolArity()
Returns the symbol arity of this Cell. |
int |
interact()
Interacts with the opposite Cell. |
boolean |
isBinaryCell()
Returns true if this Cell is a binaryCell, i.e. a constructor or a duplicator. |
boolean |
isDuplicator()
Returns true if this cell is a duplicator, false if this is a constructor. |
Methods inherited from class org.xmloperator.lambda2.net.impl.CellImpl |
getPrincipalPort, isDecoder, isEraser, isPentaryMultiplexor, 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, isDecoder, isEraser, isPentaryMultiplexor, isWireCell |
Methods inherited from interface org.xmloperator.lambda2.term.model.Term |
buildAbstraction, buildAbstraction, buildAbstraction, buildApplication, buildApplication, freeVariables, isAbstraction, isApplication, toText |
Constructor Detail |
public BinaryCellImpl(boolean isDuplicator)
Method Detail |
public final int getSymbol()
Cell
getSymbol
in interface Cell
public int getSymbolArity()
Cell
getSymbolArity
in interface Cell
public final boolean isBinaryCell()
Cell
isBinaryCell
in interface Cell
isBinaryCell
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 Port getPort1()
BinaryCell
getPort1
in interface BinaryCell
public final Port getPort2()
BinaryCell
getPort2
in interface BinaryCell
public final boolean isDuplicator()
BinaryCell
isDuplicator
in interface BinaryCell
public final void changeToDuplicator()
BinaryCell
changeToDuplicator
in interface BinaryCell
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |