9 Vector quantifiers = new Vector();
10 boolean isstatic = false;
11 boolean isdelay = false;
13 Inclusion inclusion = null;
14 SymbolTable st = new SymbolTable();
22 label = new String("rule" + count++);
29 public String getLabel() {
33 public void setStatic(boolean val) {
37 public void setDelay(boolean val) {
41 public void addQuantifier(Quantifier q) {
42 quantifiers.addElement(q);
45 public ListIterator quantifiers() {
46 return quantifiers.listIterator();
49 public void setGuardExpr(Expr guard) {
53 public Expr getGuardExpr() {
57 public void setInclusion(Inclusion inclusion) {
58 this.inclusion = inclusion;
61 public Inclusion getInclusion() {
65 public SymbolTable getSymbolTable() {
69 public Set getQuantifierDescriptors() {
71 HashSet topdescriptors = new HashSet();
73 for (int i = 0; i < quantifiers.size(); i++) {
74 Quantifier q = (Quantifier) quantifiers.elementAt(i);
75 topdescriptors.addAll(q.getRequiredDescriptors());
78 return SetDescriptor.expand(topdescriptors);
82 public Set getRequiredDescriptors() {
84 HashSet topdescriptors = new HashSet();
86 for (int i = 0; i < quantifiers.size(); i++) {
87 Quantifier q = (Quantifier) quantifiers.elementAt(i);
88 topdescriptors.addAll(q.getRequiredDescriptors());
92 topdescriptors.addAll(guard.getRequiredDescriptors());
94 assert inclusion != null;
95 topdescriptors.addAll(inclusion.getRequiredDescriptors());
97 return SetDescriptor.expand(topdescriptors);