From 92928dfef2918e06e42d5617c8dc2da3c5d6e86d Mon Sep 17 00:00:00 2001 From: Ziyang Hu Date: Wed, 11 Jan 2023 15:37:57 +0800 Subject: [PATCH] index op parser --- cozo-core/src/cozoscript.pest | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/cozo-core/src/cozoscript.pest b/cozo-core/src/cozoscript.pest index 9ead0f6d..6867001a 100644 --- a/cozo-core/src/cozoscript.pest +++ b/cozo-core/src/cozoscript.pest @@ -12,8 +12,10 @@ query_script_inner = {"{" ~ (option | rule | const_rule | fixed_rule)+ ~ "}"} query_script_inner_no_bracket = { (option | rule | const_rule | fixed_rule)+ } imperative_script = {SOI ~ imperative_stmt+ ~ EOI} sys_script = {SOI ~ "::" ~ (compact_op | list_relations_op | list_relation_op | remove_relations_op | trigger_relation_op | - trigger_relation_show_op | rename_relations_op | running_op | kill_op | explain_op | access_level_op) ~ EOI} - + trigger_relation_show_op | rename_relations_op | running_op | kill_op | explain_op | access_level_op | index_op) ~ EOI} +index_op = {"index" ~ (index_create | index_drop)} +index_create = {"create" ~ compound_ident ~ ":" ~ ident ~ "{" ~ ident+ ~ "}"} +index_drop = {"drop" ~ compound_ident ~ ":" ~ ident } compact_op = {"compact"} running_op = {"running"} kill_op = {"kill" ~ expr}