3 /* Edge *****************/
6 protected GraphNode target;
7 protected GraphNode source;
8 protected boolean processed = false;
11 protected String dotnodeparams = new String();
13 public Edge(GraphNode target) {
17 public String getLabel() {
21 public void setSource(GraphNode s) {
25 public GraphNode getSource() {
29 public GraphNode getTarget() {
33 public void setProcessed() {
37 public boolean isProcessed(){
41 public void setDotNodeParameters(String param) {
43 throw new NullPointerException();
45 if (dotnodeparams.length() > 0) {
46 dotnodeparams += "," + param;
48 dotnodeparams = param;