public static Value abort ( LocatedException e , Context ctxt ) { throw new ContextException ( e . number , e . getMessage ( ) , e . location , ctxt ) ; }
Abort the runtime interpretation of the definition throwing a ContextException to indicate the call stack . The information is based on that in the Exception passed .