Clover Coverage Report
Coverage timestamp: Fri May 24 2013 13:47:27 UTC
Overview   Package   File
    FRAMES   NO FRAMES     
0   227   0   -
0   79   -   0
0     -  
1    
 
  FormulaBasicErrors       Line # 25 0 0 - -1.0
 
No Tests
 
1    /* This file is part of the project "Hilbert II" - http://www.qedeq.org
2    *
3    * Copyright 2000-2013, 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.wf;
17   
18    import org.qedeq.kernel.se.common.ErrorCodes;
19   
20    /**
21    * Error codes and messages for formula checker.
22    *
23    * @author Michael Meyling
24    */
 
25    public interface FormulaBasicErrors extends ErrorCodes {
26   
27    /** Error code. */
28    public static final int ELEMENT_MUST_NOT_BE_NULL = 30400;
29   
30    /** Error message. */
31    public static final String ELEMENT_MUST_NOT_BE_NULL_TEXT
32    = "element must not be null";
33   
34   
35    /** Error code. */
36    public static final int ATOM_MUST_NOT_BE_NULL = 30410;
37   
38    /** Error message. */
39    public static final String ATOM_MUST_NOT_BE_NULL_TEXT
40    = "atom must not be null";
41   
42   
43    /** Error code. */
44    public static final int LIST_MUST_NOT_BE_NULL = 30420;
45   
46    /** Error message. */
47    public static final String LIST_MUST_NOT_BE_NULL_TEXT
48    = "list must not be null";
49   
50   
51    /** Error code. */
52    public static final int ATOM_CONTENT_MUST_NOT_BE_NULL = 30430;
53   
54    /** Error message. */
55    public static final String ATOM_CONTENT_MUST_NOT_BE_NULL_TEXT
56    = "atom content must not be null";
57   
58   
59    /** Error code. */
60    public static final int ATOM_CONTENT_MUST_NOT_BE_EMPTY = 30440;
61   
62    /** Error message: first argument must be an atom. */
63    public static final String ATOM_CONTENT_MUST_NOT_BE_EMPTY_TEXT
64    = "atom content must not be empty";
65   
66   
67    /** Error code. */
68    public static final int OPERATOR_CONTENT_MUST_NOT_BE_NULL = 30450;
69   
70    /** Error message. */
71    public static final String OPERATOR_CONTENT_MUST_NOT_BE_NULL_TEXT
72    = "operator content must not be null";
73   
74   
75    /** Error code. */
76    public static final int OPERATOR_CONTENT_MUST_NOT_BE_EMPTY = 30460;
77   
78    /** Error message: first argument must be an atom. */
79    public static final String OPERATOR_CONTENT_MUST_NOT_BE_EMPTY_TEXT
80    = "operator content must not be empty";
81   
82   
83    /** Error code. */
84    public static final int LIST_EXPECTED = 30470;
85   
86    /** Error message. */
87    public static final String LIST_EXPECTED_TEXT
88    = "an atom is no formula";
89   
90   
91    /** Error code. */
92    public static final int UNKNOWN_LOGICAL_OPERATOR = 30530;
93   
94    /** Error message. */
95    public static final String UNKNOWN_LOGICAL_OPERATOR_TEXT =
96    "this logical operator is unknown: ";
97   
98   
99    /** 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    }
 
CloverReport generated by Clover Code Coverage v3.1.10
Fri May 24 2013 13:47:32 UTC.		   Clover: Open Source License registered to qedeq.org .