---

Edge.java

package gov.nasa.arc.ase.util.graph;

import java.io.PrintStream;

public class Edge {
  private Node source;
  private Node next;
  private String guard;
  private String action;
  private Attributes attributes;

  public Edge(Edge e)                           { init(e.source, e.next, new String(e.guard), new String(e.action), new Attributes(e.attributes)); }  
  public Edge(Edge e, Node n)                       { init(e.source, n, new String(e.guard), new String(e.action), new Attributes(e.attributes)); }  
  public Edge(Node s, Edge e)                       { init(s, e.next, new String(e.guard), new String(e.action), new Attributes(e.attributes)); }  
  public Edge(Node s, Node n)                       { init(s, n, "-", "-", null); }  
  public Edge(Node s, Node n, String g)             { init(s, n, g, "-", null); }  
  public Edge(Node s, Node n, String g, String a)           { init(s, n, g, a, null); }  
  public Edge(Node s, Node n, String g, String a, Attributes as)    { init(s, n, g, a, as); }  
  public String getAction() { return action; }  
  public Attributes getAttributes() { return attributes; }  
  public boolean getBooleanAttribute(String name) { return attributes.getBoolean(name); }  
  public String getGuard() { return guard; }  
  public int getIntAttribute(String name) { return attributes.getInt(name); }  
  public Node getNext() { return next; }  
  public Node getSource() { return source; }  
  public String getStringAttribute(String name) { return attributes.getString(name); }  
  private void init(Node s, Node n, String g, String a, Attributes as) {
    source = s;
    next = n;
    guard = g;
    action = a;
    if(as == null)
      attributes = new Attributes();
    else
      attributes = as;

    s.addOutgoingEdge(this);
    n.addIncomingEdge(this);
  }  
  synchronized public void remove() {
    source.removeOutgoingEdge(this);
    next.removeIncomingEdge(this);
  }  
  void save(PrintStream out, int format) {
    switch(format) {
      case Graph.SM_FORMAT: save_sm(out); break;
      case Graph.FSP_FORMAT: save_fsp(out); break;
    }
  }  
  // Modified by ckong - Sept 7, 2001
  private void save_fsp(PrintStream out) {
    String g;
    String accs = "";
    
    if(guard.equals("-"))
      g = "TRUE";
    else
      g = guard;

    int nsets = source.getGraph().getIntAttribute("nsets");
    if(nsets == 0) {
      if(getBooleanAttribute("accepting"))
    accs = "@";
    } else {
      boolean first = true;
      StringBuffer sb = new StringBuffer();

      for(int i = 0; i < nsets; i++)
    if(getBooleanAttribute("acc"+i)) {
      if(first)
        first = false;
      else
        sb.append(",");
      sb.append(i);
    }
      if(!first)
    accs = "{" + sb.toString() + "}";
    }
    
    //System.out.print(g + " -" + accs + "-> S" + next.getId());
    out.print(g + " -" + accs + "-> S" + next.getId());
  }  
  private void save_sm(PrintStream out) {
    out.print("    "); out.println(next.getId());
    out.print("    "); out.println(guard);
    out.print("    "); out.println(action);
    out.print("    "); out.println(attributes);
  }  
  synchronized public void setAttributes(Attributes a) {
    attributes = new Attributes(a);
  }  
  public void setBooleanAttribute(String name, boolean value) { attributes.setBoolean(name, value); }  
  public void setIntAttribute(String name, int value) { attributes.setInt(name, value); }  
  public void setStringAttribute(String name, String value) { attributes.setString(name, value); }  
}

---