org.qedeq.kernel.se.common.CheckLevel Maven / Gradle / Ivy
/* This file is part of the project "Hilbert II" - http://www.qedeq.org
*
* Copyright 2000-2013, Michael Meyling .
*
* "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.se.common;
/**
* Represents a check level.
*
* @author Michael Meyling
*/
public interface CheckLevel {
/** Check was not performed yet. */
public int UNCHECKED = 0;
/** Check had failure result. */
public int FAILURE = 10;
/** Check successfully completed. */
public int SUCCESS = 20;
}