package org.metaborg.meta.lang.dynsem.interpreter.nodes.natives.abruptions;

import org.metaborg.meta.lang.dynsem.interpreter.nodes.natives.StatefulControlFlowException;

public final class AbortedEvaluationException extends StatefulControlFlowException {

	/**
	 * 
	 */
	private static final long serialVersionUID = -283186208089661555L;

	public AbortedEvaluationException(Object thrown, Object[] components) {
		super(thrown, components);
	}

}

package org.metaborg.meta.lang.dynsem.interpreter.nodes.natives.abruptions;

import org.metaborg.meta.lang.dynsem.interpreter.nodes.natives.StatefulControlFlowException;

public final class AbortedEvaluationException extends StatefulControlFlowException {

	/**
	 * 
	 */
	private static final long serialVersionUID = -283186208089661555L;

	public AbortedEvaluationException(Object thrown, Object[] components) {
		super(thrown, components);
	}

	@Override
	public String getMessage() {
		return "Aborted evaluation: " + getThrown().toString();
	}

}

Implement getMessage for exception trap (to allow error to be presented to user if no handler applies)
Implement getMessage for exception trap (to allow error to be presented to user if no handler applies)
