View Javadoc

1   /*
2    * Copyright (c) 2005, The K-Wf Grid Consortium
3    * Fraunhofer Institute for Computer Architecture and Software Technology
4    * See http://www.kwfgrid.eu and http://www.first.fraunhofer.de for more details.
5    */
6   package net.kwfgrid.gwui.graphview;
7   
8   import de.fzi.wim.guibase.graphview.graph.Node;
9   
10  import net.kwfgrid.gworkflowdl.structure.Edge;
11  
12  /***
13     A graph edge representing a petri net arc pointing from a place to a transition.
14   */
15  public class InEdge extends ArcEdge {
16      public InEdge(PlaceNode from, TransitionNode to, Edge e) {
17  	super(from, to, e);
18      }
19  
20      public PlaceNode getPlace() {
21  	return (PlaceNode)getFrom();
22      }
23      
24      public TransitionNode getTransition() {
25  	return (TransitionNode)getTo();
26      }
27  
28      public String toString() {
29  	return 
30  	    (getFrom()==null?"x":((PlaceNode)getFrom()).getPlace().getID())+
31  	    " --> "+
32  	    (getTo()==null?"x":((TransitionNode)getTo()).getTransition().getID());
33      }
34  }