// semcheck.beh
//
// This file defines the main class and entry point to our semantic checker.
// It creates a semantic checker object and instructs it to do its work.

Main {
  {{
    // define some paths used here for convenience
    static String FClassGraph = " edu.neu.ccs.demeter.aplib.cd.ClassGraph ";
    static String FClassParts = " edu.neu.ccs.demeter.aplib.cd.ClassParts ";
    static String FClassName = " edu.neu.ccs.demeter.aplib.cd.ClassName ";
    static String FIdent = " edu.neu.ccs.demeter.Ident ";
  }}

  public static void main(String args[]) throws Exception {{
    // parse the aspectfile input and extract the two components
    AspectFile af = AspectFile.parse(System.in);
    ClassDictionaryAspect cda = af.get_cdAspect();
    TraversalAspect ta = af.get_tAspect();

    // create a new SemanticChecker, provide it with the two components,
    // and do the checking
    SemanticChecker sc = new SemanticChecker();
	sc.generate(cda, ta);
    sc.check();
  }}
}