import edu.neu.ccs.demeter.dj.*;
import java.util.*;
import edu.neu.ccs.demeter.*;
 class Main {
  public Main() {
    super();
    }
  public static Main parse(java.io.Reader in) throws ParseException { return new Parser(in)._Main();   }
  public static Main parse(java.io.InputStream in) throws ParseException { return new Parser(in)._Main();   }
  public static Main parse(String s) {
    try { return parse(new java.io.StringReader(s)); }
    catch (ParseException e) {
      throw new RuntimeException(e.toString());
    }
    }
  
  	static final ClassGraph cg = new ClassGraph(true, false);
  	static final String FIDENT = "edu.neu.ccs.demeter.Ident";
  	static Cd_graph cd;

  	public static void main(String args[]) throws Exception {
    		cd = Cd_graph.parse(System.in);
    		System.out.println(" ----  CLASS GRAPH BEFORE FLATTENNING  ----");
    		cd.print();
    		System.out.println("\n Attempting the Flattenning Check \n");
    		cd.flatten();
    		System.out.println(" ----  CLASS GRAPH AFTER FLATTENNING  ----");
    		cd.print();
    		System.out.println();

/*    		System.out.println(" Attempting the Multiple & Cyclic Inheritance Check");
    		cd.cyclic_Mult_Inher_Check();  

    		System.out.println("Attempting the Terminal Buffer Check");
    		cd.TBR_Check();

    		System.out.println(" Attempting the Undefined Classes Check");
    		cd.Undef_Classes_Check();
*/
    		System.out.println(" Attempting the Unique Parts Check");
    		cd.unique_Parts_Check(); 
  	}

    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_);
  }

}