| ################################################################################# |
| # Copyright (c) 2016 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: |
| # Mauricio Alferez (CEA LIST) mauricio.alferez@cea.fr - initial API and implementation |
| ################################################################################## |
| |
| category.name = SysML14 Papyrus for Requirements Rules |
| constraint.name = SysML14 Papyrus for Requirements - Rule 1: Are all the requirements satisfied |
| constraint.message = SysML14 Papyrus for Requirements - Rule 1: {0}. |
| constraint.description = The requirement is not satifisfied by any Element |
| constraint.name.0 = SysML14 Papyrus for Requirements - Rule 2: Are all the requirements verified |
| constraint.message.0 = SysML14 Papyrus for Requirements - Rule 2: {0}. |
| constraint.description.0 = The requirement is not verified by any Element |
| constraint.name.1 = SysML14 Papyrus for Requirements - Rule 3: Are all the requirements texts must be different |
| constraint.message.1 = SysML14 Papyrus for Requirements - Rule 3: {0}. |
| constraint.description.1 = The text of the requirement is not syntactically different to the text of other requirement in the same model |
| Bundle-Name = SysML 1.4 Papyrus for Requirements - Requirements Verification (Incubation) |
| Bundle-Vendor = Eclipse Modeling Project |
