import edu.neu.ccs.demeter.dj.*;
import java.lang.*;
import java.util.*;
import edu.neu.ccs.demeter.*;
 class CollectVisitor extends Visitor {
  public CollectVisitor() {
    super();
    }
  public static CollectVisitor parse(java.io.Reader in) throws ParseException { return new Parser(in)._CollectVisitor();   }
  public static CollectVisitor parse(java.io.InputStream in) throws ParseException { return new Parser(in)._CollectVisitor();   }
  public static CollectVisitor parse(String s) {
    try { return parse(new java.io.StringReader(s)); }
    catch (ParseException e) {
      throw new RuntimeException(e.toString());
    }
    }
  
  private Any_vertex_List commonList;
  private Term_Bar_list barList;
  FlattenCheckVisitor fcv = new FlattenCheckVisitor();
  public static final Strategy sCdGraphAdj = 
  new Strategy("from Cd_graph to Adjacency");
  TraversalGraph tg = new TraversalGraph(sCdGraphAdj, Main.cg1);

  void before(Alternat_ns host) {
    commonList = host.get_construct_ns();
    barList = host.get_alternat_ns();
    fcv.setCommonList(commonList);
    if(!commonList.isEmpty()) { 
      fcv.setBarList(barList);  
      tg.traverse(Main.m, fcv);
    }
    while (!commonList.isEmpty())
      commonList.nextElement();   
  }
  

    void universal_trv0_bef(UniversalVisitor _v_) {
    ((UniversalVisitor) _v_).before(this);
  }

    void universal_trv0_aft(UniversalVisitor _v_) {
    ((UniversalVisitor) _v_).after(this);
  }

    void universal_trv0(UniversalVisitor _v_) {
    universal_trv0_bef(_v_);
    universal_trv0_aft(_v_);
  }

}