/******************************************************************************* | |
* 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"; | |
} |