|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
HeuristicErrorCodes | Line # 26 | 0 | 0 | - |
-1.0
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
No Tests | |||
1 | /* This file is part of the project "Hilbert II" - http://www.qedeq.org | |
2 | * | |
3 | * Copyright 2000-2014, Michael Meyling <mime@qedeq.org>. | |
4 | * | |
5 | * "Hilbert II" is free software; you can redistribute | |
6 | * it and/or modify it under the terms of the GNU General Public | |
7 | * License as published by the Free Software Foundation; either | |
8 | * version 2 of the License, or (at your option) any later version. | |
9 | * | |
10 | * This program is distributed in the hope that it will be useful, | |
11 | * but WITHOUT ANY WARRANTY; without even the implied warranty of | |
12 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
13 | * GNU General Public License for more details. | |
14 | */ | |
15 | ||
16 | package org.qedeq.kernel.bo.logic.model; | |
17 | ||
18 | import org.qedeq.kernel.se.common.ErrorCodes; | |
19 | ||
20 | ||
21 | /** | |
22 | * Contains the error codes for heuristic model checks. | |
23 | * | |
24 | * @author Michael Meyling | |
25 | */ | |
26 | public interface HeuristicErrorCodes extends ErrorCodes { | |
27 | ||
28 | /** Error (or warning) number for: no tautology in our model. */ | |
29 | public static final int EVALUATED_NOT_TRUE_CODE = 77007; | |
30 | ||
31 | /** Error (or warning) text for: no tautology in our model. */ | |
32 | public static final String EVALUATED_NOT_TRUE_TEXT = "no tautology in our model"; | |
33 | ||
34 | ||
35 | /** Error (or warning) number for: wrong calling convention, list expected. */ | |
36 | public static final int WRONG_CALLING_CONVENTION_CODE = 77091; | |
37 | ||
38 | /** Error (or warning) text for: wrong calling convention, list expected. */ | |
39 | public static final String WRONG_CALLING_CONVENTION_TEXT | |
40 | = "wrong calling convention, list expected"; | |
41 | ||
42 | ||
43 | /** Error (or warning) number for: unknown operator. */ | |
44 | public static final int UNKNOWN_OPERATOR_CODE = 77080; | |
45 | ||
46 | /** Error (or warning) text for: unknown operator. */ | |
47 | public static final String UNKNOWN_OPERATOR_TEXT = "unknown operator: "; | |
48 | ||
49 | ||
50 | /** Error (or warning) number for: unknown predicate constant. */ | |
51 | public static final int UNKNOWN_PREDICATE_CONSTANT_CODE = 77082; | |
52 | ||
53 | /** Error (or warning) text for: unknown predicate constant. */ | |
54 | public static final String UNKNOWN_PREDICATE_CONSTANT_TEXT = "unknown predicate constant: "; | |
55 | ||
56 | ||
57 | /** Error (or warning) number for: unknown term operator. */ | |
58 | public static final int UNKNOWN_TERM_OPERATOR_CODE = 77084; | |
59 | ||
60 | /** Error (or warning) text for: unknown term operator. */ | |
61 | public static final String UNKNOWN_TERM_OPERATOR_TEXT = "unknown term operator: "; | |
62 | ||
63 | ||
64 | /** Error (or warning) number for: unknown function constant. */ | |
65 | public static final int UNKNOWN_FUNCTION_CONSTANT_CODE = 77092; | |
66 | ||
67 | /** Error (or warning) text for: unknown function constant. */ | |
68 | public static final String UNKNOWN_FUNCTION_CONSTANT_TEXT = "unknown function constant: "; | |
69 | ||
70 | ||
71 | /** Error (or warning) number for: unknown format for argument size. */ | |
72 | public static final int UNKNOWN_ARGUMENT_FORMAT_CODE = 77100; | |
73 | ||
74 | /** Error (or warning) text for: unknown format for argument size. */ | |
75 | public static final String UNKNOWN_ARGUMENT_FORMAT_TEXT = "unknown format for argument size: "; | |
76 | ||
77 | ||
78 | /** Error (or warning) number for: unknown format for argument size. */ | |
79 | public static final int RUNTIME_EXCEPTION_CODE = 77777; | |
80 | ||
81 | /** Error (or warning) text for: unknown format for argument size. */ | |
82 | public static final String RUNTIME_EXCEPTION_TEXT = "runtime problem: "; | |
83 | ||
84 | ||
85 | /** Error (or warning) number for: unknown import module. */ | |
86 | public static final int UNKNOWN_IMPORT_MODULE_CODE = 78082; | |
87 | ||
88 | /** Error (or warning) text for: unknown import module. */ | |
89 | public static final String UNKNOWN_IMPORT_MODULE_TEXT = "unknown (or not loaded) import module "; | |
90 | ||
91 | /** Error (or warning) text for: unknown import module. */ | |
92 | public static final String UNKNOWN_IMPORT_MODULE_TEXT_2 = " for "; | |
93 | ||
94 | ||
95 | /** Error code. */ | |
96 | public static final int PREDICATE_CALCULATION_FAILED_CODE = 40710; | |
97 | ||
98 | /** Error message. */ | |
99 | public static final String PREDICATE_CALCULATION_FAILED_TEXT | |
100 | = "calculation for predicate failed: "; | |
101 | ||
102 | ||
103 | } |
|