Main {
{{
  public static boolean debug = false;
  public static Cd_graph c;
  public static void main(String args[]) throws Exception {

    System.out.println("Running the class dictionary checker...");
    
    /* Parse in the input */
    c = Cd_graph.parse(System.in);

    ClassGraph cg = new ClassGraph(true,false);

    /* Create the HashSet of defined classes */
    c.findDefinedClasses(cg);

    /* Check for multiple inheritance */
    /* Will die on failure because inheritance
	 cycle assumes single inheritance. */
    c.enforceSingleInheritance(cg);

    /* Check for inheritance cycles */
    /* Will die on failure because Class 
	Dictionary cannot be flattened. */
    c.checkInheritanceCycle(cg);
    
    /* Flatten the Class Dictionary 
	   for TBR and Unique Parts check */
    c.flatten(cg);

    /* Check for unique part names */
    c.checkUniquePartNames(cg);
   
    /* Enforce the terminal buffer rule and 
	   check for undefined parts */
    c.validateParts(cg);
    
  }
}}
}