001 /* This file is part of the project "Hilbert II" - http://www.qedeq.org
002 *
003 * Copyright 2000-2011, Michael Meyling <mime@qedeq.org>.
004 *
005 * "Hilbert II" is free software; you can redistribute
006 * it and/or modify it under the terms of the GNU General Public
007 * License as published by the Free Software Foundation; either
008 * version 2 of the License, or (at your option) any later version.
009 *
010 * This program is distributed in the hope that it will be useful,
011 * but WITHOUT ANY WARRANTY; without even the implied warranty of
012 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
013 * GNU General Public License for more details.
014 */
015
016 package org.qedeq.kernel.bo.logic.wf;
017
018 import org.qedeq.kernel.se.common.ErrorCodes;
019
020 /**
021 * Error codes and messages for formula checker.
022 *
023 * @author Michael Meyling
024 */
025 public interface FormulaBasicErrors extends ErrorCodes {
026
027 /** Error code. */
028 public static final int ELEMENT_MUST_NOT_BE_NULL = 30400;
029
030 /** Error message. */
031 public static final String ELEMENT_MUST_NOT_BE_NULL_TEXT
032 = "element must not be null";
033
034
035 /** Error code. */
036 public static final int ATOM_MUST_NOT_BE_NULL = 30410;
037
038 /** Error message. */
039 public static final String ATOM_MUST_NOT_BE_NULL_TEXT
040 = "atom must not be null";
041
042
043 /** Error code. */
044 public static final int LIST_MUST_NOT_BE_NULL = 30420;
045
046 /** Error message. */
047 public static final String LIST_MUST_NOT_BE_NULL_TEXT
048 = "list must not be null";
049
050
051 /** Error code. */
052 public static final int ATOM_CONTENT_MUST_NOT_BE_NULL = 30430;
053
054 /** Error message. */
055 public static final String ATOM_CONTENT_MUST_NOT_BE_NULL_TEXT
056 = "atom content must not be null";
057
058
059 /** Error code. */
060 public static final int ATOM_CONTENT_MUST_NOT_BE_EMPTY = 30440;
061
062 /** Error message: first argument must be an atom. */
063 public static final String ATOM_CONTENT_MUST_NOT_BE_EMPTY_TEXT
064 = "atom content must not be empty";
065
066
067 /** Error code. */
068 public static final int OPERATOR_CONTENT_MUST_NOT_BE_NULL = 30450;
069
070 /** Error message. */
071 public static final String OPERATOR_CONTENT_MUST_NOT_BE_NULL_TEXT
072 = "operator content must not be null";
073
074
075 /** Error code. */
076 public static final int OPERATOR_CONTENT_MUST_NOT_BE_EMPTY = 30460;
077
078 /** Error message: first argument must be an atom. */
079 public static final String OPERATOR_CONTENT_MUST_NOT_BE_EMPTY_TEXT
080 = "operator content must not be empty";
081
082
083 /** Error code. */
084 public static final int LIST_EXPECTED = 30470;
085
086 /** Error message. */
087 public static final String LIST_EXPECTED_TEXT
088 = "an atom is no formula";
089
090
091 /** Error code. */
092 public static final int UNKNOWN_LOGICAL_OPERATOR = 30530;
093
094 /** Error message. */
095 public static final String UNKNOWN_LOGICAL_OPERATOR_TEXT =
096 "this logical operator is unknown: ";
097
098
099 /** Error code. */
100 public static final int SUBJECT_VARIABLE_EXPECTED = 30540;
101
102 /** Error message. */
103 public static final String SUBJECT_VARIABLE_EXPECTED_TEXT
104 = "subject variable expected";
105
106
107 /** Error code. */
108 public static final int SUBJECT_VARIABLE_ALREADY_BOUND_IN_FORMULA = 30550;
109
110 /** Error message. */
111 public static final String SUBJECT_VARIABLE_ALREADY_BOUND_IN_FORMULA_TEXT
112 = "subject variable is already bound in sub formula";
113
114
115 /** Error code. */
116 public static final int SUBJECT_VARIABLE_OCCURS_NOT_IN_RESTRICTION_FORMULA = 30560;
117
118 /** Error message. */
119 public static final String SUBJECT_VARIABLE_OCCURS_NOT_IN_RESTRICTION_FORMULA_TEXT
120 = "subject variable occurs not in restriction formula";
121
122
123 /** Error code. */
124 public static final int EQUALITY_PREDICATE_NOT_YET_DEFINED = 30570;
125
126 /** Error message. */
127 public static final String EQUALITY_PREDICATE_NOT_YET_DEFINED_TEXT
128 = "the equality predicate was not yet defined";
129
130
131 /** Error code. */
132 public static final int UNKNOWN_PREDICATE_CONSTANT = 30590;
133
134 /** Error message. */
135 public static final String UNKNOWN_PREDICATE_CONSTANT_TEXT
136 = "this predicate constant is unknown (at least for this argument number): ";
137
138
139 /** Error code. */
140 public static final int UNKNOWN_TERM_OPERATOR = 30620;
141
142 /** Error message. */
143 public static final String UNKNOWN_TERM_OPERATOR_TEXT
144 = "unknown term operator: ";
145
146
147 /** Error code. */
148 public static final int CLASS_OPERATOR_STILL_UNKNOWN = 30680;
149
150 /** Error message. */
151 public static final String CLASS_OPERATOR_STILL_UNKNOWN_TEXT
152 = "the class operator is still undefined";
153
154
155 /** Error code. */
156 public static final int UNKNOWN_FUNCTION_CONSTANT = 30690;
157
158 /** Error message. */
159 public static final String UNKNOWN_FUNCTION_CONSTANT_TEXT
160 = "this function constant is unknown (at least for this argument number): ";
161
162
163 /** Error code. */
164 public static final int EXACTLY_ONE_ARGUMENT_EXPECTED = 30710;
165
166 /** Error message. */
167 public static final String EXACTLY_ONE_ARGUMENT_EXPECTED_TEXT
168 = "exactly one argument expected for the operator ";
169
170
171 /** Error code. */
172 public static final int AT_LEAST_ONE_ARGUMENT_EXPECTED = 30720;
173
174 /** Error message. */
175 public static final String AT_LEAST_ONE_ARGUMENT_EXPECTED_TEXT
176 = "at least one argument expected for ";
177
178
179 /** Error code. */
180 public static final int FIRST_ARGUMENT_MUST_BE_AN_ATOM = 30730;
181
182 /** Error message: first argument must be an atom. */
183 public static final String FIRST_ARGUMENT_MUST_BE_AN_ATOM_TEXT
184 = "first argument must be an atom";
185
186
187 /** Error code. */
188 public static final int MORE_THAN_ONE_ARGUMENT_EXPECTED = 30740;
189
190 /** Error message. */
191 public static final String MORE_THAN_ONE_ARGUMENT_EXPECTED_TEXT
192 = "more than one argument expected for the operator ";
193
194
195 /** Error code. */
196 public static final int EXACTLY_TWO_OR_THREE_ARGUMENTS_EXPECTED = 30750;
197
198 /** Error message. */
199 public static final String EXACTLY_TWO_OR_THREE_ARGUMENTS_EXPECTED_TEXT
200 = "exactly two or three arguments expected";
201
202
203 /** Error code. */
204 public static final int EXACTLY_TWO_ARGUMENTS_EXPECTED = 30760;
205
206 /** Error message. */
207 public static final String EXACTLY_TWO_ARGUMENTS_EXPECTED_TEXT
208 = "exactly two or three arguments expected";
209
210
211 /** Error code. */
212 public static final int BOUND_VARIABLE_ALREADY_FREE = 30770;
213
214 /** Error message. */
215 public static final String BOUND_VARIABLE_ALREADY_FREE_TEXT
216 = "these bound variables are already free in previous formulas: ";
217
218
219 /** Error code. */
220 public static final int FREE_VARIABLE_ALREADY_BOUND = 30780;
221
222 /** Error message. */
223 public static final String FREE_VARIABLE_ALREADY_BOUND_TEXT
224 = "these free variables were already bound in previous formulas: ";
225
226
227 }
|