CollectedContextException.java

package org.overture.interpreter.runtime;

import java.util.List;
import java.util.Set;
import java.util.Vector;

public class CollectedContextException extends ContextException implements
		ICollectedRuntimeExceptions
{
	public final List<Exception> exceptions;
	String message = "";

	public CollectedContextException(ContextException e,
			List<Exception> exceptions)
	{
		super(e.number, e.getMessage(), e.location, e.ctxt);
		message = e.getMessage();
		this.exceptions = exceptions;
	}

	public CollectedContextException(ContextException toThrow,
			Set<ContextException> problems)
	{
		this(toThrow, new Vector<Exception>(problems));
	}

	/**
	 * 
	 */
	private static final long serialVersionUID = 1L;

	/*
	 * (non-Javadoc)
	 * @see org.overture.interpreter.runtime.ICollectedRuntimeExceptions#getCollectedExceptions()
	 */
	@Override
	public List<Exception> getCollectedExceptions()
	{
		return this.exceptions;
	}

	@Override
	public String getMessage()
	{
		return message;
	}
}