/*
 * This file has been developed at the University of Munich, Chair for Programming & Software Engineering.
 * 
 * This file is licensed under the Eclipse Public License (EPL) 1.0
 * 
 */
package eu.uml4soa.utbm.ui.md.api;

public class ServerClientConstants {

	public static final String SERVER_ERROR= "RESULT/ERROR/";

	public static final String SERVER_CHECK_POSITIVE= "RESULT/CHECK_POSITIVE/";

	public static final String SERVER_CHECK_NEGATIVE= "RESULT/CHECK_NEGATIVE/";

	public static final String CHECKTYPE_COMPATIBILITY= "COMPATIBILITY";

	public static final String CHECKTYPE_REFINEMENT= "REFINEMENT";

	public static final String THEORY_STRONG= "STRONG";

	public static final String THEORY_WEAK= "WEAK";

	public static final String THEORY_SO= "STRICTOBSERVATIONAL";

	public static final String SEPARATOR= "+++";

	public static final String ERROR_COMPATIBILITY_SIGNATURE= "SIGNATURE";

	public static final String ERROR_COMPATIBILITY_TRANSITION= "TRANSITION";

	public static final String ERROR_REFINEMENT= "REFINEMENT";

}
