| ############################################################################### |
| # Copyright (c) 2017 CEA LIST. |
| # |
| # All rights reserved. This program and the accompanying materials |
| # are made available under the terms of the Eclipse Public License v1.0 |
| # which accompanies this distribution, and is available at |
| # http://www.eclipse.org/legal/epl-v10.html |
| # |
| # Contributors: |
| # CEA LIST - Initial API and implementation |
| ############################################################################### |
| #Properties file for org.eclipse.papyrus.requirements.sysml.verification |
| category.name = Papyrus for Requirements Rules |
| constraint.name = Papyrus for Requirements - Rule 1: Are all the requirements satisfied |
| constraint.message = Papyrus for Requirements - Rule 1: {0}. |
| constraint.description = The requirement is not satifisfied by any Element |
| constraint.name.0 = Papyrus for Requirements - Rule 2: Are all the requirements verified |
| constraint.message.0 = Papyrus for Requirements - Rule 2: {0}. |
| constraint.description.0 = The requirement is not verified by any Element |
| Bundle-Name = Papyrus for Requirements - Requirements Verification (Incubation) |
| Bundle-Vendor = Eclipse Modeling Project |
