syntaxrun.cpp

#include "syntaxrun.h"

    SyntaxRun::SyntaxRun(QString _spin, QString _path, QString _fileName, QString _ltl) : SpinRun(_spin, _path , _fileName, Syntax) {
        path = _path;
        fileName = _fileName;
        ltl = _ltl;
        errors = -1;

    }

    SyntaxRun::~SyntaxRun(){
        process->deleteLater();
    }

    //TODO: Denne skal måske have en deletelater metode (destructor)
    void SyntaxRun::start(){
        process = new QProcess();
        process->setWorkingDirectory(path);
        connect(process, SIGNAL(finished(int,QProcess::ExitStatus)),this,SLOT(checkSyntax()));
        connect(process, SIGNAL(errorOccurred(QProcess::ProcessError)), this, SLOT(error()));
        connect(process, SIGNAL(readyReadStandardError()), this, SLOT(error()));
        setStatus("Checking syntax with spin -a");
        tempPath = createTempPml();
        process->start(spin,QStringList() << "-a" << "\""+filePath+"\"");
    }

    QString SyntaxRun::createTempPml(){
        QFile::copy(path,path+".qspin");
        QFile tempFile(path+".qspin");

        if ( tempFile.open(QIODevice::Append | QIODevice::ReadWrite) )
        {
            QTextStream stream( &tempFile );
            stream << "\n " + ltl << endl;
        }
        return path + QDir::separator() + fileName + ".qspin";
    }


    void SyntaxRun::checkSyntax(){
        QString str = process->readAllStandardOutput();
        QRegExp rxLine("spin: "+filePath+":(\\d+),");
        QRegExp rxError("spin: "+filePath+":\\d+, Error:(\\D*)");
        //QStringList lineNoList;
        //QStringList errorList;
        int pos = 0;
        while ((pos = rxError.indexIn(str , (rxLine.indexIn(str, pos)) )) != -1) {
            QString lineNo = rxLine.cap(1);
            QString error = rxError.cap(1);
            lineNoList << lineNo;
            errorList << error;
            pos += rxLine.matchedLength()+rxError.matchedLength();
        }
        errors = errorList.count();
        QFile::remove(tempPath);
        if (errors>0) {
            setStatus(QString::number(errors)+" errors found");
            emit hasErrors();
        } else {
            setStatus("No errors found :)");
            emit noErrors();
        }
        emit finished(this);

    }