Clover Coverage Report
Coverage timestamp: Fri Feb 14 2014 01:47:57 UTC
0   103   0   -
0   27   -   0
0     -  
1    
 
  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    }