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);
	}

}

@@ -440,10 +440,113 @@
 s);%0A%09%7D%0A%0A
+%09@Override%0A%09public String getMessage() %7B%0A%09%09return %22Aborted evaluation: %22 + getThrown().toString();%0A%09%7D%0A%0A
 %7D%0A

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