1 files changed, 72 insertions, 0 deletions
diff --git a/plugins/uml/alf/org.eclipse.papyrus.uml.alf/syntax-gen/org/eclipse/papyrus/uml/alf/ForAllOrExistsOrOneExpression.java b/plugins/uml/alf/org.eclipse.papyrus.uml.alf/syntax-gen/org/eclipse/papyrus/uml/alf/ForAllOrExistsOrOneExpression.java
new file mode 100644
index 00000000000..a626f0e539e
--- /dev/null
+++ b/plugins/uml/alf/org.eclipse.papyrus.uml.alf/syntax-gen/org/eclipse/papyrus/uml/alf/ForAllOrExistsOrOneExpression.java
@@ -0,0 +1,72 @@
+/**
+ */
+package org.eclipse.papyrus.uml.alf;
+
+import java.util.Map;
+
+import org.eclipse.emf.common.util.DiagnosticChain;
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>For All Or Exists Or One Expression</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <!-- begin-model-doc -->
+ * A sequence expansion expression with a forAll, exists or one operation.
+ * <!-- end-model-doc -->
+ *
+ *
+ * @see org.eclipse.papyrus.uml.alf.AlfPackage#getForAllOrExistsOrOneExpression()
+ * @model
+ * @generated
+ */
+public interface ForAllOrExistsOrOneExpression extends SequenceExpansionExpression {
+	/**
+	 * <!-- begin-user-doc -->
+	 * <!-- end-user-doc -->
+	 * <!-- begin-model-doc -->
+	 * A forAll, exists or one expression has the type Boolean.
+	 * <!-- end-model-doc -->
+	 * 
+	 * @model
+	 * @generated
+	 */
+	boolean forAllOrExistsOrOneExpressionTypeDerivation(DiagnosticChain diagnostics, Map<Object, Object> context);
+
+	/**
+	 * <!-- begin-user-doc -->
+	 * <!-- end-user-doc -->
+	 * <!-- begin-model-doc -->
+	 * A forAll, exists or one expression has a multiplicity lower bound of 1.
+	 * <!-- end-model-doc -->
+	 * 
+	 * @model
+	 * @generated
+	 */
+	boolean forAllOrExistsOrOneExpressionLowerDerivation(DiagnosticChain diagnostics, Map<Object, Object> context);
+
+	/**
+	 * <!-- begin-user-doc -->
+	 * <!-- end-user-doc -->
+	 * <!-- begin-model-doc -->
+	 * A forAll, exists or one expression has a multiplicity upper bound of 1.
+	 * <!-- end-model-doc -->
+	 * 
+	 * @model
+	 * @generated
+	 */
+	boolean forAllOrExistsOrOneExpressionUpperDerivation(DiagnosticChain diagnostics, Map<Object, Object> context);
+
+	/**
+	 * <!-- begin-user-doc -->
+	 * <!-- end-user-doc -->
+	 * <!-- begin-model-doc -->
+	 * The argument of a forAll, exists or one expression must have type Boolean and a multiplicity upper bound of 1.
+	 * <!-- end-model-doc -->
+	 * 
+	 * @model
+	 * @generated
+	 */
+	boolean forAllOrExistsOrOneExpressionArgument(DiagnosticChain diagnostics, Map<Object, Object> context);
+
+} // ForAllOrExistsOrOneExpression