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.model;
017
018 import org.qedeq.kernel.se.common.ErrorCodes;
019
020
021 /**
022 * Contains the error codes for heuristic model checks.
023 *
024 * @author Michael Meyling
025 */
026 public interface HeuristicErrorCodes extends ErrorCodes {
027
028 /** Error (or warning) number for: no tautology in our model. */
029 public static final int EVALUATED_NOT_TRUE_CODE = 77007;
030
031 /** Error (or warning) text for: no tautology in our model. */
032 public static final String EVALUATED_NOT_TRUE_TEXT = "no tautology in our model";
033
034
035 /** Error (or warning) number for: wrong calling convention, list expected. */
036 public static final int WRONG_CALLING_CONVENTION_CODE = 77091;
037
038 /** Error (or warning) text for: wrong calling convention, list expected. */
039 public static final String WRONG_CALLING_CONVENTION_TEXT
040 = "wrong calling convention, list expected";
041
042
043 /** Error (or warning) number for: unknown operator. */
044 public static final int UNKNOWN_OPERATOR_CODE = 77080;
045
046 /** Error (or warning) text for: unknown operator. */
047 public static final String UNKNOWN_OPERATOR_TEXT = "unknown operator: ";
048
049
050 /** Error (or warning) number for: unknown predicate constant. */
051 public static final int UNKNOWN_PREDICATE_CONSTANT_CODE = 77082;
052
053 /** Error (or warning) text for: unknown predicate constant. */
054 public static final String UNKNOWN_PREDICATE_CONSTANT_TEXT = "unknown predicate constant: ";
055
056
057 /** Error (or warning) number for: unknown term operator. */
058 public static final int UNKNOWN_TERM_OPERATOR_CODE = 77084;
059
060 /** Error (or warning) text for: unknown term operator. */
061 public static final String UNKNOWN_TERM_OPERATOR_TEXT = "unknown term operator: ";
062
063
064 /** Error (or warning) number for: unknown function constant. */
065 public static final int UNKNOWN_FUNCTION_CONSTANT_CODE = 77092;
066
067 /** Error (or warning) text for: unknown function constant. */
068 public static final String UNKNOWN_FUNCTION_CONSTANT_TEXT = "unknown function constant: ";
069
070
071 /** Error (or warning) number for: unknown format for argument size. */
072 public static final int UNKNOWN_ARGUMENT_FORMAT_CODE = 77100;
073
074 /** Error (or warning) text for: unknown format for argument size. */
075 public static final String UNKNOWN_ARGUMENT_FORMAT_TEXT = "unknown format for argument size: ";
076
077
078 /** Error (or warning) number for: unknown format for argument size. */
079 public static final int RUNTIME_EXCEPTION_CODE = 77777;
080
081 /** Error (or warning) text for: unknown format for argument size. */
082 public static final String RUNTIME_EXCEPTION_TEXT = "runtime problem: ";
083
084
085 /** Error (or warning) number for: unknown import module. */
086 public static final int UNKNOWN_IMPORT_MODULE_CODE = 78082;
087
088 /** Error (or warning) text for: unknown import module. */
089 public static final String UNKNOWN_IMPORT_MODULE_TEXT = "unknown (or not loaded) import module ";
090
091 /** Error (or warning) text for: unknown import module. */
092 public static final String UNKNOWN_IMPORT_MODULE_TEXT_2 = " for ";
093
094
095 /** Error code. */
096 public static final int PREDICATE_CALCULATION_FAILED_CODE = 40710;
097
098 /** Error message. */
099 public static final String PREDICATE_CALCULATION_FAILED_TEXT
100 = "calculation for predicate failed: ";
101
102
103 }
|