1 files changed, 36 insertions, 0 deletions
diff --git a/extraplugins/alf09/src/org/eclipse/papyrus/alf/syntax/expressions/IsUniqueExpression.java b/extraplugins/alf09/src/org/eclipse/papyrus/alf/syntax/expressions/IsUniqueExpression.java
new file mode 100644
index 00000000000..010bc860880
--- /dev/null
+++ b/extraplugins/alf09/src/org/eclipse/papyrus/alf/syntax/expressions/IsUniqueExpression.java
@@ -0,0 +1,36 @@
+package org.eclipse.papyrus.alf.syntax.expressions;
+
+public class IsUniqueExpression extends SequenceExpansionExpression {
+
+	// Constraints
+	
+	/*
+	 * The argument of an isUnique expression must have a multiplicity upper bound of 1.
+	 */
+	public void checkIsUniqueExpressionExpressionArgument() {
+		
+	}
+	
+	/*
+	 * An isUnique expression has a multiplicity lower bound of 1.
+	 */
+	public void checkIsUniqueExpressionLowerDerivation() {
+		
+	}
+	
+	/*
+	 * An isUnique expression has the type Boolean.
+	 */
+	public void checkIsUniqueExpressionTypeDerivation() {
+		
+	}
+	
+	/*
+	 * An isUnique expression has a multiplicity upper bound of 1.
+	 */
+	public void checkIsUniqueExpressionUpperDerivation() {
+		
+	}
+	
+	
+}