blob: 16d989915791df05f3d056c03ef2aef4c6d63967 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.4"?>
<plugin>
<extension
point="org.eclipse.emf.validation.constraintProviders">
<category
id="org.eclipse.papyrus.requirements.sysml.verification.rules.category"
name="Papyrus for Requirements Rules">
</category>
<constraintProvider
mode="Batch">
<package
namespaceUri="http://www.eclipse.org/uml2/5.0.0/UML">
</package>
<constraints
categories="org.eclipse.papyrus.requirements.sysml.verification.rules.category">
<constraint
class="org.eclipse.papyrus.requirements.sysml.verfication.rules.AllRequirementsMustBeSatisfied"
id="org.eclipse.papyrus.requirements.sysml.verfication.rules.AllRequirementsAreSatisfied"
isEnabledByDefault="true"
lang="Java"
mode="Batch"
name="Papyrus 4 Requirements - Rule 1: Are all the requirements satisfied"
severity="WARNING"
statusCode="1">
<message>
Papyrus 4 Requirements - Rule 1: {0}.
</message>
<description>
The requirement is not liked by any Element
</description>
<target
class="Class">
</target>
</constraint>
<constraint
class="org.eclipse.papyrus.requirements.sysml.verfication.rules.AllRequirementsMustBeVerified"
id="org.eclipse.papyrus.requirements.sysml.verfication.rules.AllRequirementsMustBeVerified"
isEnabledByDefault="true"
lang="Java"
mode="Batch"
name="Papyrus 4 Requirements - Rule 2: Are all the requirements verified"
severity="WARNING"
statusCode="2">
<message>
Papyrus 4 Requirements - Rule 1: {0}.
</message>
<description>
The requirement is not liked by any Element
</description>
<target
class="Class">
</target>
</constraint>
</constraints>
</constraintProvider>
</extension>
<extension
point="org.eclipse.emf.validation.constraintBindings">
<clientContext
default="false"
id="org.eclipse.papyrus.requirements.sysml.verification.clientContext">
<selector
class="org.eclipse.papyrus.requirements.sysml.verification.ClientSelector">
</selector>
</clientContext>
<binding
context="org.eclipse.papyrus.requirements.sysml.verification.clientContext">
<category
ref="org.eclipse.papyrus.requirements.sysml.verification.rules.category">
</category>
</binding>
</extension>
</plugin>
|
