Main {
  public static void main(String[] argv) (@
    if( argv.length != 2){
      System.err.println("stubgen CONFIG_FILE DEFINITION_FILE");
      System.exit(1);
    }
    try {
      Registry registry = new Registry();

      // Parse the Config file
      FileInputStream file = new FileInputStream(argv[0]);
      Parser parser = new Parser(file);
      parser._Configuration(registry);

      // Parse the Definitions file
      file = new FileInputStream(argv[1]);
      parser = new Parser(file);
      parser._Definitions(registry);

      // Fix up Registry
      registry.registerEntitiesAsTypes();
      registry.fixupTypeUse();

      // Display Registry
      registry.display();

    }
    catch(ParseException e){
      System.out.println("Parse Error");
      System.out.println(e.getMessage());
      System.exit(1);
    }
    catch(FileNotFoundException e){
      System.out.println(e.getMessage());
      System.exit(1);
    }
  @)
}