DynamicException.java

package edu.udel.cis.vsl.tass.dynamic.IF;

public class DynamicException extends Exception {

	/**
	 * Generated by Eclipse...
	 */
	private static final long serialVersionUID = -6517005681669464251L;

	public enum DynamicErrorKind {
		INTERNAL, INVALID_CAST, QUANTIFIER, SIZEOF, OUT_OF_BOUNDS, PROVER
	};

	private DynamicErrorKind kind;

	public DynamicException(DynamicErrorKind kind, String message) {
		super(message);
		this.kind = kind;
	}

	public DynamicErrorKind kind() {
		return kind;
	}

}