public static void frontEndInitialize(SpecObj spec,PrintStream syserr) throws InitException {
  String fileName=spec.getFileName();
  Errors initErrors=spec.initErrors;
  try {
    Configuration.ReInit();
    Context.reInit();
    Configuration.load(initErrors);
    BuiltInLevel.load();
    if (!initErrors.isSuccess()) {
      syserr.println("*** Errors during initialization of SANY:\n");
      syserr.print(initErrors);
      spec.errorLevel=1;
      throw new InitException();
    }
  }
 catch (  Exception e) {
    syserr.println("Unexpected exception during SANY initialization " + fileName + "\n"+ e);
    syserr.println("Initialization errors detected before " + "the unexpected exception:\n");
    syserr.print(initErrors);
    spec.errorLevel=1;
    throw new InitException();
  }
  return;
}

public static void frontEndInitialize ( SpecObj spec , PrintStream syserr ) throws InitException { String fileName = spec . getFileName ( ) ; Errors initErrors = spec . initErrors ; try { Configuration . ReInit ( ) ; Context . reInit ( ) ; Configuration . load ( initErrors ) ; BuiltInLevel . load ( ) ; if ( ! initErrors . isSuccess ( ) ) { syserr . println ( "*** Errors during initialization of SANY:\n" ) ; syserr . print ( initErrors ) ; spec . errorLevel = 1 ; throw new InitException ( ) ; } } catch ( Exception e ) { syserr . println ( "Unexpected exception during SANY initialization " + fileName + "\n" + e ) ; syserr . println ( "Initialization errors detected before " + "the unexpected exception:\n" ) ; syserr . print ( initErrors ) ; spec . errorLevel = 1 ; throw new InitException ( ) ; } return ; }
initialize the all parts of the frontend to handle a new specification .
