Clover Coverage Report
Coverage timestamp: Fri May 24 2013 13:47:27 UTC
0   92   0   -
0   28   -   0
0     -  
1    
 
  ModuleErrors       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.module;
17   
18    import org.qedeq.kernel.se.common.ErrorCodes;
19   
20    /**
21    * Error codes and messages for module package.
22    *
23    * @author Michael Meyling
24    */
 
25    public interface ModuleErrors extends ErrorCodes {
26   
27    /** Error code. */
28    public static final int QEDEQ_MODULE_NOT_LOADED_CODE = 90500;
29   
30    /** Error message. */
31    public static final String QEDEQ_MODULE_NOT_LOADED_TEXT
32    = "QEDEQ module couldn't be loaded.";
33   
34    /** Error (or warning) number for: Node reference not found for. */
35    public static final int NODE_REFERENCE_NOT_FOUND_CODE = 610007;
36   
37    /** Error (or warning) text for: Node reference not found for. */
38    public static final String NODE_REFERENCE_NOT_FOUND_TEXT
39    = "node reference not found for: ";
40   
41   
42    /** Error (or warning) number for: node reference has more than one dot. */
43    public static final int NODE_REFERENCE_HAS_MORE_THAN_ONE_DOT_CODE = 610011;
44   
45    /** Error (or warning) text for: Node reference not found for. */
46    public static final String NODE_REFERENCE_HAS_MORE_THAN_ONE_DOT_TEXT
47    = "node reference has more than one dots: ";
48   
49   
50    /** Error (or warning) number for: node reference must have only one sub reference. */
51    public static final int NODE_REFERENCE_MUST_HAVE_ONLY_ONE_SUB_REFERENCE_CODE = 610013;
52   
53    /** Error (or warning) text for: node reference must have only one sub reference. */
54    public static final String NODE_REFERENCE_MUST_HAVE_ONLY_ONE_SUB_REFERENCE_TEXT
55    = "node reference must have only one sub reference: ";
56   
57   
58    /** Error (or warning) number for: node reference must have only one proof line reference. */
59    public static final int NODE_REFERENCE_MUST_HAVE_ONLY_ONE_PROOF_LINE_REFERENCE_CODE = 610013;
60   
61    /** Error (or warning) text for: node reference must have only one sub reference. */
62    public static final String NODE_REFERENCE_MUST_HAVE_ONLY_ONE_PROOF_LINE_REFERENCE_TEXT
63    = "node reference must have only one proof line reference: ";
64   
65   
66    /** Error (or warning) number for: Module reference not found for. */
67    public static final int MODULE_REFERENCE_NOT_FOUND_CODE = 6100017;
68   
69    /** Error (or warning) text for: Module reference not found for. */
70    public static final String MODULE_REFERENCE_NOT_FOUND_TEXT
71    = "module reference not found for: ";
72   
73   
74    /** Error (or warning) number for: reference can not contain sub reference and proof line
75    * reference simultaneously. */
76    public static final int REFERENCE_CAN_NOT_CONTAIN_SUB_AND_LINE_REFERENCE_CODE = 90512;
77   
78    /** Error (or warning) text for: reference can not contain sub reference and proof line
79    * reference simultaneously. */
80    public static final String REFERENCE_CAN_NOT_CONTAIN_SUB_AND_LINE_REFERENCE_TEXT
81    = "reference can not contain sub reference and proof line reference simultaneously: ";
82   
83   
84    /** Error (or warning) number for: Id or label defined more than once. */
85    public static final int LABEL_DEFINED_MORE_THAN_ONCE_CODE = 10002;
86   
87    /** Error (or warning) text for: Id or label defined more than once. */
88    public static final String LABEL_DEFINED_MORE_THAN_ONCE_TEXT
89    = "Id or label defined more than once: ";
90   
91   
92    }