YAP 7.1.0
YapErrors.h
Go to the documentation of this file.
1
8
9BEGIN_ERROR_CLASSES()
10
11//> base case
12ECLASS(YAPC_NO_ERROR, "no_error", 0)
13//> bad domain, first argument often is the predicate.
14ECLASS(DOMAIN_ERROR, "domain_error", 2)
15//> bad arithmetic
16ECLASS(EVALUATION_ERROR, "evaluation_error", 1)
17//> missing object (I/O mostly)
18ECLASS(EXISTENCE_ERROR, "existence_error", 2)
19//> should be bound
20ECLASS(INSTANTIATION_ERROR_CLASS, "instantiation_error", 0)
21//> bad access, I/O
22ECLASS(PERMISSION_ERROR, "permission_error", 3)
23//> something that could not be represented into a type
24ECLASS(REPRESENTATION_ERROR, "representation_error", 0)
25//> not enough ....
26ECLASS(RESOURCE_ERROR, "resource_error", 2)
27//> bad text
28ECLASS(SYNTAX_ERROR_CLASS, "syntax_error", 1)
29//> OS or internal
30ECLASS(SYSTEM_ERROR_CLASS, "system_error", 1)
31//> bad typing
32ECLASS(TYPE_ERROR, "type_error", 2)
33//> should be unbound
34ECLASS(UNINSTANTIATION_ERROR_CLASS, "uninstantiation_error", 1)
35//> not quite an error, but almost
36ECLASS(WARNING, "warning", 1)
37//> user defined escape hatch
38ECLASS(EVENT, "event", 1)
39ECLASS(USER_DEFINED_ERROR_CLASS, "user_defined_error", 1)
40
41END_ERROR_CLASSES();
42
43BEGIN_ERRORS()
44
45/* ISO_ERRORS */
46
47 E(YAP_NO_ERROR, YAPC_NO_ERROR,"no_error")
48//> bad option to absolute_file_name
49E(DOMAIN_ERROR_ABSOLUTE_FILE_NAME_OPTION, DOMAIN_ERROR,
50 "absolute_file_name_option")
51E(DOMAIN_ERROR_ARRAY_OVERFLOW, DOMAIN_ERROR, "array_overflow")
52E(DOMAIN_ERROR_ARRAY_TYPE, DOMAIN_ERROR, "array_type")
53E(DOMAIN_ERROR_CLOSE_OPTION, DOMAIN_ERROR, "close_option")
54E(DOMAIN_ERROR_CREATE_ARRAY_OPTION, DOMAIN_ERROR, "create_array_option")
55E(DOMAIN_ERROR_ENCODING, DOMAIN_ERROR, "encoding")
56E(DOMAIN_ERROR_EXPAND_FILENAME_OPTION, DOMAIN_ERROR, "expand_filename")
57E(DOMAIN_ERROR_FILE_ERRORS, DOMAIN_ERROR, "file_errors")
58E(DOMAIN_ERROR_FILE_TYPE, DOMAIN_ERROR, "file_type")
59E(DOMAIN_ERROR_FORMAT_CONTROL_SEQUENCE, DOMAIN_ERROR, "format argument")
60E(DOMAIN_ERROR_FORMAT_OUTPUT, DOMAIN_ERROR, "format output")
61E(DOMAIN_ERROR_GENERIC_ARGUMENT, DOMAIN_ERROR, "generic_argument")
62E(DOMAIN_ERROR_IO_MODE, DOMAIN_ERROR, "io_mode")
63E(DOMAIN_ERROR_LOAD_FILES_OPTION, DOMAIN_ERROR, "load_files_option")
64E(DOMAIN_ERROR_MUTABLE, DOMAIN_ERROR, "mutable")
65E(DOMAIN_ERROR_NON_EMPTY_LIST, DOMAIN_ERROR, "non_empty_list")
66E(DOMAIN_ERROR_NOT_LESS_THAN_ZERO, DOMAIN_ERROR, "not_less_than_zero")
67E(DOMAIN_ERROR_NOT_NL, DOMAIN_ERROR, "not_nl")
68E(DOMAIN_ERROR_NOT_ZERO, DOMAIN_ERROR, "not_zero")
69E(DOMAIN_ERROR_OPEN_OPTION, DOMAIN_ERROR, "open_option")
70E(DOMAIN_ERROR_OPERATOR_PRIORITY, DOMAIN_ERROR, "operator_priority")
71E(DOMAIN_ERROR_OPERATOR_SPECIFIER, DOMAIN_ERROR, "operator_specifier")
72E(DOMAIN_ERROR_ORDER, DOMAIN_ERROR, "order")
73E(DOMAIN_ERROR_OUT_OF_RANGE, DOMAIN_ERROR, "out_of_range")
74E(DOMAIN_ERROR_PROLOG_FLAG, DOMAIN_ERROR, "prolog_flag")
75E(DOMAIN_ERROR_RADIX, DOMAIN_ERROR, "radix")
76E(DOMAIN_ERROR_READ_OPTION, DOMAIN_ERROR, "read_option")
77E(DOMAIN_ERROR_SET_STREAM_OPTION, DOMAIN_ERROR, "set_stream_option")
78E(DOMAIN_ERROR_SHIFT_COUNT_OVERFLOW, DOMAIN_ERROR, "shift_count_overflow")
79E(DOMAIN_ERROR_SOURCE_SINK, DOMAIN_ERROR, "source_sink")
80E(DOMAIN_ERROR_SOLUTIONS, DOMAIN_ERROR, "solutions")
81E(DOMAIN_ERROR_STREAM, DOMAIN_ERROR, "stream")
82E(DOMAIN_ERROR_STREAM_ENCODING, DOMAIN_ERROR, "stream_encoding")
83E(DOMAIN_ERROR_STREAM_OPTION, DOMAIN_ERROR, "stream_option")
84E(DOMAIN_ERROR_STREAM_OR_ALIAS, DOMAIN_ERROR, "stream_or_alias")
85E(DOMAIN_ERROR_STREAM_POSITION, DOMAIN_ERROR, "stream_position")
86E(DOMAIN_ERROR_STREAM_PROPERTY_OPTION, DOMAIN_ERROR, "stream_property_option")
87E(DOMAIN_ERROR_TIMEOUT_SPEC, DOMAIN_ERROR, "timeout_spec")
88E(DOMAIN_ERROR_SYNTAX_ERROR_HANDLER, DOMAIN_ERROR, "syntax_error_handler")
89E(DOMAIN_ERROR_WRITE_OPTION, DOMAIN_ERROR, "write_option")
90E(DOMAIN_ERROR_USER_DEFINED, DOMAIN_ERROR, "user_defined")
91
92 E(EVALUATION_ERROR_DBMS, EVALUATION_ERROR, "DBMS_error")
93 E(EVALUATION_ERROR_FLOAT_OVERFLOW, EVALUATION_ERROR, "float_overflow")
94E(EVALUATION_ERROR_FLOAT_UNDERFLOW, EVALUATION_ERROR, "float_underflow")
95E(EVALUATION_ERROR_INT_OVERFLOW, EVALUATION_ERROR, "int_overflow")
96E(EVALUATION_ERROR_R_ENVIRONMENT, EVALUATION_ERROR, "unspecified error in R environment")
97E(EVALUATION_ERROR_READ_STREAM, EVALUATION_ERROR, "read_from_stream")
98E(EVALUATION_ERROR_PYTHON_ENVIRONMENT, EVALUATION_ERROR, "unspecified error in Python environment")
99E(EVALUATION_ERROR_UNDEFINED, EVALUATION_ERROR, "undefined")
100E(EVALUATION_ERROR_UNDERFLOW, EVALUATION_ERROR, "underflow")
101 E(EVALUATION_ERROR_ZERO_DIVISOR, EVALUATION_ERROR, "zero_divisor")
102 E(EVALUATION_ERROR_USER_DEFINED, EVALUATION_ERROR, "user_defined")
103
104E(EXISTENCE_ERROR_ARRAY, EXISTENCE_ERROR, "array")
105E(EXISTENCE_ERROR_DIRECTORY, EXISTENCE_ERROR, "directory")
106E(EXISTENCE_ERROR_FILE, EXISTENCE_ERROR, "file")
107E(EXISTENCE_ERROR_KEY, EXISTENCE_ERROR, "key")
108E(EXISTENCE_ERROR_MUTEX, EXISTENCE_ERROR, "mutex")
109E(EXISTENCE_ERROR_PROCEDURE, EXISTENCE_ERROR, "procedure")
110E(EXISTENCE_ERROR_SOURCE_SINK, EXISTENCE_ERROR, "source_sink")
111E(EXISTENCE_ERROR_STREAM, EXISTENCE_ERROR, "stream")
112E(EXISTENCE_ERROR_VARIABLE, EXISTENCE_ERROR, "variable")
113 E(EXISTENCE_ERROR_USER_DEFINED, EXISTENCE_ERROR, "user_defined")
114
115E0(INSTANTIATION_ERROR, INSTANTIATION_ERROR_CLASS, "instantiation")
116
117E2(PERMISSION_ERROR_ACCESS_PRIVATE_PROCEDURE, PERMISSION_ERROR, "access",
118 "private_procedure")
119E2(PERMISSION_ERROR_NEW_ALIAS_FOR_STREAM, PERMISSION_ERROR, "add_alias",
120 "stream")
121E2(PERMISSION_ERROR_CREATE_ARRAY, PERMISSION_ERROR, "create", "array")
122E2(PERMISSION_ERROR_CREATE_DIRECTORY, PERMISSION_ERROR, "create", "directory")
123E2(PERMISSION_ERROR_CREATE_FILE, PERMISSION_ERROR, "create", "file")
124E2(PERMISSION_ERROR_CREATE_OPERATOR, PERMISSION_ERROR, "create", "operator")
125E2(PERMISSION_ERROR_INPUT_BINARY_STREAM, PERMISSION_ERROR, "input",
126 "text_stream")
127E2(PERMISSION_ERROR_INPUT_PAST_END_OF_STREAM, PERMISSION_ERROR, "input",
128 "past_end_of_stream")
129E2(PERMISSION_ERROR_INPUT_STREAM, PERMISSION_ERROR, "input", "stream")
130E2(PERMISSION_ERROR_INPUT_TEXT_STREAM, PERMISSION_ERROR, "input", "text_stream")
131E2(PERMISSION_ERROR_MODIFY_STATIC_PROCEDURE, PERMISSION_ERROR, "modify",
132 "static_procedure")
133E2(PERMISSION_ERROR_MODULE_REDEFINED, PERMISSION_ERROR, "redefined", "module")
134E2(PERMISSION_ERROR_OPEN_SOURCE_SINK, PERMISSION_ERROR, "open", "source_sink")
135E2(PERMISSION_ERROR_OUTPUT_BINARY_STREAM, PERMISSION_ERROR, "output",
136 "binary_stream")
137E2(PERMISSION_ERROR_OUTPUT_STREAM, PERMISSION_ERROR, "output", "stream")
138E2(PERMISSION_ERROR_OUTPUT_TEXT_STREAM, PERMISSION_ERROR, "output",
139 "text_stream")
140E2(PERMISSION_ERROR_READ_ONLY_FLAG, PERMISSION_ERROR, "read_only", "flag")
141E2(PERMISSION_ERROR_RESIZE_ARRAY, PERMISSION_ERROR, "resize", "array")
142E2(PERMISSION_ERROR_REPOSITION_STREAM, PERMISSION_ERROR, "reposition", "stream")
143E(PERMISSION_ERROR_USER_DEFINED, PERMISSION_ERROR, "user_defined")
144
145E(REPRESENTATION_ERROR_CHARACTER, REPRESENTATION_ERROR, "character")
146E(REPRESENTATION_ERROR_CHARACTER_CODE, REPRESENTATION_ERROR, "character_code")
147E(REPRESENTATION_ERROR_IN_CHARACTER_CODE, REPRESENTATION_ERROR,
148 "in_character_code")
149E(REPRESENTATION_ERROR_INT, REPRESENTATION_ERROR, "int")
150E(REPRESENTATION_ERROR_MAX_ARITY, REPRESENTATION_ERROR, "max_arity")
151E(REPRESENTATION_ERROR_VARIABLE, REPRESENTATION_ERROR, "variable")
152E(REPRESENTATION_ERROR_USER_DEFINED, REPRESENTATION_ERROR, "user_defined")
153
154E(RESOURCE_ERROR_HUGE_INT, RESOURCE_ERROR, "huge_int")
155E(RESOURCE_ERROR_MAX_STREAMS, RESOURCE_ERROR, "max_streams")
156E(RESOURCE_ERROR_MAX_THREADS, RESOURCE_ERROR, "max_threads")
157E(RESOURCE_ERROR_AUXILIARY_STACK, RESOURCE_ERROR, "auxiliary_stack")
158E(RESOURCE_ERROR_ATTRIBUTED_VARIABLES, RESOURCE_ERROR, "attributed_variables")
159E(RESOURCE_ERROR_HEAP, RESOURCE_ERROR, "database_space")
160E(RESOURCE_ERROR_TRAIL, RESOURCE_ERROR, "trail_space")
161E(RESOURCE_ERROR_STACK, RESOURCE_ERROR, "stack_space")
162E(RESOURCE_ERROR_USER_DEFINED, RESOURCE_ERROR, "user_defined")
163
164E1(SYNTAX_ERROR, SYNTAX_ERROR_CLASS, "syntax_error")
165E1(SYNTAX_ERROR_NUMBER, SYNTAX_ERROR_CLASS, "syntax_error")
166
167E(SYSTEM_ERROR_INTERNAL, SYSTEM_ERROR_CLASS, "internal")
168E(SYSTEM_ERROR_COMPILER, SYSTEM_ERROR_CLASS, "compiler")
169E(SYSTEM_ERROR_DYNAMIC_LOADER, SYSTEM_ERROR_CLASS, "dynamic_loader")
170E(SYSTEM_ERROR_FATAL, SYSTEM_ERROR_CLASS, "fatal")
171E(SYSTEM_ERROR_GET_FAILED, SYSTEM_ERROR_CLASS, "get_failed")
172E(SYSTEM_ERROR_PUT_FAILED, SYSTEM_ERROR_CLASS, "put_failed")
173E(SYSTEM_ERROR_JIT_NOT_AVAILABLE, SYSTEM_ERROR_CLASS, "jit_not_available")
174E(SYSTEM_ERROR_RUNTIME_ANDROID, SYSTEM_ERROR_CLASS, "android_runtime error")
175E(SYSTEM_ERROR_RUNTIME_JAVA, SYSTEM_ERROR_CLASS, "java_runtime error")
176E(SYSTEM_ERROR_RUNTIME_JS, SYSTEM_ERROR_CLASS, "javascript_runtime error")
177E(SYSTEM_ERROR_RUNTIME_PYTHON, SYSTEM_ERROR_CLASS, "python_runtime error")
178E(SYSTEM_ERROR_RUNTIME_R, SYSTEM_ERROR_CLASS, "r_runtime error")
179E(SYSTEM_ERROR_OPERATING_SYSTEM, SYSTEM_ERROR_CLASS, "operating_system_error")
180E(SYSTEM_ERROR_SAVED_STATE, SYSTEM_ERROR_CLASS, "saved_state_error")
181E(SYSTEM_ERROR_USER_DEFINED, SYSTEM_ERROR_CLASS, "user_defined")
182
183E(ERROR_EVENT, EVENT, "error")
184E(ABORT_EVENT, EVENT, "abort")
185E(THROW_EVENT, EVENT, "throw")
186E(CALL_COUNTER_UNDERFLOW_EVENT, EVENT, "call_counter_underflow")
187E(PRED_ENTRY_COUNTER_UNDERFLOW_EVENT, EVENT, "pred_entry_counter_underflow")
188E(RETRY_COUNTER_UNDERFLOW_EVENT, EVENT, "retry_counter_underflow")
189E(INTERRUPT_EVENT, EVENT, "interrupt")
190E(USER_DEFINED_EVENT, EVENT, "user_defined")
191
192E(TYPE_ERROR_ARRAY, TYPE_ERROR, "array")
193E(TYPE_ERROR_ATOM, TYPE_ERROR, "atom")
194E(TYPE_ERROR_ATOMIC, TYPE_ERROR, "atomic")
195E(TYPE_ERROR_BIGNUM, TYPE_ERROR, "bignum")
196E(TYPE_ERROR_BOOLEAN, TYPE_ERROR, "boolean")
197E(TYPE_ERROR_BYTE, TYPE_ERROR, "byte")
198E(TYPE_ERROR_CALLABLE, TYPE_ERROR, "callable")
199E(TYPE_ERROR_CHAR, TYPE_ERROR, "char")
200E(TYPE_ERROR_CHARACTER, TYPE_ERROR, "character")
201E(TYPE_ERROR_CHARACTER_CODE, TYPE_ERROR, "character_code")
202E(TYPE_ERROR_COMPOUND, TYPE_ERROR, "compound")
203E(TYPE_ERROR_DBREF, TYPE_ERROR, "dbref")
204E(TYPE_ERROR_DBTERM, TYPE_ERROR, "dbterm")
205E(TYPE_ERROR_EVALUABLE, TYPE_ERROR, "evaluable")
206E(TYPE_ERROR_FLOAT, TYPE_ERROR, "float")
207E(TYPE_ERROR_IN_BYTE, TYPE_ERROR, "in_byte")
208E(TYPE_ERROR_IN_CHARACTER, TYPE_ERROR, "in_character")
209E(TYPE_ERROR_INTEGER, TYPE_ERROR, "integer")
210E(TYPE_ERROR_KEY, TYPE_ERROR, "key")
211E(TYPE_ERROR_LIST, TYPE_ERROR, "list")
212E(TYPE_ERROR_NUMBER, TYPE_ERROR, "number")
213E(TYPE_ERROR_PARAMETER, TYPE_ERROR, "parameter")
214E(TYPE_ERROR_PREDICATE_INDICATOR, TYPE_ERROR, "predicate_indicator")
215E(TYPE_ERROR_PTR, TYPE_ERROR, "pointer")
216E(TYPE_ERROR_READ_TERM, TYPE_ERROR, "read_term")
217E(TYPE_ERROR_REFERENCE, TYPE_ERROR, "reference")
218E(TYPE_ERROR_STREAM, TYPE_ERROR, "stream")
219E(TYPE_ERROR_STRING, TYPE_ERROR, "string")
220E(TYPE_ERROR_TEXT, TYPE_ERROR, "text")
221E(TYPE_ERROR_UBYTE, TYPE_ERROR, "ubyte")
222E(TYPE_ERROR_UCHAR, TYPE_ERROR, "unsigned char")
223E(TYPE_ERROR_USER_DEFINED, TYPE_ERROR, "user_defined")
224
225E(WARNING_DISCONTIGUOUS, WARNING, "discontiguous")
226E(WARNING_MULTIPLE, WARNING, "discontiguous")
227E(WARNING_SINGLETONS, WARNING, "singletons")
228E(WARNING_USER_DEFINED, WARNING, "user_defined")
229
230E1(UNINSTANTIATION_ERROR, UNINSTANTIATION_ERROR_CLASS, "uninstantiation_error")
231
232E(USER_DEFINED_ERROR, USER_DEFINED_ERROR_CLASS, "user_defined_error" )
233
234//E0(FILLER_ERROR, FILLER_ERROR_CLASS, NULL) /// default state
235END_ERRORS();
no_error E(DOMAIN_ERROR_ABSOLUTE_FILE_NAME_OPTION, DOMAIN_ERROR, "absolute_file_name_option") E(DOMAIN_ERROR_ARRAY_OVERFLOW
default state
syntax_error
Syntax Error Handler.
Definition: YapErrors.h:28
@ max_arity
max_arity is iso
Definition: YapGFlagInfo.h:408
@ file_errors
exit if failing to open a fail generates an excption; or fail otherwise
Definition: YapLFlagInfo.h:91
@ encoding
support for coding systens, YAP relies on UTF-8 internally
Definition: YapLFlagInfo.h:83