diff options
Diffstat (limited to 'extraplugins/alf09/src/org/eclipse/papyrus/alf/syntax/expressions/SequenceExpressionList.java')
| -rw-r--r-- | extraplugins/alf09/src/org/eclipse/papyrus/alf/syntax/expressions/SequenceExpressionList.java | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/extraplugins/alf09/src/org/eclipse/papyrus/alf/syntax/expressions/SequenceExpressionList.java b/extraplugins/alf09/src/org/eclipse/papyrus/alf/syntax/expressions/SequenceExpressionList.java new file mode 100644 index 00000000000..9532f7ac336 --- /dev/null +++ b/extraplugins/alf09/src/org/eclipse/papyrus/alf/syntax/expressions/SequenceExpressionList.java @@ -0,0 +1,28 @@ +package org.eclipse.papyrus.alf.syntax.expressions;
+
+import java.util.List;
+
+public class SequenceExpressionList extends SequenceElements {
+
+ // Synthesized Properties
+ public List<Expression> element ;
+
+ // Constraints
+ /*
+ * The multiplicity lower bound of the elements of a sequence expression list is given by the sum of the
+ * lower bounds of each of the expressions in the list.
+ */
+ public void checkSequenceExpressionListLowerDerivation() {
+
+ }
+
+ /*
+ * The multiplicity lower bound of the elements of a sequence expression list is given by the sum of the
+ * lower bounds of each of the expressions in the list. If any of the expressions in the list have an
+ * unbounded upper bound, then the sequence expression list also has an unbounded upper bound.
+ */
+ public void checkSequenceExpressionListUpperDerivation() {
+
+ }
+
+}
|