|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectvanted.petrinetelements.AbstractArc
public abstract class AbstractArc
The Class AbstractArc is the abstract class for arc handling.
Constructor Summary | |
---|---|
AbstractArc(org.graffiti.graph.Edge edge)
Instantiates a new abstract arc. |
|
AbstractArc(Place place,
Transition transition,
org.graffiti.graph.Edge edge)
Instantiates a new abstract arc. |
|
AbstractArc(Transition transition,
Place place,
org.graffiti.graph.Edge edge)
Instantiates a new abstract arc. |
Method Summary | |
---|---|
void |
addArcWeight(ArcWeight arcWeight)
Adds the object ArcWeight to the ArcWeightAttribute. |
void |
addDraw(DrawingEdge draw)
Adds the object DrawingEdge to the DrawingEdgeAttribute. |
void |
addExpression(Expression expression)
Adds the expression. |
ArcWeight |
getArcWeight()
Gets the object ArcWeight which contains an object with the arc-weight. |
DrawingEdge |
getDraw()
Gets the object DrawingEdge which contains a String with a label. |
org.graffiti.graph.Edge |
getEdge()
Gets the edge. |
java.util.List<org.graffiti.graph.Edge> |
getEdges()
Gets the edges. |
java.util.List<Expression> |
getExpressions()
Gets the expressions. |
long |
getID()
Gets the iD. |
Place |
getPlace()
Gets the place. |
Transition |
getTransition()
Gets the transition. |
int |
hashCode()
|
void |
removeAllExpressions()
Removes all the expressions. |
void |
removeArcWeight()
Removes the object ArcWeight which contains an object with the arc-weight and the ArcWeightAttribute. |
void |
removeDraw()
Removes the object DrawingEdge which contains a String with a label and the DrawingEdgeAttribute. |
void |
removeExpression(Expression expression)
Removes the expression. |
void |
setEdge(org.graffiti.graph.Edge edge)
Sets the edge. |
void |
setPlace(Place place)
Sets the place. |
void |
setTransition(Transition transition)
Sets the transition. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public AbstractArc(org.graffiti.graph.Edge edge)
edge
- the edgepublic AbstractArc(Place place, Transition transition, org.graffiti.graph.Edge edge)
place
- the placetransition
- the transitionedge
- the edgepublic AbstractArc(Transition transition, Place place, org.graffiti.graph.Edge edge)
transition
- the transitionplace
- the placeedge
- the edgeMethod Detail |
---|
public long getID()
public Place getPlace()
public Transition getTransition()
public void setTransition(Transition transition)
transition
- the new transitionpublic void setPlace(Place place)
place
- the new placepublic org.graffiti.graph.Edge getEdge()
public java.util.List<org.graffiti.graph.Edge> getEdges()
public void setEdge(org.graffiti.graph.Edge edge)
edge
- the new edgepublic int hashCode()
hashCode
in class java.lang.Object
public void addExpression(Expression expression)
expression
- the expressionpublic void removeExpression(Expression expression)
expression
- the expressionpublic void removeAllExpressions()
public java.util.List<Expression> getExpressions()
public void addArcWeight(ArcWeight arcWeight)
arcWeight
- the arc weightpublic void removeArcWeight()
public ArcWeight getArcWeight()
public void addDraw(DrawingEdge draw)
draw
- the drawpublic void removeDraw()
public DrawingEdge getDraw()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |