Robust/src/IR/Tree/FlagEffects.java

   1 package IR.Tree;
   2
   3 import IR.*;
   4 import java.util.*;
   5
   6 public class FlagEffects {
   7     Vector effects;
   8     String name;
   9
  10     public FlagEffects(String name) {
  11         this.name=name;
  12         effects=new Vector();
  13     }
  14
  15     public void addEffect(FlagEffect fe) {
  16         effects.add(fe);
  17     }
  18
  19     public String printNode(int indent) {
  20         String st=name+"(";
  21         for(int i=0;i<effects.size();i++) {
  22             FlagEffect fe=(FlagEffect)effects.get(i);
  23             st+=fe.printNode(0);
  24             if ((i+1)!=effects.size())
  25                 st+=",";
  26         }
  27         return st+")";
  28     }
  29 }