VerifyConfiguration.java

package edu.udel.cis.vsl.tass.config;

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

public class VerifyConfiguration extends RunConfiguration {

	private int numProcs = 1;

	private File sourceFile = null;

	private String modelName = null;

	public VerifyConfiguration() {
		super();
		setRunningMode(RunningMode.VERIFY);
	}

	public VerifyConfiguration(File repository) {
		super(repository);
		setRunningMode(RunningMode.VERIFY);
	}

	public VerifyConfiguration(RunConfiguration that) {
		super(that);
		setRunningMode(RunningMode.VERIFY);
	}

	public VerifyConfiguration(VerifyConfiguration that) {
		super(that);
		this.numProcs = that.numProcs;
		this.sourceFile = that.sourceFile;
		this.modelName = that.modelName;
		setRunningMode(RunningMode.VERIFY);
	}

	public int numProcs() {
		return numProcs;
	}

	public void setNumProcs(int numProcs) {
		this.numProcs = numProcs;
	}

	public File sourceFile() {
		return sourceFile;
	}

	public void setSourceFile(File sourceFile) {
		this.sourceFile = sourceFile;
	}

	public String modelName() {
		return modelName;
	}

	public void setModelName(String name) {
		this.modelName = name;
	}

	public void print(PrintWriter out) {
		out.println("               model : " + modelName + " (numProcs = "
				+ numProcs + ")");
		out.println("          sourceFile : " + sourceFile);
		super.print(out);
	}

	@Override
	public void write(PrintWriter out) {
		out.println("verify");
		super.write(out);
		out.println(sourceFile.getName());
		out.flush();
	}

	@Override
	public VerifyConfiguration clone() {
		return new VerifyConfiguration(this);
	}

}