Adds QuantifiedExpression
diff --git a/asterix-app/src/main/resources/sdk/static/js/asterix-sdk-stable.js b/asterix-app/src/main/resources/sdk/static/js/asterix-sdk-stable.js
index 5854521..5867722 100644
--- a/asterix-app/src/main/resources/sdk/static/js/asterix-sdk-stable.js
+++ b/asterix-app/src/main/resources/sdk/static/js/asterix-sdk-stable.js
@@ -685,3 +685,31 @@
SetStatement.prototype = Object.create(AExpression.prototype);
SetStatement.prototype.constructor = SetStatement;
+
+
+// Quantified Expression
+//
+// Grammar
+// QuantifiedExpression ::= ( ( "some" ) | ( "every" ) ) Variable "in" Expression ( "," Variable "in" Expression )* "satisfies" Expression
+//
+// @param String some/every
+// @param [AExpression]
+// @param [Aexpression] satisfiesExpression
+function QuantifiedExpression (keyword, expressions, satisfiesExpression) {
+ AExpression.call(this);
+
+ var expression = keyword + " ";
+ var varsInExpressions = [];
+
+ for (var varInExpression in expressions) {
+ varsInExpressions.push(varInExpression + " in " + expressions[varInExpression].val());
+ }
+ expression += varsInExpressions.join(", ") + " satisfies " + satisfiesExpression.val();
+
+ AExpression.prototype.set.call(this, expression);
+
+ return this;
+}
+
+QuantifiedExpression.prototype = Object.create(AExpression.prototype);
+QuantifiedExpression.prototype.constructor = QuantifiedExpression;