-
Notifications
You must be signed in to change notification settings - Fork 85
/
FunctionalChain.vql
94 lines (75 loc) · 3.79 KB
/
FunctionalChain.vql
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
/*******************************************************************************
* Copyright (c) 2006, 2020 THALES DMS FRANCE.
*
* This program and the accompanying materials are made available under the
* terms of the Eclipse Public License 2.0 which is available at
* http://www.eclipse.org/legal/epl-2.0
*
* SPDX-License-Identifier: EPL-2.0
*
* Contributors:
* Thales - initial API and implementation
*******************************************************************************/
/* Generated file */
package org.polarsys.capella.viatra.core.data.fa.surrogate
import "http://www.polarsys.org/capella/core/fa/7.0.0"
// Start of user code for imports
import "http://www.polarsys.org/capella/core/core/7.0.0"
import "http://www.polarsys.org/capella/common/core/7.0.0"
import "http://www.polarsys.org/capella/core/interaction/7.0.0"
import "http://www.polarsys.org/capella/core/ctx/7.0.0"
import "http://www.polarsys.org/capella/core/la/7.0.0"
// End of user code
@Surrogate(feature="involvedFunctionalChainInvolvements")
pattern FunctionalChain__involvedFunctionalChainInvolvements(self : FunctionalChain, target : FunctionalChainInvolvement) {
FunctionalChain.ownedFunctionalChainInvolvements(self, target);
}
@Surrogate(feature="involvedFunctions")
pattern FunctionalChain__involvedFunctions(self : FunctionalChain, target : AbstractFunction) {
FunctionalChain.involvedElements(self, target);
}
@Surrogate(feature="involvedFunctionalExchanges")
pattern FunctionalChain__involvedFunctionalExchanges(self : FunctionalChain, target : FunctionalExchange) {
FunctionalChain.involvedElements(self, target);
}
@Surrogate(feature="involvedElements")
pattern FunctionalChain__involvedElements(self : FunctionalChain, target : InvolvedElement) {
FunctionalChain.involvedFunctionalChainInvolvements.involved(self, target);
}
@Surrogate(feature="enactedFunctions")
pattern FunctionalChain__enactedFunctions(self : FunctionalChain, target : AbstractFunction) {
FunctionalChain.involvedFunctions(self, target);
}
@Surrogate(feature="enactedFunctionalBlocks")
pattern FunctionalChain__enactedFunctionalBlocks(self : FunctionalChain, target : AbstractFunctionalBlock) {
FunctionalChain.enactedFunctions.allocationBlocks(self, target);
}
@Surrogate(feature="firstFunctionalChainInvolvements")
pattern FunctionalChain__firstFunctionalChainInvolvements(self : FunctionalChain, target : FunctionalChainInvolvement) {
FunctionalChain.ownedFunctionalChainInvolvements(self, target);
FunctionalChainInvolvement.involved(target, _);
neg find _PreviousInvolvement(target, _);
}
private pattern _PreviousInvolvement(fci : FunctionalChainInvolvement, previous : FunctionalChainInvolvement) {
FunctionalChainInvolvement.previousFunctionalChainInvolvements(fci, previous);
}
@Surrogate(feature="involvingCapabilities")
pattern FunctionalChain__involvingCapabilities(self : FunctionalChain, target : Capability) {
FunctionalChain.involvingInvolvements(self, fcaci);
FunctionalChainAbstractCapabilityInvolvement.capability(fcaci, target);
}
@Surrogate(feature="involvingCapabilityRealizations")
pattern FunctionalChain__involvingCapabilityRealizations(self : FunctionalChain, target : CapabilityRealization) {
FunctionalChain.involvingInvolvements(self, fcaci);
FunctionalChainAbstractCapabilityInvolvement.capability(fcaci, target);
}
@Surrogate(feature="realizedFunctionalChains")
pattern FunctionalChain__realizedFunctionalChains(self : FunctionalChain, target : FunctionalChain) {
FunctionalChainRealization.sourceElement(fcr, self);
FunctionalChainRealization.targetElement(fcr, target);
}
@Surrogate(feature="realizingFunctionalChains")
pattern FunctionalChain__realizingFunctionalChains(self : FunctionalChain, target : FunctionalChain) {
FunctionalChainRealization.targetElement(fcr, self);
FunctionalChainRealization.sourceElement(fcr, target);
}