diff options
Diffstat (limited to 'extraplugins/alf09/src/org/eclipse/papyrus/alf/syntax/expressions/CollectOrIterateExpression.java')
| -rw-r--r-- | extraplugins/alf09/src/org/eclipse/papyrus/alf/syntax/expressions/CollectOrIterateExpression.java | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/extraplugins/alf09/src/org/eclipse/papyrus/alf/syntax/expressions/CollectOrIterateExpression.java b/extraplugins/alf09/src/org/eclipse/papyrus/alf/syntax/expressions/CollectOrIterateExpression.java new file mode 100644 index 00000000000..19299e2d6d3 --- /dev/null +++ b/extraplugins/alf09/src/org/eclipse/papyrus/alf/syntax/expressions/CollectOrIterateExpression.java @@ -0,0 +1,30 @@ +package org.eclipse.papyrus.alf.syntax.expressions;
+
+public class CollectOrIterateExpression extends SequenceExpansionExpression {
+
+ // Constraints
+
+ /*
+ * A collect or iterate expression has a multiplicity lower bound that is the product of the bounds of its
+ * primary and argument expressions.
+ */
+ public void checkCollectOrIterateExpressionLowerDerivation() {
+
+ }
+
+ /*
+ * A collect or iterate expression has the same type as its argument expression.
+ */
+ public void checkCollectOrIterateExpressionTypeDerivation() {
+
+ }
+
+ /*
+ * A collect or iterate expression has a multiplicity upper bound that is the product of the bounds of its
+ * primary and argument expressions.
+ */
+ public void checkCollectOrIterateExpressionUpperDerivation() {
+
+ }
+
+}
|