/*
   * JCircusControllerText.java
   */
  
  package jcircus;
  
  import java.util.List;
  import jcircus.util.Error;
  import jcircus.complementaryenvs.ProcCreateMainEnv;
  import jcircus.exceptions.FailParsingException;
  import jcircus.exceptions.FailTranslationException;
  import jcircus.exceptions.FailTypeCheckingException;
  import jcircus.exceptions.JCircusException;
  import jcircus.exceptions.TranslationCancelledException;
  import jcircus.translator.Translator2Java;
  import net.sourceforge.czt.z.ast.Spec;
  import net.sourceforge.czt.base.ast.Term;
  import net.sourceforge.czt.typecheck.z.ErrorAnn;
  public class JCircusControllerText extends JCircusController {
      /**
       * Constructor.
       */
      public JCircusControllerText() { }
      protected void translate2Java (String projectDir, String projectName, Spec spec, String compl, boolean useBarriers, boolean parallelism, boolean bench)
              throws FailTranslationException, TranslationCancelledException, JCircusException {
  
          //_translator = new Translator2Java(projectDir, projectName, spec, compl, useBarriers, parallelism, bench, new JCircusController (), false);
  
          // Translate the specification, and store the resulting code in ProcInfo
          _translator.translate(false);
  
          // Create the source code files
          _translator.createSources(); 
      }
      
      protected void reportMessage (String message) {
          System.out.println(message);
      }
      
      /**
       *
       */
      protected void reportParsingErrors(List<String> errors) throws FailParsingException {
  
          String message = parsingErrorMessage(errors);
          reportMessage(message);
          throw new FailParsingException(errors);
      }
      
      /**
       *
       */
      protected void reportTypeCheckingErrors(List<ErrorAnn> errors) throws FailTypeCheckingException {
          String message = typeCheckingErrorMessage(errors);
          reportMessage(message);
          throw new FailTypeCheckingException(errors);
      }
      
      /**
       *
       */
      protected void reportTranslationErrors(List<Error> errors) throws FailTranslationException {
          String message = translationErrorMessage(errors);
          reportMessage(message);
          throw new FailTranslationException(errors);
      }
  }