Add grammar rules for new constraint syntax

opencypher · Jan 20, 2017 · 1fd0cbf · 1fd0cbf
1 parent 0ba6d35
commit 1fd0cbf
Show file tree

Hide file tree

Showing 3 changed files with 57 additions and 3 deletions.
diff --git a/grammar/basic-grammar.xml b/grammar/basic-grammar.xml
@@ -134,7 +134,7 @@
     </alt>
   </production>
 
-  <production name="RelType" rr:inline="true" oc:legacy="true">
+  <production name="RelType" rr:inline="true">
     :<non-terminal ref="RelTypeName"/>
   </production>
 

diff --git a/grammar/commands.xml b/grammar/commands.xml
@@ -31,7 +31,7 @@
   xmlns:rr="http://opencypher.org/railroad"
   xmlns:oc="http://opencypher.org/opencypher">
 
-  <production name="Command" rr:inline="true" oc:legacy="true">
+  <production name="Command" rr:inline="true">
     <alt>
       <non-terminal ref="CreateIndex"/>
       <non-terminal ref="DropIndex"/>
@@ -44,10 +44,51 @@
 
       <non-terminal ref="CreateRelationshipPropertyExistenceConstraint"/>
       <non-terminal ref="DropRelationshipPropertyExistenceConstraint"/>
+
+      <non-terminal ref="CreateConstraint"/>
+      <non-terminal ref="DropConstraint"/>
+    </alt>
+  </production>
+
+  <!-- / NEW CONSTRAINT SYNTAX \ -->
+
+  <production name="CreateConstraint">
+    CREATE &SP; CONSTRAINT &SP; <non-terminal ref="ConstraintName"/> &SP;
+    FOR &SP; <non-terminal ref="ConstraintPattern"/> &SP;
+    REQUIRE &SP; <non-terminal ref="ConstraintExpression"/>
+  </production>
+
+  <production name="DropConstraint">
+    DROP &SP; CONSTRAINT &SP; <non-terminal ref="ConstraintName"/>
+  </production>
+
+  <production name="ConstraintName">
+    <non-terminal ref="SymbolicName"/>
+  </production>
+
+  <production name="ConstraintPattern">
+    <alt>
+      <seq>( &var; &label; ) </seq>
+      <seq>( ) - [ &var; <non-terminal ref='RelType'/> ] - ( ) </seq>
+    </alt>
+  </production>
+
+  <production name="ConstraintExpression">
+    <alt>
+      <non-terminal ref="NodePropertyUniquenessConstraint"/>
+      <non-terminal ref="PropertyExistenceConstraint"/>
     </alt>
   </production>
 
-  <!-- / COMMANDS \ -->
+  <production name="NodePropertyUniquenessConstraint">
+    UNIQUE &SP; <non-terminal ref="PropertyExpression"/> <repeat>&WS; , &WS; <non-terminal ref="PropertyExpression"/></repeat>
+  </production>
+
+  <production name="PropertyExistenceConstraint">
+    exists ( <non-terminal ref="PropertyExpression"/> )
+  </production>
+
+  <!-- / LEGACY COMMANDS \ -->
 
   <production name="CreateUniqueConstraint" rr:inline="true" oc:legacy="true">
     CREATE &SP; <non-terminal ref="UniqueConstraint"/>

diff --git a/tools/grammar/src/test/resources/cypher.txt b/tools/grammar/src/test/resources/cypher.txt
@@ -178,3 +178,16 @@ RETURN .0020123§
 RETURN 10101.0020123§
 RETURN 10101.4§
 RETURN 99882.04000§
+CREATE CONSTRAINT foo
+FOR (p:Person)
+REQUIRE UNIQUE p.name§
+CREATE CONSTRAINT bar
+FOR (p:Person)
+REQUIRE UNIQUE p.name, p.email§
+CREATE CONSTRAINT baz
+FOR (p:Person)
+REQUIRE exists(p.name)§
+CREATE CONSTRAINT cru
+FOR ()-[r:REL]-()
+REQUIRE exists(r.property)§
+DROP CONSTRAINT foo_bar_baz§