util.graph
Class SignalEdge
java.lang.Object
|
+--util.graph.Edge
|
+--util.graph.SignalEdge
- All Implemented Interfaces:
- Cloneable, Serializable
- public class SignalEdge
- extends Edge
SignalEdge stores the source of a given signal when it is ownened. It is also
a multiple-owner edge: more than one person can be laying claim to it at a time
(as long as they are all content with the single signal on it)
- See Also:
- Serialized Form
SignalEdge
public SignalEdge(Object from,
String outPort,
Object to,
String inPort)
owners
public Collection owners()
- Return collection of owners (not original)
signal
public Object signal()
setSignal
public void setSignal(Object si)
cost
public int cost()
- Overrides:
cost
in class Edge
hasOwner
public boolean hasOwner(Object owner)
removeOwner
public boolean removeOwner(Object owner)
- Returns:
- false if no owner on the edge.
addOwner
public void addOwner(Object owner,
int inccost)
- Add owner to the set of owners. Add inccost to the current
cost.