Example #1
0
        // Push an error to the cores' error handler
        public void push_err(CoreErrorType err_type, string msg = null)
        {
            CoreError err = new CoreError(this.state, this.traceback, err_type, msg);

            // Register the error with the handler
            this.state.err_handler.register_err(err);
            this.state.had_err = true;
            throw new CoreErrException(err);
        }
Example #2
0
 public CoreErrException(CoreError err)
 {
     this.err = err;
 }