// This file was generated by DAJ from SemanticChecking.trv.

import edu.neu.ccs.demeter.*;

public aspect SemanticChecking {
  public void Start.check2() {
    SemanticCheckingVisitor v = new SemanticCheckingVisitor();
    eachCompound(v);
  }
  /* strategy: eachCompound: from Start to Compound
     traversal:
Start set: [Start: {0}]
Nodes:
 Start: {0}
 Exp_List: {0}
 Exp: {0}
 java.lang.Object: {0}
 Compound: {0}
Edges:
 -> Start,exp_List,Exp_List: {0}
 -> Exp_List,elements,Exp: {0}
 => Exp,Compound: {0}
 -> Compound,exp_List,Exp_List: {0}
Finish set: [Compound: {0}]

  */
  void Start.eachCompound() {
    java.util.BitSet[] tokens = { new java.util.BitSet() };
    tokens[0].set(0);
    eachCompound(tokens);
  }
  void Start.eachCompound(java.util.BitSet[] tokens) {
    { java.util.BitSet[] newTokens = { new java.util.BitSet() };
      if (tokens[0].get(0)) {
        newTokens[0].set(0);
      }
       if (!newTokens[0].isEmpty())
        if (exp_List != null)
          eachCompound_crossing_exp_List(newTokens);
    }
   }
   void Start.eachCompound_crossing_exp_List(java.util.BitSet[] tokens) {
    this.exp_List.eachCompound(tokens);
  }
  void Exp_List.eachCompound(java.util.BitSet[] tokens) {
    { java.util.BitSet[] newTokens = { new java.util.BitSet() };
      if (tokens[0].get(0)) {
        newTokens[0].set(0);
      }
       if (!newTokens[0].isEmpty())
        for (java.util.Iterator it = iterator(); it.hasNext();)
          eachCompound_crossing_elements((Exp) it.next(), newTokens);
    }
   }
   void Exp_List.eachCompound_crossing_elements(Exp it, java.util.BitSet[] tokens) {
    it.eachCompound(tokens);
  }
  void Exp.eachCompound(java.util.BitSet[] tokens) {
  }
   void Compound.eachCompound(java.util.BitSet[] tokens) {
    { java.util.BitSet[] newTokens = { new java.util.BitSet() };
      if (tokens[0].get(0)) {
        newTokens[0].set(0);
      }
       if (tokens[0].get(0)) {
        newTokens[0].set(0);
      }
       if (!newTokens[0].isEmpty())
        if (exp_List != null)
          eachCompound_crossing_exp_List(newTokens);
    }
   }
   void Compound.eachCompound_crossing_exp_List(java.util.BitSet[] tokens) {
    this.exp_List.eachCompound(tokens);
  }
  void Start.eachCompound(SemanticCheckingVisitor v) {
    v.start();
    eachCompound();
    v.finish();
  }
  before(SemanticCheckingVisitor v, Compound host):
    execution(void eachCompound(java.util.BitSet[])) && target(host) &&
    cflow(execution(void eachCompound(SemanticCheckingVisitor)) && args(v))
  {
    v.before(host);
  }
} // SemanticChecking