hu.bme.mit.sette.common.tasks.RunResultParser.java Source code

Introduction

Here is the source code for hu.bme.mit.sette.common.tasks.RunResultParser.java

Source

/*
 * SETTE - Symbolic Execution based Test Tool Evaluator
 *
 * SETTE is a tool to help the evaluation and comparison of symbolic execution
 * based test input generator tools.
 *
 * Budapest University of Technology and Economics (BME)
 *
 * Authors: Lajos Cseppent <lajos.cseppento@inf.mit.bme.hu>, Zoltn Micskei
 * <micskeiz@mit.bme.hu>
 *
 * Copyright 2014
 *
 * Licensed under the Apache License, Version 2.0 (the "License"); you may not
 * use this file except in compliance with the License. You may obtain a copy of
 * the License at
 *
 * http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
 * License for the specific language governing permissions and limitations under
 * the License.
 */
package hu.bme.mit.sette.common.tasks;

import hu.bme.mit.sette.common.Tool;
import hu.bme.mit.sette.common.exceptions.SetteGeneralException;
import hu.bme.mit.sette.common.model.runner.ResultType;
import hu.bme.mit.sette.common.model.runner.RunnerProjectUtils;
import hu.bme.mit.sette.common.model.runner.xml.SnippetElement;
import hu.bme.mit.sette.common.model.runner.xml.SnippetInputsXml;
import hu.bme.mit.sette.common.model.runner.xml.SnippetProjectElement;
import hu.bme.mit.sette.common.model.snippet.Snippet;
import hu.bme.mit.sette.common.model.snippet.SnippetContainer;
import hu.bme.mit.sette.common.model.snippet.SnippetProject;
import hu.bme.mit.sette.common.validator.exceptions.ValidatorException;

import java.io.File;
import java.util.List;

import org.apache.commons.io.FileUtils;
import org.simpleframework.xml.Serializer;
import org.simpleframework.xml.convert.AnnotationStrategy;
import org.simpleframework.xml.core.Persister;
import org.simpleframework.xml.stream.Format;

public abstract class RunResultParser<T extends Tool> extends SetteTask<T> {
    public RunResultParser(final SnippetProject snippetProject, final File outputDirectory, final T tool) {
        super(snippetProject, outputDirectory, tool);
    }

    public final void parse() throws Exception {
        if (!RunnerProjectUtils.getRunnerLogFile(getRunnerProjectSettings()).exists()) {
            throw new SetteGeneralException("Run the tool on the runner project first");
        }

        // foreach containers
        for (SnippetContainer container : getSnippetProject().getModel().getContainers()) {
            // skip container with higher java version than supported
            if (container.getRequiredJavaVersion().compareTo(getTool().getSupportedJavaVersion()) > 0) {
                // TODO error/warning handling
                System.err.println("Skipping container: " + container.getJavaClass().getName()
                        + " (required Java version: " + container.getRequiredJavaVersion() + ")");
                continue;
            }

            // foreach snippets
            for (Snippet snippet : container.getSnippets().values()) {
                SnippetInputsXml inputsXml = parseSnippet(snippet);
                try {
                    // TODO further validation
                    inputsXml.validate();

                    File inputsXmlFile = RunnerProjectUtils.getSnippetInputsFile(getRunnerProjectSettings(),
                            snippet);

                    FileUtils.forceMkdir(inputsXmlFile.getParentFile());

                    if (inputsXmlFile.exists()) {
                        FileUtils.forceDelete(inputsXmlFile);
                    }

                    Serializer serializer = new Persister(new AnnotationStrategy(),
                            new Format("<?xml version=\"1.0\" encoding= \"UTF-8\" ?>"));
                    serializer.write(inputsXml, inputsXmlFile);
                } catch (ValidatorException e) {
                    System.err.println(e.getFullMessage());
                }
            }
        }
    }

    private SnippetInputsXml parseSnippet(final Snippet snippet) throws Exception {
        // TODO validation?
        SnippetInputsXml inputsXml = new SnippetInputsXml();
        inputsXml.setToolName(getTool().getName());
        inputsXml.setSnippetProjectElement(
                new SnippetProjectElement(getSnippetProjectSettings().getBaseDirectory().getCanonicalPath()));

        inputsXml.setSnippetElement(
                new SnippetElement(snippet.getContainer().getJavaClass().getName(), snippet.getMethod().getName()));

        // TODO needs more documentation
        File infoFile = RunnerProjectUtils.getSnippetInfoFile(getRunnerProjectSettings(), snippet);

        if (!infoFile.exists()) {
            inputsXml.setResultType(ResultType.NA);
        } else {
            List<String> lines = FileUtils.readLines(infoFile);

            if (lines.get(2).startsWith("Destroyed")) {
                if (lines.get(2).startsWith("Destroyed: yes")) {
                    inputsXml.setResultType(ResultType.TM);
                }
            } else {
                // TODO error handling
                System.err.println("FORMAT PROBLEM");
            }
        }

        if (inputsXml.getResultType() == null) {
            parseSnippet(snippet, inputsXml);
        }

        return inputsXml;
    }

    protected abstract void parseSnippet(Snippet snippet, SnippetInputsXml inputsXml) throws Exception;
}