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

import edu.neu.ccs.demeter.*;

public aspect t2 {
  void Basket.t2(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 (f != null)
          t2_crossing_f(newTokens);
    }
  }
  void Basket.t2_crossing_f(java.util.BitSet[] tokens) {
    this.f.t2(tokens);
  }
  void Fruit.t2(java.util.BitSet[] tokens) {
  }
  void Orange.t2(java.util.BitSet[] tokens) {
  }
  before(java.util.BitSet[] tokens): call(void t2*(..)) && args(.., tokens) {
    System.out.println(thisJoinPoint + " " + java.util.Arrays.asList(tokens));
  }
  void Basket.t2() {
    java.util.BitSet[] tokens = { new java.util.BitSet() };
    tokens[0].set(0);
    t2(tokens);
  }
} // t2