|
|
| version 1.2, 2001/01/30 13:07:31 | version 1.77, 2026/09/26 17:41:10 |
|---|---|
| Line 1 | Line 1 |
| /* | /** @file |
| $Id$ | Parser: exception decls. |
| Copyright (c) 2001-2026 Art. Lebedev Studio (https://www.artlebedev.com) | |
| Authors: Konstantin Morshnev <moko@design.ru>, Alexandr Petrosian <paf@design.ru> | |
| */ | */ |
| #ifndef PA_EXCEPTION_H | #ifndef PA_EXCEPTION_H |
| #define PA_EXCEPTION_H | #define PA_EXCEPTION_H |
| #include <setjmp.h> | #define IDENT_PA_EXCEPTION_H "$Id$" |
| const char* const PARSER_RUNTIME = "parser.runtime"; | |
| const char* const IMAGE_FORMAT = "image.format"; | |
| const char* const PCRE_EXCEPTION_TYPE = "pcre.execute"; | |
| const char* const DATE_RANGE_EXCEPTION_TYPE = "date.range"; | |
| const char* const BASE64_FORMAT = "base64.format"; | |
| const char* const NAME_MUST_BE_STRING = "name must be string"; | |
| const char* const FILE_NAME_MUST_BE_STRING = "file name must be string"; | |
| const char* const FILE_NAME_MUST_BE_STRING_OR_FILE = "file name must be string or file"; | |
| const char* const FILE_NAME_MUST_BE_NE_STRING = "file name must be not empty string"; | |
| const char* const VALUE_MUST_BE_STRING = "value must be string"; | |
| const char* const PARAMETER_MUST_BE_STRING = "parameter must be string"; | |
| const char* const COLUMN_NAME_MUST_BE_STRING = "column name must be string"; | |
| const char* const FILE_NAME_MUST_BE_SPECIFIED = "file name must be specified"; | |
| const char* const PARAM_MUST_NOT_BE_CODE = "param must not be code"; | |
| const char* const PARAM_MUST_BE_HASH = "param must be hash"; | |
| const char* const MODE_MUST_BE_STRING = "mode must be string"; | |
| const char* const OPTIONS_MUST_NOT_BE_CODE = "options must not be code"; | |
| const char* const CALLED_WITH_INVALID_OPTION = "called with invalid option"; | |
| // includes | |
| #include "pa_memory.h" | |
| #include "pa_types.h" | // forwards |
| #include "pa_string.h" | |
| class String; | |
| // defines | |
| class Exception { | class Exception { |
| public: | public: |
| // address for long jump to jump to | |
| jmp_buf mark; | |
| Exception(); | Exception(); |
| static void die(char *acomment); | Exception(const char* atype, const String* aproblem_source, const char* comment_fmt, ...); |
| void raise( | Exception(const Exception& src); |
| const String *atype, const String *acode, | |
| const String *aproblem_source, | |
| const char *comment_fmt, ...); | |
| const String *type() { return ftype; } | |
| const String *code() { return fcode; } | |
| const String *problem_source() { return fproblem_source; } | |
| const char *comment() { return fcomment[0]?fcomment:0; } | |
| private: | operator bool() { return ftype || fproblem_source || fcomment; } |
| Exception& operator =(const Exception& src); | |
| /// extracts exception type | |
| const char* type(bool can_be_empty=false) const { | |
| return can_be_empty || ftype ? ftype : "<no type>"; | |
| } | |
| /// extracts exception problem_source | |
| const String* problem_source() const; | |
| /// extracts exception comment | |
| const char* comment(bool can_be_empty=false) const { | |
| const char* result=fcomment && *fcomment ? fcomment : 0; | |
| return can_be_empty || result ? result : "<no comment>"; | |
| } | |
| // modifies exception to fine-tune error reporting | |
| void set_source(const String* aproblem_source) { | |
| if(!problem_source()) | |
| fproblem_source=aproblem_source; | |
| } | |
| void add_comment(const char* acomment); | |
| #define ALTER_EXCEPTION_SOURCE(code, source) \ | |
| try { \ | |
| code; \ | |
| } catch (Exception& e) { \ | |
| e.set_source(source); \ | |
| rethrow; \ | |
| } | |
| #define ALTER_EXCEPTION_COMMENT(code, comment) \ | |
| try { \ | |
| code; \ | |
| } catch (Exception& e) { \ | |
| e.add_comment(comment); \ | |
| rethrow; \ | |
| } | |
| protected: | |
| const char* ftype; | |
| const String* fproblem_source; | |
| const char* fcomment; | |
| const String *ftype, *fcode, *fproblem_source; | |
| char fcomment[MAX_STRING]; | |
| }; | }; |
| #define EXCEPTION_TRY(e) (setjmp(e.mark)==0) | // recovery recursion reserve is exhausted: bypass catch/finally handlers |
| class Recursion_limit_exception: public Exception { | |
| public: | |
| Recursion_limit_exception(): Exception(PARSER_RUNTIME, 0, "call canceled - endless recursion recovery limit exceeded") {} | |
| }; | |
| #endif | #endif |