up: E     index Zimbu documentation

CLASS E.Check EXTENDS E.Error @public

summary

     

Exception thrown by a method in the CHECK module.

Parent: E.Error
Inherited from E.Exception:
NEW(msg) @public  Create a new generic exception using the position of the caller.
NEW(pos, msg) @public  Create a new generic exception with position pos.
$ToString() string @public  Return a string representation of the exception.
$writeTo(w) @public  Write a string representation of the exception to w.
$toString(verbose) string @public  Return a string representation of the exception.
$writeTo(verbose, w) @public  Return a string representation of the exception.
$getMessage() string @public  Return the message of the Exception.
$getPos() Z.Pos @public  Return the position where the Exception was thrown.
$getBacktrace() list<Z.Pos> @public  Return the stack trace of where the Exception was thrown.
 

members (alphabetically)

     

license

      Copyright 2011 Bram Moolenaar All Rights Reserved.

      Licensed under the Apache License, Version 2.0. See the LICENSE file or obtain a copy at: http://www.apache.org/licenses/LICENSE-2.0