| <?xml version="1.0" encoding="UTF-8" standalone="no"?> |
| <?eclipse version="3.4"?> |
| <plugin> |
| <extension name="org.eclipse.papyrus.sysml14.validation.constraintProviders" point="org.eclipse.emf.validation.constraintProviders"> |
| <category id="org.eclipse.papyrus.sysml14.validation.category.normative" mandatory="false" name="SysML 1.4 normative constraints"> |
| Constraints listed in SysML 1.4 norm. |
| </category> |
| <category id="org.eclipse.papyrus.sysml14.validation.category.optional" mandatory="false" name="SysML 1.4 optional constraints"> |
| Constraints provided to help the modeler but not required by the norm. |
| </category> |
| |
| <!-- Constraints on UML elements --> |
| <constraintProvider cache="false" mode="Batch"> |
| <package namespaceUri="http://www.eclipse.org/uml2/5.0.0/UML"/> |
| <constraints categories="org.eclipse.papyrus.sysml14.validation.category.normative"> |
| <constraint id="constraint.block.associationBlock" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="block.associationBlock" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.AssociationBlockModelConstraint"> |
| <message>%inv_AssociationBlock</message> |
| <description>%inv_AssociationBlock</description> |
| </constraint> |
| |
| <constraint id="constraint.block.property.asssociationend" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="property.asssociationend" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.BlockPropertyAssociationEndModelConstraint"> |
| <message>%inv_BlockPropertyAssociationEnd</message> |
| <description>%inv_BlockPropertyAssociationEnd</description> |
| </constraint> |
| |
| <constraint id="constraint.block.specialization" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="block.specialization" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.BlockSpecializationModelConstraint"> |
| <message>%inv_BlockSpecialization</message> |
| <description>%inv_BlockSpecialization</description> |
| </constraint> |
| |
| <constraint id="constraint.block.propertynoname" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="block.propertynoname" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.BlockPropertyNoNameModelConstraint"> |
| <message>%inv_BlockPropertyNoName</message> |
| <description>%inv_BlockPropertyNoName</description> |
| </constraint> |
| |
| </constraints> |
| <constraints categories="org.eclipse.papyrus.sysml14.validation.category.optional"> |
| <constraint id="constraint.nestedConnectorEnd.missing" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="nestedConnectorEnd.missing" |
| class="org.eclipse.papyrus.sysml14.validation.rules.nonnormative.NestedConnectorEndMissingConstraintModelConstraint"> |
| <message>%inv_NestedConnectorEndMissing</message> |
| <description>%inv_NestedConnectorEndMissing</description> |
| </constraint> |
| </constraints> |
| |
| |
| |
| </constraintProvider> |
| |
| <constraintProvider cache="false" mode="Batch"> |
| <package namespaceUri="http://www.eclipse.org/papyrus/sysml/1.4/SysML/Requirements"/> |
| <constraints categories="org.eclipse.papyrus.sysml14.validation.category.optional"> |
| <constraint id="constraint.requirement.requireId" isEnabledByDefault="true" lang="OCLpivot" mode="Batch" severity="WARNING" statusCode="1" name="requirement.requireId"> |
| <message>%inv_RequirementId</message> |
| <description>%inv_RequirementId</description> |
| <![CDATA[%ocl_RequirementId]]> |
| </constraint> |
| <constraint id="constraint.requirement.requireText" isEnabledByDefault="true" lang="OCLpivot" mode="Batch" severity="WARNING" statusCode="1" name="requirement.requireText"> |
| <message>%inv_RequirementText</message> |
| <description>%inv_RequirementText</description> |
| <![CDATA[%ocl_RequirementText]]> |
| </constraint> |
| </constraints> |
| |
| <constraints categories="org.eclipse.papyrus.sysml14.validation.category.normative"> |
| <constraint id="constraint.requirement.emptyownedattribute" isEnabledByDefault="true" lang="OCLpivot" mode="Batch" severity="ERROR" statusCode="3" name="requirement.emptyownedattribute"> |
| <message>%inv_RequirementEmptyOwnedAttribute</message> |
| <description>%inv_RequirementEmptyOwnedAttribute</description> |
| <![CDATA[%ocl_RequirementEmptyOwnedAttribute]]> |
| </constraint> |
| <constraint id="constraint.requirement.emptyownedoperation" isEnabledByDefault="true" lang="OCLpivot" mode="Batch" severity="ERROR" statusCode="3" name="requirement.emptyownedoperation"> |
| <message>%inv_RequirementEmptyOwnedOperation</message> |
| <description>%inv_RequirementEmptyOwnedOperation</description> |
| <![CDATA[%ocl_RequirementEmptyOwnedOperation]]> |
| </constraint> |
| |
| <constraint id="constraint.requirement.nestedrequirement" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="requirement.nestedrequirement" |
| class="org.eclipse.papyrus.sysml14.validation.rules.requirements.RequirementNestedRequirementModelConstraint"> |
| <message>%inv_RequirementNestedRequirementModelConstraint</message> |
| <description>%inv_RequirementNestedRequirementModelConstraint</description> |
| </constraint> |
| <constraint id="constraint.requirement.noassociation" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="requirement.noassociation" |
| class="org.eclipse.papyrus.sysml14.validation.rules.requirements.RequirementNoAssociationModelConstraint"> |
| <message>%inv_RequirementNoAssociationModelConstraint</message> |
| <description>%inv_RequirementNoAssociationModelConstraint</description> |
| </constraint> |
| <constraint id="constraint.requirement.nogeneralization" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="requirement.nogeneralization" |
| class="org.eclipse.papyrus.sysml14.validation.rules.requirements.RequirementNoGeneralizationModelConstraint"> |
| <message>%inv_RequirementNoGeneralizationModelConstraint</message> |
| <description>%inv_RequirementNoGeneralizationModelConstraint</description> |
| </constraint> |
| |
| <constraint id="constraint.requirement.notype" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="requirement.notype" |
| class="org.eclipse.papyrus.sysml14.validation.rules.requirements.RequirementNotTypeModelConstraint"> |
| <message>%inv_RequirementNotType</message> |
| <description>%inv_RequirementNotType</description> |
| </constraint> |
| |
| |
| <constraint id="constraint.derivereqt.client" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="derivereqt.client" |
| class="org.eclipse.papyrus.sysml14.validation.rules.requirements.DeriveReqtClientModelConstraint"> |
| <message>%inv_DeriveReqtClientModelConstraint</message> |
| <description>%inv_DeriveReqtClientModelConstraint</description> |
| </constraint> |
| |
| <constraint id="constraint.derivereqt.supplier" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="derivereqt.supplier" |
| class="org.eclipse.papyrus.sysml14.validation.rules.requirements.DeriveReqtSupplierModelConstraint"> |
| <message>%inv_DeriveReqtSupplierModelConstraint</message> |
| <description>%inv_DeriveReqtSupplierModelConstraint</description> |
| </constraint> |
| <constraint id="constraint.refine.dependency" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="refine.dependency" |
| class="org.eclipse.papyrus.sysml14.validation.rules.requirements.RefineDependencyModelConstraint"> |
| <message>%inv_RefineDependencyModelConstraint</message> |
| <description>%inv_RefineDependencyModelConstraint</description> |
| </constraint> |
| <constraint id="constraint.refine.oneclientsupplier" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="refine.oneclientsupplier" |
| class="org.eclipse.papyrus.sysml14.validation.rules.requirements.RefineOneClientSupplierModelConstraint"> |
| <message>%inv_RefineOneClientSupplierModelConstraint</message> |
| <description>%inv_RefineOneClientSupplierModelConstraint</description> |
| </constraint> |
| <constraint id="constraint.verify.supplier" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="verify.supplier" |
| class="org.eclipse.papyrus.sysml14.validation.rules.requirements.VerifySupplierModelConstraint"> |
| <message>%inv_VerifySupplierModelConstraint</message> |
| <description>%inv_VerifySupplierModelConstraint</description> |
| </constraint> |
| <constraint id="constraint.satisfy.supplier" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="satisfy.supplier" |
| class="org.eclipse.papyrus.sysml14.validation.rules.requirements.SatisfySupplierModelConstraint"> |
| <message>%inv_SatisfySupplierModelConstraint</message> |
| <description>%inv_SatisfySupplierModelConstraint</description> |
| </constraint> |
| <constraint id="constraint.trace.dependency" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="trace.dependency" |
| class="org.eclipse.papyrus.sysml14.validation.rules.requirements.TraceDependencyModelConstraint"> |
| <message>%inv_TraceDependencyModelConstraint</message> |
| <description>%inv_TraceDependencyModelConstraint</description> |
| </constraint> |
| <constraint id="constraint.trace.supplier" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="trace.supplier" |
| class="org.eclipse.papyrus.sysml14.validation.rules.requirements.TraceOneClientSupplierModelConstraint"> |
| <message>%inv_TraceOneClientSupplierModelConstraint</message> |
| <description>%inv_TraceOneClientSupplierModelConstraint</description> |
| </constraint> |
| <constraint id="constraint.copy.betweenrequirements" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="copy.betweenrequirements" |
| class="org.eclipse.papyrus.sysml14.validation.rules.requirements.CopyBetweenRequirementsModelConstraint"> |
| <message>%inv_CopyBetweenRequirementsModelConstraint</message> |
| <description>%inv_CopyBetweenRequirementsModelConstraint</description> |
| </constraint> |
| <constraint id="constraint.copy.readonly" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="copy.readonly" |
| class="org.eclipse.papyrus.sysml14.validation.rules.requirements.CopyReadOnlyModelConstraint"> |
| <message>%inv_CopyReadOnlyModelConstraint</message> |
| <description>%inv_CopyReadOnlyModelConstraint</description> |
| </constraint> |
| <constraint id="constraint.testcase.parameterverdictkind" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="testcase.parameterverdictkind" |
| class="org.eclipse.papyrus.sysml14.validation.rules.requirements.TestCaseParamVerdictKindModelConstraint"> |
| <message>%inv_TestCaseParameterVerdictKindModelConstraint</message> |
| <description>%inv_TestCaseParameterVerdictKindModelConstraint</description> |
| </constraint> |
| </constraints> |
| </constraintProvider> |
| |
| <constraintProvider cache="false" mode="Batch"> |
| <package namespaceUri="http://www.eclipse.org/papyrus/sysml/1.4/SysML/Activities"/> |
| <constraints categories="org.eclipse.papyrus.sysml14.validation.category.normative"> |
| <constraint id="constraint.optional.multiplicity" isEnabledByDefault="true" lang="OCLpivot" mode="Batch" severity="ERROR" statusCode="3" name="optional.multiplicity"> |
| <message>%inv_OptionalParameterMultiplicity</message> |
| <description>%inv_OptionalParameterMultiplicity</description> |
| <![CDATA[%ocl_OptionalParameterMultiplicity]]> |
| </constraint> |
| |
| <constraint id="constraint.discrete.nocontinuous" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="discrete.nocontinuous" |
| class="org.eclipse.papyrus.sysml14.validation.rules.activities.DiscreteNoContinuousModelConstraint"> |
| <message>%inv_DiscreteNoContinuous</message> |
| <description>%inv_DiscreteNoContinuous</description> |
| </constraint> |
| |
| <constraint id="constraint.nobuffer.nooverwrite" isEnabledByDefault="true" lang="OCLpivot" mode="Batch" severity="ERROR" statusCode="3" name="nobuffer.nooverwrite"> |
| <message>%inv_NoBufferNoOverwrite</message> |
| <description>%inv_NoBufferNoOverwrite</description> |
| <![CDATA[%ocl_NoBufferNoOverwrite]]> |
| </constraint> |
| |
| <constraint id="constraint.overwrite.nonobuffer" isEnabledByDefault="true" lang="OCLpivot" mode="Batch" severity="ERROR" statusCode="3" name="overwrite.nonobuffer"> |
| <message>%inv_OverwriteNoNoBuffer</message> |
| <description>%inv_OverwriteNoNoBuffer</description> |
| <![CDATA[%ocl_OverwriteNoNoBuffer]]> |
| </constraint> |
| |
| <constraint id="constraint.rate.parameterisstream" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="rate.parameterisstream" |
| class="org.eclipse.papyrus.sysml14.validation.rules.activities.RateParameterIsStreamModelConstraint"> |
| <message>%inv_RateParameterIsStream</message> |
| <description>%inv_RateParameterIsStream</description> |
| </constraint> |
| |
| <constraint id="constraint.rate.parameterlessinout" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="rate.parameterlessinout" |
| class="org.eclipse.papyrus.sysml14.validation.rules.activities.RateParameterLessInoutModelConstraint"> |
| <message>%inv_RateParameterLessInout</message> |
| <description>%inv_RateParameterLessInout</description> |
| </constraint> |
| |
| <constraint id="constraint.probability.alledges" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="probability.alledges" |
| class="org.eclipse.papyrus.sysml14.validation.rules.activities.ProbabilityAllEdgesModelConstraint"> |
| <message>%inv_ProbabilityAllEdges</message> |
| <description>%inv_ProbabilityAllEdges</description> |
| </constraint> |
| |
| <constraint id="constraint.probability.baseelement" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="probability.baseelement" |
| class="org.eclipse.papyrus.sysml14.validation.rules.activities.ProbabilityBaseElementModelConstraint"> |
| <message>%inv_ProbabilityBaseElement</message> |
| <description>%inv_ProbabilityBaseElement</description> |
| </constraint> |
| |
| <constraint id="constraint.probability.outputparameters" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="probability.outputparameters" |
| class="org.eclipse.papyrus.sysml14.validation.rules.activities.ProbabilityOutputParametersModelConstraint"> |
| <message>%inv_ProbabilityOutputParameters</message> |
| <description>%inv_ProbabilityOutputParameters</description> |
| </constraint> |
| |
| <constraint id="constraint.probability.allparameterset" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="probability.allparameterset" |
| class="org.eclipse.papyrus.sysml14.validation.rules.activities.ProbabilityToAllParameterSetModelConstraint"> |
| <message>%inv_ProbabilityToAllParameterSet</message> |
| <description>%inv_ProbabilityToAllParameterSet</description> |
| </constraint> |
| |
| </constraints> |
| </constraintProvider> |
| |
| <constraintProvider cache="false" mode="Batch"> |
| <package namespaceUri="http://www.eclipse.org/papyrus/sysml/1.4/SysML/Allocations"/> |
| <constraints categories="org.eclipse.papyrus.sysml14.validation.category.normative"> |
| <constraint id="constraint.allocate.oneclientsupplier" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="allocate.oneclientsupplier" |
| class="org.eclipse.papyrus.sysml14.validation.rules.allocations.AllocateOneClientSupplierModelConstraint"> |
| <message>%inv_AllocateOneClientSupplier</message> |
| <description>%inv_AllocateOneClientSupplier</description> |
| </constraint> |
| <constraint id="constraint.allocate.onlyabstraction" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="allocate.onlyabstraction" |
| class="org.eclipse.papyrus.sysml14.validation.rules.allocations.AllocateOnlyAbstractionModelConstraint"> |
| <message>%inv_AllocateOnlyAbstraction</message> |
| <description>%inv_AllocateOnlyAbstraction</description> |
| </constraint> |
| |
| </constraints> |
| </constraintProvider> |
| |
| |
| |
| <constraintProvider cache="false" mode="Batch"> |
| <package namespaceUri="http://www.eclipse.org/papyrus/sysml/1.4/SysML/Blocks"/> |
| <constraints categories="org.eclipse.papyrus.sysml14.validation.category.normative"> |
| |
| <constraint id="constraint.directedrelationshippropertypath.requiresourcecontext" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="directedrelationshippropertypath.requiresourcecontext" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.DirectedRelationshipPropertyPathRequireSourceContextModelConstraint"> |
| <message>%inv_DirectedRelationshipPropertyPathRequireSourceContext</message> |
| <description>%inv_DirectedRelationshipPropertyPathRequireSourceContext</description> |
| </constraint> |
| <constraint id="constraint.directedrelationshippropertypath.requiretargetcontext" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="directedrelationshippropertypath.requiretargetcontext" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.DirectedRelationshipPropertyPathRequireTargetContextModelConstraint"> |
| <message>%inv_DirectedRelationshipPropertyPathRequireTargetContext</message> |
| <description>%inv_DirectedRelationshipPropertyPathRequireTargetContext</description> |
| </constraint> |
| <constraint id="constraint.directedrelationshippropertypath.sourcefirst" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="directedrelationshippropertypath.sourcefirst" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.DirectedRelationshipPropertyPathSourceFirstModelConstraint"> |
| <message>%inv_DirectedRelationshipPropertyPathSourceFirst</message> |
| <description>%inv_DirectedRelationshipPropertyPathSourceFirst</description> |
| </constraint> |
| <constraint id="constraint.directedrelationshippropertypath.targetfirst" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="directedrelationshippropertypath.targetfirst" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.DirectedRelationshipPropertyPathTargetFirstModelConstraint"> |
| <message>%inv_DirectedRelationshipPropertyPathTargetFirst</message> |
| <description>%inv_DirectedRelationshipPropertyPathTargetFirst</description> |
| </constraint> |
| <constraint id="constraint.directedrelationshippropertypath.sourcelast" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="directedrelationshippropertypath.sourcelast" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.DirectedRelationshipPropertyPathSourceLastModelConstraint"> |
| <message>%inv_DirectedRelationshipPropertyPathSourceLast</message> |
| <description>%inv_DirectedRelationshipPropertyPathSourceLast</description> |
| </constraint> |
| <constraint id="constraint.directedrelationshippropertypath.targetlast" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="directedrelationshippropertypath.targetlast" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.DirectedRelationshipPropertyPathRequireSourceContextModelConstraint"> |
| <message>%inv_DirectedRelationshipPropertyPathTargetLast</message> |
| <description>%inv_DirectedRelationshipPropertyPathTargetLast</description> |
| </constraint> |
| <constraint id="constraint.block.propertycomposite" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="block.propertycomposite" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.BlockPropertyCompositeModelConstraint"> |
| <message>%inv_BlockPropertyComposite</message> |
| <description>%inv_BlockPropertyComposite</description> |
| </constraint> |
| |
| <constraint id="constraint.block.connectortwoends" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="block.connectortwoends" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.BlockConnectorTwoEndsModelConstraint"> |
| <message>%inv_BlockConnectorTwoEnds</message> |
| <description>%inv_BlockConnectorTwoEnds</description> |
| </constraint> |
| |
| |
| |
| |
| |
| |
| <constraint id="constraint.elementpropertypath.propertiesowner" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="elementpropertypath.propertiesowner" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.ElementPropertyPathPropertiesOwnerModelConstraint"> |
| <message>%inv_ElementPropertyPathPropertiesOwner</message> |
| <description>%inv_ElementPropertyPathPropertiesOwner</description> |
| </constraint> |
| |
| <constraint id="constraint.nestedconnectorend.onlyconnectorends" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="nestedconnectorend.onlyconnectorends" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.NestedConnectorEndOnlyConnectorEndsModelConstraint"> |
| <message>%inv_NestedConnectorEndOnlyConnectorEnds</message> |
| <description>%inv_NestedConnectorEndOnlyConnectorEnds</description> |
| </constraint> |
| |
| <constraint id="constraint.nestedconnectorend.lastproperty" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="nestedconnectorend.lastproperty" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.NestedConnectorEndLastPropertyModelConstraint"> |
| <message>%inv_NestedConnectorEndLastProperty</message> |
| <description>%inv_NestedConnectorEndLastProperty</description> |
| </constraint> |
| |
| <constraint id="constraint.nestedconnectorend.firstproperty" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="nestedconnectorend.firstproperty" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.NestedConnectorEndFirstPropertyModelConstraint"> |
| <message>%inv_NestedConnectorEndFirstProperty</message> |
| <description>%inv_NestedConnectorEndFirstProperty</description> |
| </constraint> |
| |
| <constraint id="constraint.propertyspecifictype.missingname" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="propertyspecifictype.missingname" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.PropertySpecificTypeMissingNameModelConstraint"> |
| <message>%inv_PropertySpecificTypeMissingName</message> |
| <description>%inv_PropertySpecificTypeMissingName</description> |
| </constraint> |
| |
| <constraint id="constraint.propertyspecifictype.uniqueproperty" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="propertyspecifictype.uniqueproperty" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.PropertySpecificTypeUniquePropertyModelConstraint"> |
| <message>%inv_PropertySpecificTypeUniqueProperty</message> |
| <description>%inv_PropertySpecificTypeUniqueProperty</description> |
| </constraint> |
| |
| |
| <constraint id="constraint.endpathmultiplicity.boundreferenceproperty" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="endpathmultiplicity.boundreferenceproperty" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.EndPathMultiplicityBoundReferencePropertyModelConstraint"> |
| <message>%inv_EndPathMultiplicityBoundReferenceProperty</message> |
| <description>%inv_EndPathMultiplicityBoundReferenceProperty</description> |
| </constraint> |
| |
| <constraint id="constraint.endpathmultiplicity.notnegative" isEnabledByDefault="true" lang="OCLpivot" mode="Batch" severity="ERROR" statusCode="3" name="endpathmultiplicity.notnegative"> |
| <message>%inv_EndPathMultiplicityNotNegative</message> |
| <description>%inv_EndPathMultiplicityNotNegative</description> |
| <![CDATA[%ocl_EndPathMultiplicityNotNegative]]> |
| </constraint> |
| |
| <constraint id="constraint.distributedproperty.typedby" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="distributedproperty.typedby" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.DistributedPropertyTypedByModelConstraint"> |
| <message>%inv_DistributedPropertyTypedBy</message> |
| <description>%inv_DistributedPropertyTypedBy</description> |
| </constraint> |
| |
| <constraint id="constraint.classifierbehaviorproperty.iscomposite" isEnabledByDefault="true" lang="OCLpivot" mode="Batch" severity="ERROR" statusCode="3" name="classifierbehaviorproperty.iscomposite"> |
| <message>%inv_ClassifierBehaviorPropertyIsComposite</message> |
| <description>%inv_ClassifierBehaviorPropertyIsComposite</description> |
| <![CDATA[%ocl_ClassifierBehaviorPropertyIsComposite]]> |
| </constraint> |
| |
| <constraint id="constraint.classifierbehaviorproperty.onblock" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="classifierbehaviorproperty.onblock" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.ClassifierBehaviorPropertyOnBlockModelConstraint"> |
| <message>%inv_ClassifierBehaviorPropertyOnBlock</message> |
| <description>%inv_ClassifierBehaviorPropertyOnBlock</description> |
| </constraint> |
| |
| <constraint id="constraint.classifierbehaviorproperty.typedby" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="classifierbehaviorproperty.typedby" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.ClassifierBehaviorPropertyTypedByModelConstraint"> |
| <message>%inv_ClassifierBehaviorPropertyTypedBy</message> |
| <description>%inv_ClassifierBehaviorPropertyTypedBy</description> |
| </constraint> |
| |
| <constraint id="constraint.connectorproperty.onlycomposite" isEnabledByDefault="true" lang="OCLpivot" mode="Batch" severity="ERROR" statusCode="3" name="connectorproperty.onlycomposite" > |
| <message>%inv_ConnectorPropertyOnlyComposite</message> |
| <description>%inv_ConnectorPropertyOnlyComposite</description> |
| <![CDATA[%ocl_ConnectorPropertyOnlyComposite]]> |
| </constraint> |
| |
| <constraint id="constraint.connectorproperty.onlyonblock" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="connectorproperty.onlyonblock" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.ConnectorPropertyOnlyOnBlockModelConstraint"> |
| <message>%inv_ConnectorPropertyOnlyOnBlock</message> |
| <description>%inv_ConnectorPropertyOnlyOnBlock</description> |
| </constraint> |
| <constraint id="constraint.connectorproperty.referownedconnector" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="connectorproperty.referownedconnector" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.ConnectorPropertyReferOwnedConnectorModelConstraint"> |
| <message>%inv_ConnectorPropertyReferOwnedConnector</message> |
| <description>%inv_ConnectorPropertyReferOwnedConnector</description> |
| </constraint> |
| <constraint id="constraint.connectorproperty.samename" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="connectorproperty.samename" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.ConnectorPropertySameNameModelConstraint"> |
| <message>%inv_ConnectorPropertySameName</message> |
| <description>%inv_ConnectorPropertySameName</description> |
| </constraint> |
| <constraint id="constraint.connectorproperty.typedbyassociationblock" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="connectorproperty.typedbyassociationblock" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.ConnectorPropertyTypedByAssociationBlockModelConstraint"> |
| <message>%inv_ConnectorPropertyTypedByAssociationBlock</message> |
| <description>%inv_ConnectorPropertyTypedByAssociationBlock</description> |
| </constraint> |
| |
| <constraint id="constraint.bindingconnector.sameendstype" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="bindingconnector.sameendstype" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.BindingConnectorSameEndsTypeModelConstraint"> |
| <message>%inv_BindingConnectorSameEndsType</message> |
| <description>%inv_BindingConnectorSameEndsType</description> |
| </constraint> |
| |
| |
| <constraint id="constraint.participantproperty.endmultiplicity" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="participantproperty.endmultiplicity" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.ParticipantPropertyEndMultiplicityModelConstraint"> |
| <message>%inv_ParticipantPropertyEndMultiplicity</message> |
| <description>%inv_ParticipantPropertyEndMultiplicity</description> |
| </constraint> |
| |
| <constraint id="constraint.participantproperty.noassociationmemberends" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="participantproperty.noassociationmemberends" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.ParticipantPropertyNoAssociationMemberEndsModelConstraint"> |
| <message>%inv_ParticipantPropertyNoAssociationMemberEnds</message> |
| <description>%inv_ParticipantPropertyNoAssociationMemberEnds</description> |
| </constraint> |
| |
| <constraint id="constraint.participantproperty.onlyassociationblock" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="participantproperty.onlyassociationblock" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.ParticipantPropertyOnlyAssociationBlockModelConstraint"> |
| <message>%inv_ParticipantPropertyOnlyAssociationBlock</message> |
| <description>%inv_ParticipantPropertyOnlyAssociationBlock</description> |
| </constraint> |
| |
| <constraint id="constraint.participantproperty.onlynoneaggregation" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="participantproperty.onlynoneaggregation" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.ParticipantPropertyOnlyNoneAggregationModelConstraint"> |
| <message>%inv_ParticipantPropertyOnlyNoneAggregation</message> |
| <description>%inv_ParticipantPropertyOnlyNoneAggregation</description> |
| </constraint> |
| |
| <constraint id="constraint.participantproperty.sameend" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="participantproperty.sameend" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.ParticipantPropertySameEndModelConstraint"> |
| <message>%inv_ParticipantPropertySameEnd</message> |
| <description>%inv_ParticipantPropertySameEnd</description> |
| </constraint> |
| |
| <constraint id="constraint.participantproperty.sametype" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="participantproperty.sametype" |
| class="org.eclipse.papyrus.sysml14.validation.rules.blocks.ParticipantPropertySameTypeModelConstraint"> |
| <message>%inv_ParticipantPropertySameType</message> |
| <description>%inv_ParticipantPropertySameType</description> |
| </constraint> |
| |
| |
| </constraints> |
| </constraintProvider> |
| |
| <constraintProvider cache="false" mode="Batch"> |
| <package namespaceUri="http://www.eclipse.org/papyrus/sysml/1.4/SysML/ModelElements"/> |
| <constraints categories="org.eclipse.papyrus.sysml14.validation.category.normative"> |
| |
| <constraint id="constraint.view.singleviewpoint" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="view.singleviewpoint" |
| class="org.eclipse.papyrus.sysml14.validation.rules.modelelements.ViewSingleViewpointModelConstraint"> |
| <message>%inv_ViewSingleViewpoint</message> |
| <description>%inv_ViewSingleViewpoint</description> |
| </constraint> |
| |
| <constraint id="constraint.viewpoint.ownedview" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="viewpoint.ownedview" |
| class="org.eclipse.papyrus.sysml14.validation.rules.modelelements.ViewpointOwnedViewModelConstraint"> |
| <message>%inv_ViewpointOwnedView</message> |
| <description>%inv_ViewpointOwnedView</description> |
| </constraint> |
| |
| <constraint id="constraint.expose.clientview" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="expose.clientview" |
| class="org.eclipse.papyrus.sysml14.validation.rules.modelelements.ExposeClientStereotypedByViewModelConstraint"> |
| <message>%inv_ExposeClientStereotypedByView</message> |
| <description>%inv_ExposeClientStereotypedByView</description> |
| </constraint> |
| |
| <constraint id="constraint.conform.generalviewpoint" isEnabledByDefault="true" lang="OCLpivot" mode="Batch" severity="ERROR" statusCode="3" name="conform.generalviewpoint"> |
| <message>%inv_ConformGeneralClassifierViewpoint</message> |
| <description>%inv_ConformGeneralClassifierViewpoint</description> |
| <![CDATA[%ocl_ConformGeneralClassifierViewpoint]]> |
| </constraint> |
| |
| <constraint id="constraint.conform.specificview" isEnabledByDefault="true" lang="OCLpivot" mode="Batch" severity="ERROR" statusCode="3" name="conform.specificview"> |
| <message>%inv_ConformSpecificClassifierView</message> |
| <description>%inv_ConformSpecificClassifierView</description> |
| <![CDATA[%ocl_ConformSpecificClassifierView]]> |
| </constraint> |
| |
| </constraints> |
| </constraintProvider> |
| |
| |
| <constraintProvider cache="false" mode="Batch"> |
| <package namespaceUri="http://www.eclipse.org/papyrus/sysml/1.4/SysML/PortsAndFlows"/> |
| <constraints categories="org.eclipse.papyrus.sysml14.validation.category.normative"> |
| |
| |
| <constraint id="constraint.itemflow.sameproperty" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="itemflow.sameproperty" |
| class="org.eclipse.papyrus.sysml14.validation.rules.portsandflows.ItemFlowSamePropertyNameModelConstraint"> |
| <message>%inv_ItemFlowSamePropertyName</message> |
| <description>%inv_ItemFlowSamePropertyName</description> |
| </constraint> |
| <constraint id="constraint.itemflow.propertytypedby" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="itemflow.propertytypedby" |
| class="org.eclipse.papyrus.sysml14.validation.rules.portsandflows.ItemFlowSamePropertyTypedByModelConstraint"> |
| <message>%inv_ItemFlowSamePropertyTypedBy</message> |
| <description>%inv_ItemFlowSamePropertyTypedBy</description> |
| </constraint> |
| |
| <constraint id="constraint.invocationonnestedportaction.onlyinvocationaction" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="invocationonnestedportaction.onlyinvocationaction" |
| class="org.eclipse.papyrus.sysml14.validation.rules.portsandflows.InvocationOnNestedPortActionOnlyInvocationActionModelConstraint"> |
| <message>%inv_InvocationOnNestedPortActionOnlyInvocationAction</message> |
| <description>%inv_InvocationOnNestedPortActionOnlyInvocationAction</description> |
| </constraint> |
| <constraint id="constraint.invocationonnestedportaction.requiredonport" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="invocationonnestedport.requiredonport" |
| class="org.eclipse.papyrus.sysml14.validation.rules.portsandflows.InvocationOnNestedPortActionRequiredOnPortModelConstraint"> |
| <message>%inv_InvocationOnNestedPortActionRequiredOnPort</message> |
| <description>%inv_InvocationOnNestedPortActionRequiredOnPort</description> |
| </constraint> |
| |
| <constraint id="constraint.directedfeature.onlybehavioral" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="directedfeature.onlybehavioral" |
| class="org.eclipse.papyrus.sysml14.validation.rules.portsandflows.DirectedFeatureOnlyBehavioralModelConstraint"> |
| <message>%inv_DirectedFeatureOnlyBehavioral</message> |
| <description>%inv_DirectedFeatureOnlyBehavioral</description> |
| </constraint> |
| |
| <constraint id="constraint.changestrucuralfeatureevent.notstatic" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="changestrucuralfeatureevent.notstatic" |
| class="org.eclipse.papyrus.sysml14.validation.rules.portsandflows.ChangeStructuralFeatureEventNotStaticModelConstraint"> |
| <message>%inv_ChangeStructuralFeatureEventNotStatic</message> |
| <description>%inv_ChangeStructuralFeatureEventNotStatic</description> |
| </constraint> |
| |
| |
| <constraint id="constraint.changestrucuralfeatureevent.onefeaturingclassifier" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="changestrucuralfeatureevent.onefeaturingclassifier" |
| class="org.eclipse.papyrus.sysml14.validation.rules.portsandflows.ChangeStructuralFeatureEventOneFeaturingClassifierModelConstraint"> |
| <message>%inv_ChangeStructuralFeatureEventOneFeaturingClassifier</message> |
| <description>%inv_ChangeStructuralFeatureEventOneFeaturingClassifier</description> |
| </constraint> |
| |
| <constraint id="constraint.flowproperty.typedby" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="flowproperty.typedby" |
| class="org.eclipse.papyrus.sysml14.validation.rules.portsandflows.FlowPropertyTypedByModelConstraint"> |
| <message>%inv_FlowPropertyTypedBy</message> |
| <description>%inv_FlowPropertyTypedBy</description> |
| </constraint> |
| <constraint id="constraint.fullport.notproxyport" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="fullport.notproxyport" |
| class="org.eclipse.papyrus.sysml14.validation.rules.portsandflows.FullPortNotProxyPortModelConstraint"> |
| <message>%inv_FullPortNotProxyPort</message> |
| <description>%inv_FullPortNotProxyPort</description> |
| </constraint> |
| <constraint id="constraint.fullport.notbehavioral" isEnabledByDefault="true" lang="OCLpivot" mode="Batch" severity="ERROR" statusCode="3" name="fullport.notbehavioral"> |
| <message>%inv_FullPortNotBehavioral</message> |
| <description>%inv_FullPortNotBehavioral</description> |
| <![CDATA[%ocl_FullPortNotBehavioral]]> |
| </constraint> |
| <constraint id="constraint.fullport.notconjugated" isEnabledByDefault="true" lang="OCLpivot" mode="Batch" severity="ERROR" statusCode="3" name="fullport.notconjugated"> |
| <message>%inv_FullPortNotConjugated</message> |
| <description>%inv_FullPortNotConjugated</description> |
| <![CDATA[%ocl_FullPortNotConjugated]]> |
| </constraint> |
| |
| <constraint id="constraint.proxyport.notfullport" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="proxyport.notfullport" |
| class="org.eclipse.papyrus.sysml14.validation.rules.portsandflows.ProxyPortNotFullPortModelConstraint"> |
| <message>%inv_ProxyPortNotFullPort</message> |
| <description>%inv_ProxyPortNotFullPort</description> |
| </constraint> |
| <constraint id="constraint.proxyport.typedinterfaceblock" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="proxyport.typedinterfaceblock" |
| class="org.eclipse.papyrus.sysml14.validation.rules.portsandflows.ProxyPortTypedByInterfaceBlockModelConstraint"> |
| <message>%inv_ProxyPortTypedByInterfaceBlock</message> |
| <description>%inv_ProxyPortTypedByInterfaceBlock</description> |
| </constraint> |
| <constraint id="constraint.proxyport.innerproxyport" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="proxyport.innerproxyport" |
| class="org.eclipse.papyrus.sysml14.validation.rules.portsandflows.ProxyPortForceInnerProxyPortModelConstraint"> |
| <message>%inv_ProxyPortForceInnerProxyPort</message> |
| <description>%inv_ProxyPortForceInnerProxyPort</description> |
| </constraint> |
| |
| <constraint id="constraint.interfaceblock.porttype" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="interfaceblock.porttype" |
| class="org.eclipse.papyrus.sysml14.validation.rules.portsandflows.InterfaceBlockPortTypeModelConstraint"> |
| <message>%inv_InterfaceBlockPortType</message> |
| <description>%inv_InterfaceBlockPortType</description> |
| </constraint> |
| |
| <constraint id="constraint.interfaceblock.nobehavior" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="interfaceblock.nobehavior" |
| class="org.eclipse.papyrus.sysml14.validation.rules.portsandflows.InterfaceBlockNoBehaviorConstraint"> |
| <message>%inv_InterfaceBlockNoBehavior</message> |
| <description>%inv_InterfaceBlockNoBehavior</description> |
| </constraint> |
| |
| <constraint id="constraint.interfaceblock.nocompositeproperty" isEnabledByDefault="true" lang="Java" mode="Batch" severity="ERROR" statusCode="3" name="interfaceblock.nocompositeproperty" |
| class="org.eclipse.papyrus.sysml14.validation.rules.portsandflows.InterfaceBlockNoCompositePropertyModelConstraint"> |
| <message>%inv_InterfaceBlockNoCompositeProperty</message> |
| <description>%inv_InterfaceBlockNoCompositeProperty</description> |
| </constraint> |
| |
| </constraints> |
| </constraintProvider> |
| </extension> |
| <extension name="org.eclipse.papyrus.sysml14.validation.constraintBindings" point="org.eclipse.emf.validation.constraintBindings"> |
| |
| <!-- UML fake context (should be replaced by filter see Bug 487500)--> |
| <clientContext id="TrueContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.TrueSelector"/> |
| </clientContext> |
| <binding context="TrueContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.block.property.asssociationend"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.block.associationBlock"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.block.specialization"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.block.propertynoname"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.nestedConnectorEnd.missing"/> |
| </binding> |
| |
| <!-- Requirement Context --> |
| <clientContext id="CopyClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.CopySelector"/> |
| </clientContext> |
| <binding context="CopyClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.copy.betweenrequirements"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.copy.readonly"/> |
| </binding> |
| <clientContext id="DeriveReqtClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.DeriveReqtSelector"/> |
| </clientContext> |
| <binding context="DeriveReqtClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.derivereqt.client"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.derivereqt.supplier"/> |
| </binding> |
| <clientContext id="RefineClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.RefineSelector"/> |
| </clientContext> |
| <binding context="RefineClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.refine.dependency"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.refine.oneclientsupplier"/> |
| </binding> |
| <clientContext id="RequirementClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.RequirementSelector"/> |
| </clientContext> |
| <binding context="RequirementClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.requirement.requireId"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.requirement.requireText"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.requirement.emptyownedattribute"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.requirement.emptyownedoperation"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.requirement.nestedrequirement"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.requirement.noassociation"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.requirement.nogeneralization"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.requirement.notype"/> |
| </binding> |
| <clientContext id="TestCaseClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.TestCaseSelector"/> |
| </clientContext> |
| <binding context="TestCaseClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.testcase.parameterverdictkind"/> |
| </binding> |
| <clientContext id="SatisfyClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.SatisfySelector"/> |
| </clientContext> |
| <binding context="SatisfyClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.satisfy.supplier"/> |
| </binding> |
| <clientContext id="TraceClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.TraceSelector"/> |
| </clientContext> |
| <binding context="TraceClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.trace.supplier"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.trace.dependency"/> |
| </binding> |
| <clientContext id="VerifyClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.VerifySelector"/> |
| </clientContext> |
| <binding context="VerifyClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.verify.supplier"/> |
| </binding> |
| |
| <!-- Blocks context --> |
| |
| <clientContext id="DirectedRelationshipPropertyPathContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.DirectedRelationshipPropertyPathSelector"/> |
| </clientContext> |
| <binding context="DirectedRelationshipPropertyPathContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.directedrelationshippropertypath.requiresourcecontext"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.directedrelationshippropertypath.requiretargetcontext"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.directedrelationshippropertypath.sourcefirst"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.directedrelationshippropertypath.targetfirst"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.directedrelationshippropertypath.sourcelast"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.directedrelationshippropertypath.targetlast"/> |
| </binding> |
| |
| <clientContext id="BlockContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.BlockSelector"/> |
| </clientContext> |
| <binding context="BlockContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.block.propertycomposite"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.block.connectortwoends"/> |
| </binding> |
| |
| <clientContext id="ElementPropertyPathContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.ElementPropertyPathSelector"/> |
| </clientContext> |
| <binding context="ElementPropertyPathContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.elementpropertypath.propertiesowner"/> |
| </binding> |
| |
| <clientContext id="NestedConnectorEndClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.NestedConnectorEndSelector"/> |
| </clientContext> |
| <binding context="NestedConnectorEndClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.nestedconnectorend.onlyconnectorends"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.nestedconnectorend.lastproperty"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.nestedconnectorend.firstproperty"/> |
| </binding> |
| |
| <clientContext id="PropertySpecificTypeMissingNameClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.PropertySpecificTypeSelector"/> |
| </clientContext> |
| <binding context="PropertySpecificTypeMissingNameClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.propertyspecifictype.missingname"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.propertyspecifictype.uniqueproperty"/> |
| </binding> |
| |
| <clientContext id="EndPathMultiplicityClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.EndPathMultiplicitySelector"/> |
| </clientContext> |
| <binding context="EndPathMultiplicityClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.endpathmultiplicity.boundreferenceproperty"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.endpathmultiplicity.notnegative"/> |
| </binding> |
| |
| <clientContext id="DistributedPropertyClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.DistributedPropertySelector"/> |
| </clientContext> |
| <binding context="DistributedPropertyClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.distributedproperty.typedby"/> |
| </binding> |
| |
| <clientContext id="ClassifierBehaviorPropertyContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.ClassifierBehaviorPropertySelector"/> |
| </clientContext> |
| <binding context="ClassifierBehaviorPropertyContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.classifierbehaviorproperty.onblock"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.classifierbehaviorproperty.iscomposite"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.classifierbehaviorproperty.typedby"/> |
| </binding> |
| |
| <clientContext id="ConnectorPropertyClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.ConnectorPropertySelector"/> |
| </clientContext> |
| <binding context="ConnectorPropertyClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.connectorproperty.onlyonblock"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.connectorproperty.onlycomposite"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.connectorproperty.referownedconnector"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.connectorproperty.samename"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.connectorproperty.typedbyassociationblock"/> |
| </binding> |
| |
| <clientContext id="BindingConnectorClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.BindingConnectorSelector"/> |
| </clientContext> |
| <binding context="BindingConnectorClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.bindingconnector.sameendstype"/> |
| </binding> |
| |
| <clientContext id="ParticipantPropertyClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.ParticipantPropertySelector"/> |
| </clientContext> |
| <binding context="ParticipantPropertyClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.participantproperty.endmultiplicity"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.participantproperty.noassociationmemberends"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.participantproperty.onlyassociationblock"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.participantproperty.onlynoneaggregation"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.participantproperty.sameend"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.participantproperty.sametype"/> |
| </binding> |
| <!-- ModelElements context --> |
| <clientContext id="ExposeClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.ExposeSelector"/> |
| </clientContext> |
| <binding context="ExposeClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.expose.clientview"/> |
| </binding> |
| <clientContext id="ConformClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.ConformSelector"/> |
| </clientContext> |
| <binding context="ConformClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.conform.generalviewpoint"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.conform.specificview"/> |
| </binding> |
| |
| <clientContext id="ViewClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.ViewSelector"/> |
| </clientContext> |
| <binding context="ViewClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.view.singleviewpoint"/> |
| </binding> |
| |
| <clientContext id="ViewpointClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.ViewpointSelector"/> |
| </clientContext> |
| <binding context="ViewpointClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.viewpoint.ownedview"/> |
| </binding> |
| |
| <!-- Activities context --> |
| <clientContext id="OptionalClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.OptionalSelector"/> |
| </clientContext> |
| <binding context="OptionalClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.optional.multiplicity"/> |
| </binding> |
| |
| <clientContext id="DiscreteClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.DiscreteSelector"/> |
| </clientContext> |
| <binding context="DiscreteClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.discrete.nocontinuous"/> |
| </binding> |
| |
| <clientContext id="NoBufferClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.NoBufferSelector"/> |
| </clientContext> |
| <binding context="NoBufferClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.nobuffer.nooverwrite"/> |
| </binding> |
| |
| <clientContext id="OverwriteClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.OverwriteSelector"/> |
| </clientContext> |
| <binding context="OverwriteClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.overwrite.nonobuffer"/> |
| </binding> |
| |
| <clientContext id="RateClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.RateSelector"/> |
| </clientContext> |
| <binding context="RateClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.rate.parameterisstream"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.rate.parameterlessinout"/> |
| </binding> |
| |
| <clientContext id="ProbabilityClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.ProbabilitySelector"/> |
| </clientContext> |
| <binding context="ProbabilityClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.probability.alledges"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.probability.baseelement"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.probability.outputparameters"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.probability.allparameterset"/> |
| </binding> |
| |
| <!-- Alocations context --> |
| <clientContext id="AllocateClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.AllocateSelector"/> |
| </clientContext> |
| <binding context="AllocateClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.allocate.oneclientsupplier"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.onlyabstraction"/> |
| </binding> |
| |
| <!-- 9 Ports and Flows --> |
| <clientContext id="ItemFlowClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.ItemFlowSelector"/> |
| </clientContext> |
| <binding context="ItemFlowClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.itemflow.sameproperty"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.itemflow.propertytypedby"/> |
| </binding> |
| |
| <clientContext id="InvocationOnNestedPortActionClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.InvocationOnNestedPortActionSelector"/> |
| </clientContext> |
| <binding context="InvocationOnNestedPortActionClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.invocationonnestedportaction.onlyinvocationaction"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.invocationonnestedportaction.requiredonport"/> |
| </binding> |
| |
| <clientContext id="DirectedFeatureClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.DirectedFeatureSelector"/> |
| </clientContext> |
| <binding context="DirectedFeatureClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.directedfeature.onlybehavioral"/> |
| </binding> |
| |
| <clientContext id="ChangeStructuralFeatureEventClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.ChangeStructuralFeatureEventSelector"/> |
| </clientContext> |
| <binding context="ChangeStructuralFeatureEventClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.changestrucuralfeatureevent.onefeaturingclassifier"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.changestrucuralfeatureevent.notstatic"/> |
| </binding> |
| |
| <clientContext id="ChangeStructuralFeatureEventClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.ChangeStructuralFeatureEventSelector"/> |
| </clientContext> |
| <binding context="ChangeStructuralFeatureEventClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.changestrucuralfeatureevent.onefeaturingclassifier"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.changestrucuralfeatureevent.notstatic"/> |
| </binding> |
| |
| <clientContext id="FlowPropertyClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.FlowPropertySelector"/> |
| </clientContext> |
| <binding context="FlowPropertyClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.flowproperty.typedby"/> |
| </binding> |
| |
| <clientContext id="FullPortClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.FullPortSelector"/> |
| </clientContext> |
| <binding context="FullPortClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.fullport.notproxyport"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.fullport.notbehavioral"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.fullport.notconjugated"/> |
| </binding> |
| <clientContext id="InterfaceBlockClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.InterfaceBlockSelector"/> |
| </clientContext> |
| <binding context="InterfaceBlockClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.interfaceblock.porttype"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.interfaceblock.nobehavior"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.interfaceblock.nocompositeproperty"/> |
| </binding> |
| |
| <clientContext id="ProxyPortClientContext"> |
| <selector class="org.eclipse.papyrus.sysml14.validation.selectors.ProxyPortSelector"/> |
| </clientContext> |
| <binding context="ProxyPortClientContext"> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.proxyport.notfullport"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.proxyport.typedinterfaceblock"/> |
| <constraint ref="org.eclipse.papyrus.sysml14.validation.constraint.proxyport.innerproxyport"/> |
| </binding> |
| </extension> |
| </plugin> |
