public class HeadConnection extends Connection
Modifier and Type | Method and Description |
---|---|
int |
getEndIndex()
Method to determine the index of this HeadConnection on its ArcInst.
|
EPoint |
getLocation()
Method to return the location on this HeadConnection.
|
PortInst |
getPortInst()
Method to return the PortInst on this HeadConnection.
|
boolean |
isArrowed()
Method to tell whether this connection is arrowed.
|
boolean |
isExtended()
Method to tell whether this connection is extended.
|
boolean |
isNegated()
Method to tell whether this connection is negated.
|
void |
setArrowed(boolean state)
Method to set whether this connection is arrowed.
|
void |
setExtended(boolean e)
Method to set whether this connection is extended.
|
void |
setNegated(boolean negated)
Method to set whether this connection is negated.
|
java.lang.String |
toString()
Returns a printable version of this HeadConnection.
|
getArc
public PortInst getPortInst()
getPortInst
in class Connection
public EPoint getLocation()
getLocation
in class Connection
public boolean isArrowed()
isArrowed
in class Connection
public void setArrowed(boolean state)
setArrowed
in class Connection
state
- true to set that end of this arc to be arrowed.public boolean isExtended()
isExtended
in class Connection
public void setExtended(boolean e)
setExtended
in class Connection
e
- true to set that end of this arc to be extended.public boolean isNegated()
isNegated
in class Connection
public void setNegated(boolean negated)
setNegated
in class Connection
negated
- true if this connection is negated.public int getEndIndex()
getEndIndex
in class Connection
public java.lang.String toString()
toString
in class java.lang.Object