CIVLStateException.java

package edu.udel.cis.vsl.civl.err;

import java.io.ByteArrayOutputStream;
import java.io.PrintStream;

import edu.udel.cis.vsl.civl.model.IF.CIVLSource;
import edu.udel.cis.vsl.civl.state.State;

/**
 * Extends an execution exception with a state at which error occurred.
 * 
 * @author siegel
 * 
 */
public class CIVLStateException extends CIVLExecutionException {

	/**
	 * Eclipse generated.
	 */
	private static final long serialVersionUID = -6159425221287192305L;

	/**
	 * State at which error occurred
	 */
	private State state;

	public CIVLStateException(ErrorKind kind, Certainty certainty,
			String message, State state, CIVLSource source) {
		super(kind, certainty, message, source);
		assert state != null;
		this.state = state;
	}

	public String toString() {
		String result = super.toString() + "\n";
		ByteArrayOutputStream baos = new ByteArrayOutputStream();
		PrintStream ps = new PrintStream(baos);

		state.print(ps);
		result += baos.toString();
		return result;
	}

	State getState() {
		return state;
	}

}