Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'extraplugins/alf09/src/org/eclipse/papyrus/alf/syntax/expressions/SelectOrRejectExpression.java')
-rw-r--r--extraplugins/alf09/src/org/eclipse/papyrus/alf/syntax/expressions/SelectOrRejectExpression.java37
1 files changed, 37 insertions, 0 deletions
diff --git a/extraplugins/alf09/src/org/eclipse/papyrus/alf/syntax/expressions/SelectOrRejectExpression.java b/extraplugins/alf09/src/org/eclipse/papyrus/alf/syntax/expressions/SelectOrRejectExpression.java
new file mode 100644
index 00000000000..a5d97ff873b
--- /dev/null
+++ b/extraplugins/alf09/src/org/eclipse/papyrus/alf/syntax/expressions/SelectOrRejectExpression.java
@@ -0,0 +1,37 @@
+package org.eclipse.papyrus.alf.syntax.expressions;
+
+public class SelectOrRejectExpression extends SequenceExpansionExpression {
+
+ // Constraints
+
+ /*
+ * The argument of a select or reject expression must have type Boolean and a multiplicity upper bound of
+ * 1.
+ */
+ public void checkSelectOrRejectExpressionArgument() {
+
+ }
+
+ /*
+ * A select or reject expression has a multiplicity lower bound of 0.
+ */
+ public void checkSelectOrRejectExpressionLowerDerivation() {
+
+ }
+
+ /*
+ * A select or reject expression has the same type as its primary expression.
+ */
+ public void checkSelectOrRejectExpressionTypeDerivation() {
+
+ }
+
+ /*
+ * A select or reject expression has a multiplicity upper bound of *.
+ */
+ public void checkSelectOrRejectExpressionUpperDerivation() {
+
+ }
+
+
+}

Back to the top