////////////////////////////////////////////////////////////////////////////////
   // MillScript: an Open Spice interpreter and batch website creation tool
   // Copyright (C) 2001-2004 Open World Ltd
   // Copyright (C) 2004-2005 Kevin Rogers
   //
   // This file is part of MillScript.
   //
   // MillScript is free software; you can redistribute it and/or modify it under
   // the terms of the GNU General Public License as published by the Free
  // Software Foundation; either version 2 of the License, or (at your option)
  // any later version.
  //
  // MillScript is distributed in the hope that it will be useful, but WITHOUT
  // ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  // FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
  // more details.
  //
  // You should have received a copy of the GNU General Public License along with
  // MillScript; if not, write to the Free Software Foundation, Inc., 59 Temple
  // Place, Suite 330, Boston, MA  02111-1307  USA
  ////////////////////////////////////////////////////////////////////////////////
  package org.millscript.millscript;
  
  import org.millscript.commons.alert.Alert;
  import org.millscript.commons.alert.EscapeException;
  import org.millscript.commons.alert.reporters.StandardMishapAlertReporter;
  import org.millscript.commons.alert.reporters.StandardWarningAlertReporter;
  import org.millscript.millscript.alert.Alerts;
  import org.millscript.millscript.syntax.Parser;
  import org.millscript.millscript.syntax.ParserImpl;
  
  import java.io.IOException;
  import java.io.InputStreamReader;
  import java.io.Reader;
  
  import jline.ConsoleReader;
  import jline.ConsoleReaderInputStream;
  
  /**
   * This class is used to start an interactive MillScript session.
   */
  public class Interactive extends Session {
  
      /**
       * Constructs a new interactive session object.
       */
      public Interactive() {
          config.getLogger().println( "MillScript " + Resources.getMessage( "version" ) );
      }
  
      /**
       * @see org.millscript.millscript.Session#compile(java.lang.String, java.io.Reader)
       */
      @Override
      public void compile( final String origin, final Reader r ) {
          Parser parser = new ParserImpl( origin, r, true, config );
          // Start a never ending parsing loop, which we will return out of when
          // we reach the end of file.
          for (;;) {
              try {
                  // Try to compile whatever we can.
                  this.state.compileAllowResults( parser, true );
                  // The above method will only return normally if we're at the
                  // end of file, so we simply reutrn if we get here.
                  return;
              } catch ( Exception e ) {
                  // Report the exception
                  this.config.reportException( e );
              } finally {
                  // ok, we've broken out of the compile loop
                  // No need to check for end of file, as that will be handled in
                  // the normal way above. We should only get here when an
                  // exception that broke us out of the compile loop, so we've
                  // already reported it above, now we should tidy up the session
                  // and try to continue.
                  System.out.flush();
                  System.err.flush();
                  engine.getConfig().getLogger().println( "Resetting input and resuming execution" );
                  try {
                      // Skip any remaining characters
                      while ( r.ready() ) {
                          r.skip( 1 );
                      }
                      parser = new ParserImpl( origin, r, true, config );
                  } catch ( IOException ex ) {
                      //  OK, just carry on ...
                      engine.getConfig().getLogger().println( "!!! Input cannot be reset, resuming anyway" );
                  }
                  engine.getConfig().getLogger().println( "" );
                  System.out.flush();
                  System.err.flush();
                  engine.getMachine().reset();
              }
          }
      }
  
      /**
       * Runs an interactive session first compiling and executing the specified
       * MillScript files.
      *
      * @param args  array of String arguments, treated as files to compile and
      * execute before starting an interactive session
      */
     public static void main( final String[] args ) {
         try {
             final Interactive interactive = new Interactive();
             long startTime = System.currentTimeMillis();
             interactive.compile( args );
             final ConsoleReaderInputStream cris = new ConsoleReaderInputStream(
                 new ConsoleReader()
             );
             cris.setPrompt( interactive.config.getInteractivePrompt() );
             interactive.compile(
                 "origin",
                 new InputStreamReader(
                     cris,
                     "UTF-8"
                 )
             );
             interactive.printStatistics( startTime );
             interactive.summarizeResults();
         } catch ( Alert ex ) {
             if ( ex.isMishap() ) {
                 StandardMishapAlertReporter.MISHAP_REPORTER.report( ex );
             } else {
                 StandardWarningAlertReporter.WARNING_REPORTER.report( ex );
             }
         } catch ( EscapeException ex ) {
             if ( ex.getAlert().isMishap() ) {
                 StandardMishapAlertReporter.MISHAP_REPORTER.report( ex.getAlert() );
             } else {
                 StandardWarningAlertReporter.WARNING_REPORTER.report( ex.getAlert() );
             }
         } catch ( IOException ex ) {
             throw(
                 Alerts.compile(
                     "Problem opening console for interactive session",
                     null
                 ).
                 culprit( "reason", ex.getMessage() ).
                 mishap()
             );
         }
     }
 
 }