HigherLogicalErrors (Hilbert II)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

Hilbert II - Version 0.03.02

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.qedeq.kernel.bo.control
Interface HigherLogicalErrors

public interface HigherLogicalErrors

Error codes and messages for formula checker.

Version:: $Revision: 1.1 $

Field Summary
`static int`	`FUNCTION_ALREADY_DEFINED` Error code.
`static String`	`FUNCTION_ALREADY_DEFINED_TEXT` Error message.
`static int`	`PREDICATE_ALREADY_DEFINED` Error code.
`static String`	`PREDICATE_ALREADY_DEFINED_TEXT` Error message.

Field Detail

PREDICATE_ALREADY_DEFINED

public static final int PREDICATE_ALREADY_DEFINED

Error code.

See Also:: Constant Field Values

PREDICATE_ALREADY_DEFINED_TEXT

public static final String PREDICATE_ALREADY_DEFINED_TEXT

Error message.

See Also:: Constant Field Values

FUNCTION_ALREADY_DEFINED

public static final int FUNCTION_ALREADY_DEFINED