Translator.java example

Explorer
jop-master
/*
  This file is part of JOP, the Java Optimized Processor
    see <http://www.jopdesign.com/>

  Copyright (C) 2008, Benedikt Huber (benedikt.huber@gmail.com)

  This program 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.

  This program 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 this program.  If not, see <http://www.gnu.org/licenses/>.
*/
package com.jopdesign.wcet.uppaal;

import com.jopdesign.common.MethodInfo;
import com.jopdesign.wcet.WCETTool;
import com.jopdesign.wcet.uppaal.model.DuplicateKeyException;
import com.jopdesign.wcet.uppaal.model.XmlBuilder;
import com.jopdesign.wcet.uppaal.model.XmlSerializationException;
import com.jopdesign.wcet.uppaal.translator.JavaOneProcessPerMethodTranslator;
import com.jopdesign.wcet.uppaal.translator.JavaOneProcessPerSupergraphTranslator;
import com.jopdesign.wcet.uppaal.translator.JavaTranslator;
import com.jopdesign.wcet.uppaal.translator.SystemBuilder;
import org.apache.log4j.Logger;

import java.io.File;
import java.io.FileNotFoundException;
import java.io.PrintStream;

public class Translator {
	private static final Logger logger = Logger.getLogger(WCETTool.LOG_WCET_UPPAAL+".Translator");

	private WCETTool project;
	private SystemBuilder sys;

	private UppAalConfig config;

	public Translator(UppAalConfig c, WCETTool p) {
		this.config = c;
		this.project = p;
	}
	
	public SystemBuilder translateProgram(MethodInfo root) throws DuplicateKeyException {
		/* Create process translator */
		JavaTranslator pt;
		if(config.superGraphTemplate) {
			pt = new JavaOneProcessPerSupergraphTranslator(config, project, root);
		} else {
			pt = new JavaOneProcessPerMethodTranslator(config, project, root);
		}
		sys = pt.getSystem();

		/* build the system */
		sys.buildSystem();
		return sys;
	}
	public void writeOutput() throws 
		XmlSerializationException, FileNotFoundException {
		String xml = XmlBuilder.domToString(sys.toXML());
		PrintStream outStreamXML = System.out, outStreamQ = System.out;
		outStreamXML = new PrintStream(getModelFile());
		outStreamQ = new PrintStream(getQueryFile());
		outStreamXML.println(xml);

		StringBuilder stringBuilder = new StringBuilder();
		stringBuilder.append("/* WCET Query */\n");
		stringBuilder.append("A[] (M0.E imply t<=0)\n");
		stringBuilder.append("E<> (M0.E && t >= 0)\n");
		
		outStreamQ.println(stringBuilder.toString());
		outStreamXML.close();
		outStreamQ.close();
	}

	public File getModelFile() {
		return config.getOutFile(project.getTargetName()+".xml");
	}

	public File getQueryFile() {
		return config.getOutFile(project.getTargetName()+".q");
	}

}