Lines Matching refs:file
76 const char *file, int line);
83 const char *file, int line);
97 static void throw_invalid(const char *msg, const char *file, int line) {
98 throw_error(isl_error_invalid, msg, file, line);
104 * error message "msg" in line "line" of file "file".
108 * If no error message or no error file was set, then use "what_arg" instead.
110 exception::exception(const char *what_arg, const char *msg, const char *file,
113 if (!msg || !file)
116 what_str = std::make_shared<std::string>(std::string(file) +
122 exception_abort(const char *msg, const char *file, int line) :
123 exception("execution aborted", msg, file, line) {}
128 exception_alloc(const char *msg, const char *file, int line) :
129 exception("memory allocation failure", msg, file, line) {}
134 exception_unknown(const char *msg, const char *file, int line) :
135 exception("unknown failure", msg, file, line) {}
140 exception_internal(const char *msg, const char *file, int line) :
141 exception("internal error", msg, file, line) {}
146 exception_invalid(const char *msg, const char *file, int line) :
147 exception("invalid argument", msg, file, line) {}
152 exception_quota(const char *msg, const char *file, int line) :
153 exception("quota exceeded", msg, file, line) {}
158 exception_unsupported(const char *msg, const char *file, int line) :
159 exception("unsupported operation", msg, file, line) {}
163 * error message "msg" in line "line" of file "file".
168 const char *file, int line)
173 case isl_error_abort: throw exception_abort(msg, file, line);
174 case isl_error_alloc: throw exception_alloc(msg, file, line);
175 case isl_error_unknown: throw exception_unknown(msg, file, line);
176 case isl_error_internal: throw exception_internal(msg, file, line);
177 case isl_error_invalid: throw exception_invalid(msg, file, line);
178 case isl_error_quota: throw exception_quota(msg, file, line);
180 throw exception_unsupported(msg, file, line);
183 throw exception_invalid("invalid error type", file, line);
195 const char *msg, *file;
200 file = isl_ctx_last_error_file(ctx.get());
204 throw_error(error, msg, file, line);
222 static void throw_invalid(const char *msg, const char *file, int line) {
223 fprintf(stderr, "%s:%d: %s\n", file, line, msg);