Robust/src/Analysis/TaskStateAnalysis/Edge.java

   1 package Analysis.TaskStateAnalysis;
   2 import IR.*;
   3 import Analysis.TaskStateAnalysis.*;
   4 import IR.Tree.*;
   5 import IR.Flat.*;
   6 import java.util.*;
   7
   8 public class Edge
   9 {
  10         FlagState fs;
  11         String name;
  12
  13         public Edge(FlagState fs, String name)
  14         {
  15                 this.fs=fs;
  16                 this.name=name;
  17         }
  18
  19         public FlagState getState()
  20         {
  21                 return fs;
  22         }
  23
  24         public String getName()
  25         {
  26                 return name;
  27         }
  28
  29 }
  30