Add graph_schema

lszeremeta · Sep 22, 2020 · 8795d9e · 8795d9e
1 parent c6818ed
commit 8795d9e
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 0 deletions.
diff --git a/other-notations/YARSpg.ebnf b/other-notations/YARSpg.ebnf
@@ -45,6 +45,7 @@ statement
            | var_declaration_schema
            | section
            | graph
+           | graphs_schema
 prefix_directive
          ::= pname IRI
 pname    ::= ':' ALNUM_PLUS ':'
@@ -160,6 +161,8 @@ directed_schema
          ::= 'S' '(' node_id_schema ')' '-' '(' ( '{' ( edge_label ( ',' edge_label )* )? '}' )? prop_list_schema? ')' '->' '(' node_id_schema ')'
 undirected_schema
          ::= 'S' '(' node_id_schema ')' '-' '(' ( '{' ( edge_label ( ',' edge_label )* )? '}' )? prop_list_schema? ')' '-' '(' node_id_schema1 ')'
+graph_schema
+         ::= 'S' '/' graph_id '/' ( '{' ( graph_label ( ',' graph_label )* )? '}' )? prop_list_schema?
 number   ::= UNSIGNED_INT
            | SIGNED_INT
            | DECIMAL

diff --git a/yarspg/YARSpg.g4 b/yarspg/YARSpg.g4
@@ -41,6 +41,7 @@ statement
     | var_declaration_schema
     | section
     | graph
+    | graph_schema
     ;
 
 prefix_directive
@@ -284,6 +285,10 @@ undirected_schema
     : 'S' '(' node_id_schema ')' '-' '(' ( '{' ( edge_label ( ',' edge_label )* )? '}' )? prop_list_schema? ')' '-' '(' node_id_schema ')'
     ;
 
+graph_schema
+    : 'S' '/' graph_id '/' ( '{' ( graph_label ( ',' graph_label )* )? '}' )? prop_list_schema?
+    ;
+
 number
     : UNSIGNED_INT
     | SIGNED_INT

diff --git a/yarspg/examples/test-example.yarspg b/yarspg/examples/test-example.yarspg
@@ -1,15 +1,20 @@
 %GRAPH
+S/graph1/{"graph_label", "graphlabel2"}["prop": Bool, "prop2": String]
 /graph1/{"graph_label", "graphlabel2"}["prop": true, "prop2": "Abc"]
 
 $graph2_prop = "prop2": "Abc"@"ok": false
+$graph2_prop_schema = "prop2": String @"ok": Bool
 
 %GRAPH
+S/graph2/{"graph_label", "graphlabel2"}["prop": Bool, $graph2_prop_schema]
 /graph2/{"graph_label", "graphlabel2"}["prop": true, $graph2_prop]
 
 %GRAPH
+S/graph3/{}[]
 /graph3/{}[]
 
 %GRAPH
+S/graph4/
 /graph4/
 
 # This is test example