/* $Id: MathematicalStateDescriptions.java,v 1.1 2007/04/01 07:59:48 m31 Exp $
 *
 * This file is part of the project "Hilbert II" - http://www.qedeq.org
 *
 * Copyright 2000-2007,  Michael Meyling <mime@qedeq.org>.
 *
 * "Hilbert II" is free software; you can redistribute
 * it and/or modify it under the terms of the GNU General Public
 * License as published by the Free Software Foundation; either
 * version 2 of the License, or (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
 * GNU General Public License for more details.
 */

package org.qedeq.kernel.bo.module;

/**
 * This interface provides primitive constants for the {@link MathematicalState}.
 *
 * TODO mime 20070312: what about exception lists? e.g. not all can be imported, but
 *                     we have only some checking errors within the module directly
 *
 * @version $Revision: 1.1 $
 * @author Michael Meyling
 */
public interface MathematicalStateDescriptions {

    /** Code for unchecked state. */
    public static final int STATE_CODE_UNCHECKED = 0;

    /** Description for unchecked state. */
    public static final String STATE_STRING_UNCHECKED = "unchecked";

    /** Code for external checking phase. */
    public static final int STATE_CODE_EXTERNAL_CHECKING = 1;

    /** Description for external internal checking phase. */
    public static final String STATE_STRING_EXTERNAL_CHECKING = "checking imports";

    /** Code for external check failure. */
    public static final int STATE_CODE_EXTERNAL_CHECK_FAILED = 2;

    /** Description for external check failure. */
    public static final String STATE_STRING_EXTERNAL_CHECK_FAILED = "import check failed";

    /** Code for internal checking phase. */
    public static final int STATE_CODE_INTERNAL_CHECKING = 3;

    /** Description for internal checking phase. */
    public static final String STATE_STRING_INTERNAL_CHECKING = "checking";

    /** Code for check failure. */
    public static final int STATE_CODE_INTERNAL_CHECK_FAILED = 4;

    /** Description for check failure. */
    public static final String STATE_STRING_INTERNAL_CHECK_FAILED = "check failed";

    /** Code for successfully completely checked state. */
    public static final int STATE_CODE_COMPLETELY_CHECKED = 5;

    /** Description for successfully completely checked state. */
    public static final String STATE_STRING_COMPLETELY_CHECKED = "checked";

}