|
|||||||||||
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.EraserCellImpl
Eraser implementation.
Field Summary |
Fields inherited from interface org.xmloperator.lambda2.term.model.Term |
TYPE_ABSTRACTION, TYPE_APPLICATION, TYPE_VARIABLE |
Constructor Summary | |
EraserCellImpl()
|
Method Summary | |
Cell |
cloneCell()
Clones this Cell and returns the clone. |
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. |
int |
interact()
Interacts with the opposite Cell. |
boolean |
isEraser()
Returns true if this Cell is an Eraser. |
Methods inherited from class org.xmloperator.lambda2.net.impl.CellImpl |
collectPorts, getPrincipalPort, isBinaryCell, isDecoder, 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 |
collectPorts, getPrincipalPort, isBinaryCell, isDecoder, isPentaryMultiplexor, isWireCell |
Methods inherited from interface org.xmloperator.lambda2.term.model.Term |
buildAbstraction, buildAbstraction, buildAbstraction, buildApplication, buildApplication, freeVariables, isAbstraction, isApplication, toText |
Constructor Detail |
public EraserCellImpl()
Method Detail |
public int getSymbol()
Cell
getSymbol
in interface Cell
public int getSymbolArity()
Cell
getSymbolArity
in interface Cell
public boolean isEraser()
Cell
isEraser
in interface Cell
isEraser
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 Cell cloneCell()
Cell
cloneCell
in interface Cell
public 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
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |