/*
 * 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() + "\n" + 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() + "\n" + 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;
    }
}