Constant Field Values

Contents

• org.qedeq.*

org.qedeq.*

org.qedeq.kernel.bo.logic.FormulaChecker

public static final String	CONJUNCTION_OPERATOR	"AND"
public static final String	DISJUNCTION_OPERATOR	"OR"
public static final String	EQUIVALENCE_OPERATOR	"EQUI"
public static final String	EXISTENTIAL_QUANTIFIER_OPERATOR	"EXISTS"
public static final String	IMPLICATION_OPERATOR	"IMPL"
public static final String	LIST_OPERATOR	"L"
public static final String	NEGATION_OPERATOR	"NOT"
public static final String	PREDICATE_OPERATOR	"PRED"
public static final String	PREDICATE_VARIABLE_OPERATOR	"PREDVAR"
public static final String	PROPOSITION_VARIABLE_OPERATOR	"PROP"
public static final String	SUBJECT_VARIABLE_OPERATOR	"VAR"
public static final String	UNIVERSAL_QUANTIFIER_OPERATOR	"FORALL"

org.qedeq.kernel.bo.module.ModuleConstants

public static final int	STATE_CODE_COMPLETE_CHECK_FAILED	9
public static final int	STATE_CODE_COMPLETE_CHECKING	9
public static final int	STATE_CODE_COMPLETELY_CHECKED	10
public static final int	STATE_CODE_CREATED	8
public static final int	STATE_CODE_CREATED_WITH_ERRORS	7
public static final int	STATE_CODE_CREATING	6
public static final int	STATE_CODE_INTERNAL_CHECK_FAILED	9
public static final int	STATE_CODE_INTERNAL_CHECKING	9
public static final int	STATE_CODE_INTERNALLY_CHECKED	10
public static final String	STATE_STRING_COMPLETE_CHECK_FAILED	"check failed"
public static final String	STATE_STRING_COMPLETE_CHECKING	"checking"
public static final String	STATE_STRING_COMPLETELY_CHECKED	"checked"
public static final String	STATE_STRING_CREATED	"created without errors"
public static final String	STATE_STRING_CREATED_WITH_ERRORS	"created with errors"
public static final String	STATE_STRING_CREATING	"creating"
public static final String	STATE_STRING_INTERNAL_CHECK_FAILED	"internal check failed"
public static final String	STATE_STRING_INTERNAL_CHECKING	"internally checking"
public static final String	STATE_STRING_INTERNALLY_CHECKED	"internally checked"

org.qedeq.kernel.parser.Operator

public static final int	FUNCTION	4
public static final int	INFIX	0
public static final int	POSTFIX	2
public static final int	SIMPLE_PREFIX	1

org.qedeq.kernel.rel.test.text.Xml2Latex

public static final String

TRACE_FILE_PATH

"log/trace.txt"

org.qedeq.kernel.rel.test.text.Xml2Wiki

public static final String

TRACE_FILE_PATH

"log/trace.txt"

org.qedeq.kernel.utility.TextInput

public static final char	CR	10
public static final int	EOF	-1

org.qedeq.kernel.xml.handler.module.LiteratureItemHandler

public static final String

ITEM_TAG

"ITEM"

org.qedeq.kernel.xml.handler.module.SectionHandler

public static final String	INTRODUCTION_TAG	"INTRODUCTION"
public static final String	SECTION_TAG	"SECTION"
public static final String	TITLE_TAG	"TITLE"

org.qedeq.kernel.xml.parser.ExceptionList

public static final int

MAXIMUM

10

org.qedeq.kernel.xml.parser.SaxParser

protected static final String

SCHEMA_FULL_CHECKING_FEATURE_ID

"http://apache.org/xml/features/validation/schema-full-checking"

org.qedeq.kernel.xml.parser.SyntaxException

public static final int	MISSING_ATTRIBUTE_CODE	9004
public static final String	MISSING_ATTRIBUTE_TEXT_1	"Missing attribute: "
public static final String	MISSING_ATTRIBUTE_TEXT_2	" in tag: "
public static final int	SAX_PARSER_EXCEPTION	9001
public static final int	UNEXPECTED_DATA_CODE	9003
public static final String	UNEXPECTED_DATA_TEXT	"Unexpected character data in tag: "
public static final int	UNEXPECTED_TAG_CODE	9002
public static final String	UNEXPECTED_TAG_TEXT	"Unexpected tag: "

org.qedeq.kernel.xml.tracker.XPathLocationFinder

public static final String

TRACE_FILE_PATH

"log/trace.txt"