blob: 163c5660724979057eb88cadd6ae7f50ba763f11 (
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
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
|
/*******************************************************************************
* Copyright (c) 2013, 2015 Willink Transformations and others.
* 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:
* E.D.Willink - initial API and implementation
*******************************************************************************/
package org.eclipse.qvtd.pivot.qvtimperative;
import org.eclipse.emf.common.util.EList;
import org.eclipse.ocl.pivot.ReferringElement;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>Mapping Call</b></em>'.
* <!-- end-user-doc -->
*
* <!-- begin-model-doc -->
* A MappingCall specifies the invocation of a referredMapping with a set of bindings
* of the bound variables of the referredMapping to values provided in the invocation.
* Where Collections of values are provided for isLoop bindings, a distinct invocation
* is performed for each distinct permutation of Collection elements.
* <!-- end-model-doc -->
*
* <p>
* The following features are supported:
* </p>
* <ul>
* <li>{@link org.eclipse.qvtd.pivot.qvtimperative.MappingCall#getBinding <em>Binding</em>}</li>
* <li>{@link org.eclipse.qvtd.pivot.qvtimperative.MappingCall#isIsInfinite <em>Is Infinite</em>}</li>
* <li>{@link org.eclipse.qvtd.pivot.qvtimperative.MappingCall#isIsInstall <em>Is Install</em>}</li>
* <li>{@link org.eclipse.qvtd.pivot.qvtimperative.MappingCall#isIsInvoke <em>Is Invoke</em>}</li>
* <li>{@link org.eclipse.qvtd.pivot.qvtimperative.MappingCall#getReferredMapping <em>Referred Mapping</em>}</li>
* </ul>
*
* @see org.eclipse.qvtd.pivot.qvtimperative.QVTimperativePackage#getMappingCall()
* @generated
*/
public interface MappingCall extends MappingStatement, ReferringElement {
/**
* Returns the value of the '<em><b>Referred Mapping</b></em>' reference.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Referred Mapping</em>' reference isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
* The Mapping invoked by the MappingCall.
* <!-- end-model-doc -->
* @return the value of the '<em>Referred Mapping</em>' reference.
* @see #setReferredMapping(Mapping)
* @see org.eclipse.qvtd.pivot.qvtimperative.QVTimperativePackage#getMappingCall_ReferredMapping()
* @generated
*/
Mapping getReferredMapping();
/**
* Sets the value of the '{@link org.eclipse.qvtd.pivot.qvtimperative.MappingCall#getReferredMapping <em>Referred Mapping</em>}' reference.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>Referred Mapping</em>' reference.
* @see #getReferredMapping()
* @generated
*/
void setReferredMapping(Mapping value);
/**
* Returns the value of the '<em><b>Binding</b></em>' containment reference list.
* The list contents are of type {@link org.eclipse.qvtd.pivot.qvtimperative.MappingParameterBinding}.
* It is bidirectional and its opposite is '{@link org.eclipse.qvtd.pivot.qvtimperative.MappingParameterBinding#getMappingCall <em>Mapping Call</em>}'.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Binding</em>' containment reference list isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
* The Set of value to bound variable bindings.
* <!-- end-model-doc -->
* @return the value of the '<em>Binding</em>' containment reference list.
* @see org.eclipse.qvtd.pivot.qvtimperative.QVTimperativePackage#getMappingCall_Binding()
* @see org.eclipse.qvtd.pivot.qvtimperative.MappingParameterBinding#getMappingCall
* @generated
*/
EList<MappingParameterBinding> getBinding();
/**
* Returns the value of the '<em><b>Is Infinite</b></em>' attribute.
* The default value is <code>"false"</code>.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
* An infinite MappingCall requires re-invocation of the called mapping to be suppressed to avoid an infinite loop.
* <!-- end-model-doc -->
* @return the value of the '<em>Is Infinite</em>' attribute.
* @see #setIsInfinite(boolean)
* @see org.eclipse.qvtd.pivot.qvtimperative.QVTimperativePackage#getMappingCall_IsInfinite()
* @generated
*/
boolean isIsInfinite();
/**
* Sets the value of the '{@link org.eclipse.qvtd.pivot.qvtimperative.MappingCall#isIsInfinite <em>Is Infinite</em>}' attribute.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>Is Infinite</em>' attribute.
* @see #isIsInfinite()
* @generated
*/
void setIsInfinite(boolean value);
/**
* Returns the value of the '<em><b>Is Install</b></em>' attribute.
* The default value is <code>"false"</code>.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
* An infinite MappingCall requires re-invocation of the called mapping to be suppressed to avoid an infinite loop.
* <!-- end-model-doc -->
* @return the value of the '<em>Is Install</em>' attribute.
* @see #setIsInstall(boolean)
* @see org.eclipse.qvtd.pivot.qvtimperative.QVTimperativePackage#getMappingCall_IsInstall()
* @generated
*/
boolean isIsInstall();
/**
* Sets the value of the '{@link org.eclipse.qvtd.pivot.qvtimperative.MappingCall#isIsInstall <em>Is Install</em>}' attribute.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>Is Install</em>' attribute.
* @see #isIsInstall()
* @generated
*/
void setIsInstall(boolean value);
/**
* Returns the value of the '<em><b>Is Invoke</b></em>' attribute.
* The default value is <code>"false"</code>.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
* An infinite MappingCall requires re-invocation of the called mapping to be suppressed to avoid an infinite loop.
* <!-- end-model-doc -->
* @return the value of the '<em>Is Invoke</em>' attribute.
* @see #setIsInvoke(boolean)
* @see org.eclipse.qvtd.pivot.qvtimperative.QVTimperativePackage#getMappingCall_IsInvoke()
* @generated
*/
boolean isIsInvoke();
/**
* Sets the value of the '{@link org.eclipse.qvtd.pivot.qvtimperative.MappingCall#isIsInvoke <em>Is Invoke</em>}' attribute.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>Is Invoke</em>' attribute.
* @see #isIsInvoke()
* @generated
*/
void setIsInvoke(boolean value);
} // MappingCall
|
