/
ContinuationOperations.java
186 lines (176 loc) · 8.25 KB
/
ContinuationOperations.java
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
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
/*
* Copyright (c) 2005, 2018 IBM Corporation, CEA, and others.
* 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
*
* Contributors:
* IBM - initial API and implementation
* Kenn Hussey (CEA) - 327039, 351774, 418466, 451350, 485756
* Kenn Hussey - 535301
*
*/
package org.eclipse.uml2.uml.internal.operations;
import java.util.Map;
import org.eclipse.emf.common.util.BasicDiagnostic;
import org.eclipse.emf.common.util.Diagnostic;
import org.eclipse.emf.common.util.DiagnosticChain;
import org.eclipse.uml2.uml.Continuation;
import org.eclipse.uml2.uml.util.UMLValidator;
/**
* <!-- begin-user-doc -->
* A static utility class that provides operations related to '<em><b>Continuation</b></em>' model objects.
* <!-- end-user-doc -->
*
* <p>
* The following operations are supported:
* </p>
* <ul>
* <li>{@link org.eclipse.uml2.uml.Continuation#validateFirstOrLastInteractionFragment(org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) <em>Validate First Or Last Interaction Fragment</em>}</li>
* <li>{@link org.eclipse.uml2.uml.Continuation#validateSameName(org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) <em>Validate Same Name</em>}</li>
* <li>{@link org.eclipse.uml2.uml.Continuation#validateGlobal(org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) <em>Validate Global</em>}</li>
* </ul>
*
* @generated
*/
public class ContinuationOperations
extends NamedElementOperations {
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
protected ContinuationOperations() {
super();
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
* Across all Interaction instances having the same context value, every Lifeline instance covered by a Continuation (self) must be common with one covered Lifeline instance of all other Continuation instances with the same name as self, and every Lifeline instance covered by a Continuation instance with the same name as self must be common with one covered Lifeline instance of self. Lifeline instances are common if they have the same selector and represents associationEnd values.
* enclosingOperand.combinedFragment->notEmpty() and
* let parentInteraction : Set(Interaction) =
* enclosingOperand.combinedFragment->closure(enclosingOperand.combinedFragment)->
* collect(enclosingInteraction).oclAsType(Interaction)->asSet()
* in
* (parentInteraction->size() = 1)
* and let peerInteractions : Set(Interaction) =
* (parentInteraction->union(parentInteraction->collect(_'context')->collect(behavior)->
* select(oclIsKindOf(Interaction)).oclAsType(Interaction)->asSet())->asSet()) in
* (peerInteractions->notEmpty()) and
* let combinedFragments1 : Set(CombinedFragment) = peerInteractions.fragment->
* select(oclIsKindOf(CombinedFragment)).oclAsType(CombinedFragment)->asSet() in
* combinedFragments1->notEmpty() and combinedFragments1->closure(operand.fragment->
* select(oclIsKindOf(CombinedFragment)).oclAsType(CombinedFragment))->asSet().operand.fragment->
* select(oclIsKindOf(Continuation)).oclAsType(Continuation)->asSet()->
* forAll(c : Continuation | (c.name = self.name) implies
* (c.covered->asSet()->forAll(cl : Lifeline | -- cl must be common to one lifeline covered by self
* self.covered->asSet()->
* select(represents = cl.represents and selector = cl.selector)->asSet()->size()=1))
* and
* (self.covered->asSet()->forAll(cl : Lifeline | -- cl must be common to one lifeline covered by c
* c.covered->asSet()->
* select(represents = cl.represents and selector = cl.selector)->asSet()->size()=1))
* )
* @param continuation The receiving '<em><b>Continuation</b></em>' model object.
* @param diagnostics The chain of diagnostics to which problems are to be appended.
* @param context The cache of context-specific information.
* <!-- end-model-doc -->
* @generated
*/
public static boolean validateSameName(Continuation continuation,
DiagnosticChain diagnostics, Map<Object, Object> context) {
// TODO: implement this method
// -> specify the condition that violates the invariant
// -> verify the details of the diagnostic, including severity and message
// Ensure that you remove @generated or mark it @generated NOT
if (false) {
if (diagnostics != null) {
diagnostics.add(new BasicDiagnostic(Diagnostic.ERROR,
UMLValidator.DIAGNOSTIC_SOURCE,
UMLValidator.CONTINUATION__SAME_NAME,
org.eclipse.emf.ecore.plugin.EcorePlugin.INSTANCE.getString(
"_UI_GenericInvariant_diagnostic", //$NON-NLS-1$
new Object[]{"validateSameName", //$NON-NLS-1$
org.eclipse.emf.ecore.util.EObjectValidator
.getObjectLabel(continuation, context)}), new Object[]{continuation}));
}
return false;
}
return true;
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
* Continuations are always global in the enclosing InteractionFragment e.g., it always covers all Lifelines covered by the enclosing InteractionOperator.
* enclosingOperand->notEmpty() and
* let operandLifelines : Set(Lifeline) = enclosingOperand.covered in
* (operandLifelines->notEmpty() and
* operandLifelines->forAll(ol :Lifeline |self.covered->includes(ol)))
* @param continuation The receiving '<em><b>Continuation</b></em>' model object.
* @param diagnostics The chain of diagnostics to which problems are to be appended.
* @param context The cache of context-specific information.
* <!-- end-model-doc -->
* @generated
*/
public static boolean validateGlobal(Continuation continuation,
DiagnosticChain diagnostics, Map<Object, Object> context) {
// TODO: implement this method
// -> specify the condition that violates the invariant
// -> verify the details of the diagnostic, including severity and message
// Ensure that you remove @generated or mark it @generated NOT
if (false) {
if (diagnostics != null) {
diagnostics.add(new BasicDiagnostic(Diagnostic.ERROR,
UMLValidator.DIAGNOSTIC_SOURCE,
UMLValidator.CONTINUATION__GLOBAL,
org.eclipse.emf.ecore.plugin.EcorePlugin.INSTANCE.getString(
"_UI_GenericInvariant_diagnostic", //$NON-NLS-1$
new Object[]{"validateGlobal", //$NON-NLS-1$
org.eclipse.emf.ecore.util.EObjectValidator
.getObjectLabel(continuation, context)}), new Object[]{continuation}));
}
return false;
}
return true;
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
* Continuations always occur as the very first InteractionFragment or the very last InteractionFragment of the enclosing InteractionOperand.
* enclosingOperand->notEmpty() and
* let peerFragments : OrderedSet(InteractionFragment) = enclosingOperand.fragment in
* ( peerFragments->notEmpty() and
* ((peerFragments->first() = self) or (peerFragments->last() = self)))
* @param continuation The receiving '<em><b>Continuation</b></em>' model object.
* @param diagnostics The chain of diagnostics to which problems are to be appended.
* @param context The cache of context-specific information.
* <!-- end-model-doc -->
* @generated
*/
public static boolean validateFirstOrLastInteractionFragment(
Continuation continuation, DiagnosticChain diagnostics,
Map<Object, Object> context) {
// TODO: implement this method
// -> specify the condition that violates the invariant
// -> verify the details of the diagnostic, including severity and message
// Ensure that you remove @generated or mark it @generated NOT
if (false) {
if (diagnostics != null) {
diagnostics.add(new BasicDiagnostic(Diagnostic.ERROR,
UMLValidator.DIAGNOSTIC_SOURCE,
UMLValidator.CONTINUATION__FIRST_OR_LAST_INTERACTION_FRAGMENT,
org.eclipse.emf.ecore.plugin.EcorePlugin.INSTANCE.getString(
"_UI_GenericInvariant_diagnostic", //$NON-NLS-1$
new Object[]{"validateFirstOrLastInteractionFragment", //$NON-NLS-1$
org.eclipse.emf.ecore.util.EObjectValidator
.getObjectLabel(continuation, context)}), new Object[]{continuation}));
}
return false;
}
return true;
}
} // ContinuationOperations