co.turnus.trace.example.SimpleTraceExample.java Source code

Introduction

Here is the source code for co.turnus.trace.example.SimpleTraceExample.java

Source

/* 
 * TURNUS, the co-exploration framework
 * 
 * Copyright (C) 2014 EPFL SCI STI MM
 *
 * This file is part of TURNUS.
 *
 * TURNUS is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * TURNUS is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with TURNUS.  If not, see <http://www.gnu.org/licenses/>.
 * 
 * Additional permission under GNU GPL version 3 section 7
 * 
 * If you modify this Program, or any covered work, by linking or combining it
 * with Eclipse (or a modified version of Eclipse or an Eclipse plugin or 
 * an Eclipse library), containing parts covered by the terms of the 
 * Eclipse Public License (EPL), the licensors of this Program grant you 
 * additional permission to convey the resulting work.  Corresponding Source 
 * for a non-source form of such a combination shall include the source code 
 * for the parts of Eclipse libraries used as well as that of the  covered work.
 * 
 */
package co.turnus.trace.example;

import static co.turnus.trace.TraceOptions.SENS_STATEVAR;

import java.io.File;
import java.io.PrintWriter;

import org.apache.commons.configuration.BaseConfiguration;
import org.apache.commons.configuration.Configuration;

import co.turnus.TurnusActivator;
import co.turnus.TurnusRuntimeException;
import co.turnus.util.TurnusLogger;
import co.turnus.trace.Dependency;
import co.turnus.trace.Dependency.Kind;
import co.turnus.trace.Step;
import co.turnus.trace.Trace;
import co.turnus.trace.TraceDecorator;
import co.turnus.trace.TraceProject;
import co.turnus.trace.io.DebugTraceWriter;

public class SimpleTraceExample {

    public static void main(String[] args) {
        TurnusActivator.init();
        SimpleTraceExample test = new SimpleTraceExample();
        test.loadProject();
        test.printTrace();
        test.useDecorator();
    }

    private Trace trace;
    private TraceDecorator decorator;

    public TraceProject loadProject() {
        TurnusLogger.info("Load the causation trace");
        try {

            File dir = new File(SimpleTraceExample.class.getResource("/co/turnus/trace/example/").toURI());
            TraceProject project = TraceProject.load(dir);

            Configuration config = new BaseConfiguration();
            config.setProperty(SENS_STATEVAR, false);

            project.loadTrace(config);

            trace = project.getTrace();
            decorator = project.getTraceDecorator();

            return project;

        } catch (Exception e) {
            throw new TurnusRuntimeException("Error loading the trace file", e.getCause());
        }

    }

    /**
     * NOTE: For printing on a file use
     * <code>PrintWriter(new FileWriter("/the/file.txt", false));</code> and
     * close it at the end
     */
    private void printTrace() {
        TurnusLogger.info("Print the trace");

        // NOTE: For printing on a file use
        // PrintWriter(new FileWriter("/the/file.txt", false))
        // and close it at the end
        PrintWriter w = new PrintWriter(System.out);
        DebugTraceWriter writer = new DebugTraceWriter(trace, w);
        writer.print();
    }

    private void useDecorator() {
        TurnusLogger.info("Use the decorator");
        Step s = trace.getStep(0);
        System.out.println("actor object: " + decorator.getActor(s));
        for (Dependency d : s.getOutgoings()) {
            if (d.getKind() == Kind.TOKENS) {
                System.out.println("fifo object: " + decorator.getFifo(d));
            }
        }

    }

}