blob: 86046baecc9f85fbd70aabfe8aab55754fd19dc9 (
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
|
/*****************************************************************************
* Copyright (c) 2011 CEA LIST.
*
*
* 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:
* CEA LIST - Initial API and implementation
*
*****************************************************************************/
package org.eclipse.papyrus.uml.alf.syntax.units;
import org.eclipse.papyrus.uml.alf.syntax.expressions.Expression;
public class PropertyDefinition extends TypedElementDefinition {
// Synthesized Properties
public Expression initializer ;
public boolean isComposite = false ;
// Derived Properties
public boolean isBitStringConversion ;
public boolean isCollectionConversion ;
// Constraints
/*
* If a property definition has an initializer, then the initializer expression must be assignable to the
* property definition.
*/
public void checkPropertyDefinitionInitializer() {
}
/*
* A property definition requires BitString conversion if its type is BitString and the type of its initializer is
* Integer or a collection class whose argument type is Integer.
*/
public void checkPropertyDefinitionIsBitStringConversion() {
}
/*
* A property definition requires collection conversion if its initializer has a collection class as its type and
* the property definition does not.
*/
public void checkPropertyDefinitionIsCollectionConversionDerivation() {
}
/*
* A property definition is a feature.
*/
public void checkPropertyDefinitionIsFeatureDerivation() {
}
// Helper Operations
/*
* Returns true if the annotation is for a stereotype that has a metaclass consistent with Property.
*/
public boolean annotationAllowed(StereotypeAnnotation annotation) {
return false ;
}
/*
* Return true if the given member is either a PropertyDefinition or an imported member whose referent is
* a PropertyDefinition or a Property.
*/
public boolean isSameKindAs(Member member) {
return false ;
}
}
|
