|
|||||||||||
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
Port implementation. In the mapping with terms, a Port is a Variable.
Field Summary |
Fields inherited from interface org.xmloperator.lambda2.term.model.Term |
TYPE_ABSTRACTION, TYPE_APPLICATION, TYPE_VARIABLE |
Constructor Summary | |
PortImpl()
Free port constructor. |
|
PortImpl(CellImpl cell,
int portNumber)
Cell port constructor. |
Method Summary | |
void |
connectTo(Port port)
Connects this Port to another Port. |
void |
disconnect()
Disconnects this Port. |
Cell |
getCell()
Returns the Cell to which this port belongs to or null if this Port is free. |
Port |
getConnectedPort()
Returns the Port to which this one is connected or null if it is not connected. |
int |
getPortNumber()
Returns the number of this port. |
boolean |
isConnected()
Returns true if this Port is connected, false elsewhere. |
boolean |
isFree()
Returns true if this Port is free, i.e. if it doesn't belong to a Cell. |
boolean |
isPrincipal()
Returns true if this Port is principal, false elsewhere. |
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.term.model.Term |
buildAbstraction, buildAbstraction, buildAbstraction, buildApplication, buildApplication, freeVariables, isAbstraction, isApplication, toText |
Constructor Detail |
public PortImpl()
public PortImpl(CellImpl cell, int portNumber)
cell
- a Cell.Method Detail |
public final Cell getCell()
Port
getCell
in interface Port
public final boolean isFree()
Port
isFree
in interface Port
public final int getPortNumber()
Port
getPortNumber
in interface Port
public final boolean isPrincipal()
Port
isPrincipal
in interface Port
public final Port getConnectedPort()
Port
getConnectedPort
in interface Port
public final boolean isConnected()
Port
isConnected
in interface Port
public final void connectTo(Port port)
Port
connectTo
in interface Port
port
- another Port.public final void disconnect()
Port
Post-condition: connectedPort == null.
disconnect
in interface Port
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |