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