Robust/src/Analysis/TaskStateAnalysis/TriggerState.java

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