// Push an error to the cores' error handler public void push_err(VMErrorType err_type, string msg = null) { VMError err = new VMError(VM.state, err_type, msg); // Register the error with the handler VM.state.err_handler.register_err(err); VM.state.had_err = true; throw new VMErrException(err); }
public VMErrException(VMError err) { this.err = err; }