/*
   * To change this template, choose Tools | Templates
   * and open the template in the editor.
   */
  package CSP_ANALYSE;
  
  import java.io.BufferedReader;
  import java.io.IOException;
  import java.io.InputStreamReader;
  
  /**
   *
   * @author sarah
   */
  public class AnalyseChecker {
  
      private CheckerResult resultadochecker;
  
      public CheckerResult getResultadochecker() {
          return resultadochecker;
      }
  
      public void setResultadochecker(CheckerResult resultadochecker) {
          this.resultadochecker = resultadochecker;
      }
  
      public AnalyseChecker() {
          resultadochecker = new CheckerResult();
      }
  
      public CheckerResult takeResultChecher() {
  
          try {
              Process p = Runtime.getRuntime().exec("cspFiles/./checker cspFiles/Comportamento.csp");
              BufferedReader erro = new BufferedReader(new InputStreamReader(p.getErrorStream()));
              String line = null;
  
              // para pegar o erro
              while ((line = erro.readLine()) != null) {
  
                  resultadochecker.setMensagem(resultadochecker.getMensagem() + "
  " + line);
  
              }
  
              BufferedReader in = new BufferedReader(new InputStreamReader(p.getInputStream()));
              //para pegar a mensagem que foi tipada corretamente
              while ((line = in.readLine()) != null) {
  
                  resultadochecker.setMensagem(resultadochecker.getMensagem() + "
  " + line);
  
              }
              erro.close();
              in.close();
  
              if (resultadochecker.getMensagem().contains("CSP script is type correct.")) {
                  resultadochecker.setResultado(true);
              } else {
                  resultadochecker.setResultado(false);
              }
  
          } catch (IOException e) {
              e.printStackTrace();
          }
          return resultadochecker;
      }
  }