blob: ecb0caee5bea3f80b9566e2fd2b2c33e5a56c4b7 (
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
|
/**
*/
package org.eclipse.papyrus.uml.alf;
import java.math.BigInteger;
import java.util.Map;
import org.eclipse.emf.common.util.DiagnosticChain;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>Bit String Unary Expression</b></em>'.
* <!-- end-user-doc -->
*
* <p>
* The following features are supported:
* </p>
* <ul>
* <li>{@link org.eclipse.papyrus.uml.alf.BitStringUnaryExpression#isIsBitStringConversion <em>Is Bit String Conversion</em>}</li>
* </ul>
*
* @see org.eclipse.papyrus.uml.alf.AlfPackage#getBitStringUnaryExpression()
* @model
* @generated
*/
public interface BitStringUnaryExpression extends UnaryExpression {
/**
* Returns the value of the '<em><b>Is Bit String Conversion</b></em>' attribute.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
* Whether BitString conversion is required on the operand expression.
* <!-- end-model-doc -->
* @return the value of the '<em>Is Bit String Conversion</em>' attribute.
* @see #setIsBitStringConversion(boolean)
* @see org.eclipse.papyrus.uml.alf.AlfPackage#getBitStringUnaryExpression_IsBitStringConversion()
* @model transient="true" volatile="true" derived="true"
* annotation="http://schema.omg.org/spec/MOF/2.0/emof.xml#Property.oppositeRoleName body='FeatureInvocationExpression'"
* annotation="http://schema.omg.org/spec/MOF/2.0/emof.xml#Property.oppositeRoleName body='FeatureInvocationExpression'"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot derivation='self.isIntegerType(self.operand.type)'"
* @generated
*/
boolean isIsBitStringConversion();
/**
* Sets the value of the '{@link org.eclipse.papyrus.uml.alf.BitStringUnaryExpression#isIsBitStringConversion <em>Is Bit String Conversion</em>}' attribute.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @param value the new value of the '<em>Is Bit String Conversion</em>' attribute.
* @see #isIsBitStringConversion()
* @generated
*/
void setIsBitStringConversion(boolean value);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='self.bitStringType()'"
* @generated
*/
ElementReference type();
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model required="true"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='self.operand.lower'"
* @generated
*/
BigInteger lower();
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model required="true"
* annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='1'"
* @generated
*/
BigInteger upper();
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
* A BitString unary expression has type BitString.
* (See the type() operation.)
* <!-- end-model-doc -->
* @model
* @generated
*/
boolean bitStringUnaryExpressionTypeDerivation(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
* A BitString unary expression has the same multiplicity lower bound as its
* operand expression.
* (See the lower() operation.)
* <!-- end-model-doc -->
* @model
* @generated
*/
boolean bitStringUnaryExpressionLowerDerivation(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
* A BitString unary expression has a multiplicity upper bound of 1.
* (See the upper() operation.)
* <!-- end-model-doc -->
* @model
* @generated
*/
boolean bitStringUnaryExpressionUpperDerivation(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
* The operand expression of a BitString unary expression must have type
* BitString or Integer and a multiplicity upper bound of 1.
* <!-- end-model-doc -->
* @model annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='\n let operandType = self.operand.type in\n (self.isBitStringType(operandType) or self.isIntegerType(operandType)) and\n self.operand.upper = 1'"
* @generated
*/
boolean bitStringUnaryExpressionOperand(DiagnosticChain diagnostics, Map<Object, Object> context);
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
* BitString conversion is required if the operand expression of a BitString
* unary expression has type Integer.
* <!-- end-model-doc -->
* @model
* @generated
*/
boolean bitStringUnaryExpressionIsBitStringConversionDerivation(DiagnosticChain diagnostics, Map<Object, Object> context);
} // BitStringUnaryExpression
|
