add relation all params completion

Author: waderwu

README.md

@@ -11,6 +11,11 @@ For a list of changes in the newest version, please refer to the [changelog](./C
 ## 改进
 1. 增加了multi head的支持
 2. 增加了ByteCodeDL用到的一些语法比如`#if` `#paragma`等
+3. 增加了relation全部参数的自动补全
+![re](./img/relation_all_param_completion.png)
+
+## 遗留问题
+1. 本来想支持`cat`等内置的函数，但是和MacroExpr冲突了，不知道怎么解决
 
 ## Features
 

img/relation_all_param_completion.png

@@ -56,6 +56,7 @@ MACRO_CONTINUATION = \\[ \t\f]*{LINE_BREAK}
   {WHITE_SPACE}         { return WHITE_SPACE; }
 
   "#include"            { return INCLUDE_DIRECTIVE; }
+  "#paragma"            { return PARAGMA_DIRECTIVE; }
   "#if"                 {return IF_DIRECTIVE; }
   "#ifdef"              { return IFDEF_DIRECTIVE; }
   "#ifndef"             { return IFNDEF_DIRECTIVE; }

src/main/grammars/datalog.flex

@@ -10,6 +10,7 @@ import com.lfrobeen.datalog.lang.psi.DatalogDeclarationComment
 import com.lfrobeen.datalog.lang.psi.DatalogDeclarationMixin
 import com.lfrobeen.datalog.lang.psi.DatalogTypes
 import com.lfrobeen.datalog.lang.psi.elementType
+import com.lfrobeen.datalog.lang.psi.impl.DatalogRelDeclImpl
 
 class DatalogCompletionScopeProcessor(private val result: CompletionResultSet) : PsiScopeProcessor {
 
@@ -22,6 +23,19 @@ class DatalogCompletionScopeProcessor(private val result: CompletionResultSet) :
                     .withIcon(decl.presentation?.getIcon(false))
                     .withTypeText(decl.elementType.toString())
             )
+
+            if (decl is DatalogRelDeclImpl){
+                val variables = decl.typedIdentifierList.joinToString(separator = ", ") { it.variable.text }
+                val keyword = decl.name + "(" + variables + ")"
+                result.addElement(
+                    LookupElementBuilder.create(keyword)
+                        .withPsiElement(decl)
+                        .withBoldness(decl.elementType == DatalogTypes.REL_DECL)
+                        .withIcon(decl.presentation?.getIcon(false))
+                        .withTypeText(decl.elementType.toString())
+                )
+            }
+
         }
 
         if (decl is DatalogDeclarationComment && !decl.name.isNullOrEmpty()) {

src/main/kotlin/com/lfrobeen/datalog/lang/completion/DatalogCompletionScopeProcessor.kt

@@ -31,7 +31,8 @@ class DatalogKeywordCompletionContributor : CompletionContributor() {
                 "#ifdef",
                 "#ifndef",
                 "#endif",
-                "#define"
+                "#define",
+                "#paragma",
             )
         )
     }