Clover Coverage Report
Coverage timestamp: Sa Aug 2 2008 13:56:27 CEST
Overview   Package   File
    FRAMES   NO FRAMES     
0   228   0   -
0   78   -   0
0     -  
1    
 
  FormulaBasicErrors       Line # 26 0 0 - -1.0
 
No Tests
 
1    /* $Id: FormulaBasicErrors.java,v 1.1 2008/07/26 07:58:29 m31 Exp $
2    *
3    * This file is part of the project "Hilbert II" - http://www.qedeq.org
4    *
5    * Copyright 2000-2008, Michael Meyling <mime@qedeq.org>.
6    *
7    * "Hilbert II" is free software; you can redistribute
8    * it and/or modify it under the terms of the GNU General Public
9    * License as published by the Free Software Foundation; either
10    * version 2 of the License, or (at your option) any later version.
11    *
12    * This program is distributed in the hope that it will be useful,
13    * but WITHOUT ANY WARRANTY; without even the implied warranty of
14    * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15    * GNU General Public License for more details.
16    */
17   
18    package org.qedeq.kernel.bo.logic.wf;
19   
20    /**
21    * Error codes and messages for formula checker.
22    *
23    * @version $Revision: 1.1 $
24    * @author Michael Meyling
25    */
 
26    public interface FormulaBasicErrors {
27   
28    /** Error code. */
29    public static final int ELEMENT_MUST_NOT_BE_NULL = 30400;
30   
31    /** Error message. */
32    public static final String ELEMENT_MUST_NOT_BE_NULL_TEXT
33    = "element must not be null";
34   
35   
36    /** Error code. */
37    public static final int ATOM_MUST_NOT_BE_NULL = 30410;
38   
39    /** Error message. */
40    public static final String ATOM_MUST_NOT_BE_NULL_TEXT
41    = "atom must not be null";
42   
43   
44    /** Error code. */
45    public static final int LIST_MUST_NOT_BE_NULL = 30420;
46   
47    /** Error message. */
48    public static final String LIST_MUST_NOT_BE_NULL_TEXT
49    = "list must not be null";
50   
51   
52    /** Error code. */
53    public static final int ATOM_CONTENT_MUST_NOT_BE_NULL = 30430;
54   
55    /** Error message. */
56    public static final String ATOM_CONTENT_MUST_NOT_BE_NULL_TEXT
57    = "atom content must not be null";
58   
59   
60    /** Error code. */
61    public static final int ATOM_CONTENT_MUST_NOT_BE_EMPTY = 30440;
62   
63    /** Error message: first argument must be an atom. */
64    public static final String ATOM_CONTENT_MUST_NOT_BE_EMPTY_TEXT
65    = "atom content must not be empty";
66   
67   
68    /** Error code. */
69    public static final int OPERATOR_CONTENT_MUST_NOT_BE_NULL = 30450;
70   
71    /** Error message. */
72    public static final String OPERATOR_CONTENT_MUST_NOT_BE_NULL_TEXT
73    = "operator content must not be null";
74   
75   
76    /** Error code. */
77    public static final int OPERATOR_CONTENT_MUST_NOT_BE_EMPTY = 30460;
78   
79    /** Error message: first argument must be an atom. */
80    public static final String OPERATOR_CONTENT_MUST_NOT_BE_EMPTY_TEXT
81    = "operator content must not be empty";
82   
83   
84    /** Error code. */
85    public static final int LIST_EXPECTED = 30470;
86   
87    /** Error message. */
88    public static final String LIST_EXPECTED_TEXT
89    = "an atom is no formula";
90   
91   
92    /** Error code. */
93    public static final int UNKNOWN_LOGICAL_OPERATOR = 30530;
94   
95    /** Error message. */
96    public static final String UNKNOWN_LOGICAL_OPERATOR_TEXT =
97    "this logical operator is unknown: ";
98   
99   
100    /** Error code. */
101    public static final int SUBJECT_VARIABLE_EXPECTED = 30540;
102   
103    /** Error message. */
104    public static final String SUBJECT_VARIABLE_EXPECTED_TEXT
105    = "subject variable expected";
106   
107   
108    /** Error code. */
109    public static final int SUBJECT_VARIABLE_ALREADY_BOUND_IN_FORMULA = 30550;
110   
111    /** Error message. */
112    public static final String SUBJECT_VARIABLE_ALREADY_BOUND_IN_FORMULA_TEXT
113    = "subject variable is already bound in sub formula";
114   
115   
116    /** Error code. */
117    public static final int SUBJECT_VARIABLE_OCCURS_NOT_IN_RESTRICTION_FORMULA = 30560;
118   
119    /** Error message. */
120    public static final String SUBJECT_VARIABLE_OCCURS_NOT_IN_RESTRICTION_FORMULA_TEXT
121    = "subject variable occurs not in restriction formula";
122   
123   
124    /** Error code. */
125    public static final int EQUALITY_PREDICATE_NOT_YET_DEFINED = 30570;
126   
127    /** Error message. */
128    public static final String EQUALITY_PREDICATE_NOT_YET_DEFINED_TEXT
129    = "the equality predicate was not yet defined";
130   
131   
132    /** Error code. */
133    public static final int UNKNOWN_PREDICATE_CONSTANT = 30590;
134   
135    /** Error message. */
136    public static final String UNKNOWN_PREDICATE_CONSTANT_TEXT
137    = "this predicate constant is unknown (at least for this argument number): ";
138   
139   
140    /** Error code. */
141    public static final int UNKNOWN_TERM_OPERATOR = 30620;
142   
143    /** Error message. */
144    public static final String UNKNOWN_TERM_OPERATOR_TEXT
145    = "unknown term operator: ";
146   
147   
148    /** Error code. */
149    public static final int CLASS_OPERATOR_STILL_UNKNOWN = 30680;
150   
151    /** Error message. */
152    public static final String CLASS_OPERATOR_STILL_UNKNOWN_TEXT
153    = "the class operator is still undefined";
154   
155   
156    /** Error code. */
157    public static final int UNKNOWN_FUNCTION_CONSTANT = 30690;
158   
159    /** Error message. */
160    public static final String UNKNOWN_FUNCTION_CONSTANT_TEXT
161    = "this function constant is unknown (at least for this argument number): ";
162   
163   
164    /** Error code. */
165    public static final int EXACTLY_ONE_ARGUMENT_EXPECTED = 30710;
166   
167    /** Error message. */
168    public static final String EXACTLY_ONE_ARGUMENT_EXPECTED_TEXT
169    = "exactly one argument expected for the operator ";
170   
171   
172    /** Error code. */
173    public static final int AT_LEAST_ONE_ARGUMENT_EXPECTED = 30720;
174   
175    /** Error message. */
176    public static final String AT_LEAST_ONE_ARGUMENT_EXPECTED_TEXT
177    = "at least one argument expected for ";
178   
179   
180    /** Error code. */
181    public static final int FIRST_ARGUMENT_MUST_BE_AN_ATOM = 30730;
182   
183    /** Error message: first argument must be an atom. */
184    public static final String FIRST_ARGUMENT_MUST_BE_AN_ATOM_TEXT
185    = "first argument must be an atom";
186   
187   
188    /** Error code. */
189    public static final int MORE_THAN_ONE_ARGUMENT_EXPECTED = 30740;
190   
191    /** Error message. */
192    public static final String MORE_THAN_ONE_ARGUMENT_EXPECTED_TEXT
193    = "more than one argument expected for the operator ";
194   
195   
196    /** Error code. */
197    public static final int EXACTLY_TWO_OR_THREE_ARGUMENTS_EXPECTED = 30750;
198   
199    /** Error message. */
200    public static final String EXACTLY_TWO_OR_THREE_ARGUMENTS_EXPECTED_TEXT
201    = "exactly two or three arguments expected";
202   
203   
204    /** Error code. */
205    public static final int EXACTLY_TWO_ARGUMENTS_EXPECTED = 30760;
206   
207    /** Error message. */
208    public static final String EXACTLY_TWO_ARGUMENTS_EXPECTED_TEXT
209    = "exactly two or three arguments expected";
210   
211   
212    /** Error code. */
213    public static final int BOUND_VARIABLE_ALREADY_FREE = 30770;
214   
215    /** Error message. */
216    public static final String BOUND_VARIABLE_ALREADY_FREE_TEXT
217    = "these bound variables are already free in previous formulas: ";
218   
219   
220    /** Error code. */
221    public static final int FREE_VARIABLE_ALREADY_BOUND = 30780;
222   
223    /** Error message. */
224    public static final String FREE_VARIABLE_ALREADY_BOUND_TEXT
225    = "these free variables were already bound in previous formulas: ";
226   
227   
228    }
 
CloverReport generated by Clover Code Coverage v2.3.1
Sa Aug 2 2008 13:56:32 CEST.		   Clover: Open Source License registered to qedeq.org .