CHESSIoT_Dev_old-master/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/Constants.java
/*******************************************************************************
 * Copyright (C) 2020 Fondazione Bruno Kessler.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v2.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v20.html
 ******************************************************************************/
package org.polarsys.chess.contracts.profile.chesscontract.util;

public class Constants {
	public static String ContractRefinementAnalysis = "CHESSContract::ContractRefinementAnalysisContext";
	public static final String CONTRACT = "CHESSContract::Contract";
	public static final String CONTRACT_PROP = "CHESSContract::ContractProperty";
	public static final String DELEGATION_CONST = "CHESSContract::DelegationConstraint";
	public static final String FORMAL_PROP = "CHESSContract::FormalProperty";
}
