Merge branch 'topic/checks_quick_fixes' into 'master'

Add auto-fix driver to the LKQL executable

Closes #208

See merge request eng/libadalang/langkit-query-language!161

Author: HugoGGuerrier

Makefile

@@ -36,6 +36,9 @@ doc: build_lkql_native_jit
 	cd user_manual && make clean html
 	cd lkql_checker/doc && make generate html-all
 
+format:
+	$(MAVEN) -f lkql_jit spotless:apply
+
 gnatcheck: lkql
 	gprbuild -P lkql_checker/gnatcheck.gpr -p $(GPR_ARGS) -XBUILD_MODE=$(BUILD_MODE)
 

lkql/build/railroad-diagrams/constructor_call.svg

@@ -30,6 +30,7 @@ class Token(LexerToken):
     Else = WithSymbol()
     Not = WithSymbol()
     Null = WithSymbol()
+    New = WithSymbol()
     Import = WithSymbol()
 
     Dot = WithText()
@@ -135,6 +136,7 @@ class Token(LexerToken):
     (Literal("then"),                             Token.Then),
     (Literal("not"),                              Token.Not),
     (Literal("null"),                             Token.Null),
+    (Literal("new"),                              Token.New),
     (Pattern("[0-9]+"),                           Token.Integer),
     (Pattern("[a-z][A-Za-z0-9_]*"),               Token.Identifier),
     (Pattern("[A-Za-z][A-Za-z0-9_]*"),            Token.UpperIdentifier),

lkql/build/railroad-diagrams/value_expr.svg

@@ -344,6 +344,14 @@ class SafeAccess(DotAccess):
     pass
 
 
+class UpperDotAccess(Expr):
+    """
+    Access to a node kind field using the dot notation.
+    """
+    receiver = Field(type=Identifier)
+    member = Field(type=Identifier)
+
+
 class InClause(Expr):
     """
     Check that a list contains a given value using the ``in`` keyword
@@ -845,6 +853,22 @@ def min_depth_expr():
                   Self.depth_expr)
 
 
+class ConstructorCall(Expr):
+    """
+    Call of a constructor.
+
+    For instance::
+
+        new IntLiteral("50")
+        new BinOp(f_op=new OpPlus(),
+                  f_left=new IntLiteral("40"),
+                  f_right=new IntLiteral("2"))
+    """
+
+    name = Field(type=Identifier)
+    arguments = Field(type=Arg.list)
+
+
 class RecExpr(Expr):
     """
     Expression that is only valid in a selector. Describes the next actions of
@@ -1253,13 +1277,15 @@ class Tuple(Expr):
 
         DotAccess(G.value_expr, ".", c(), G.id),
         SafeAccess(G.value_expr, "?.", c(), G.id),
+        UpperDotAccess(G.upper_id, ".", c(), G.id),
         Indexing(G.value_expr, "[", c(), G.expr, "]"),
         SafeIndexing(G.value_expr, "?[", c(), G.expr, "]"),
         G.selector_expr,
         FunCall(
             G.value_expr, Safe("?"),
             "(", c(), List(G.arg, empty_valid=True, sep=","), ")"
         ),
+        G.constructor_call,
         G.term
     ),
 
@@ -1323,6 +1349,11 @@ class Tuple(Expr):
         G.id, Safe("?"), "(", c(), G.arg_list, ")"
     ),
 
+    constructor_call=ConstructorCall(
+        "new", G.upper_id,
+        "(", c(), List(G.arg, empty_valid=True, sep=","), ")"
+    ),
+
     arg_list=List(G.arg, empty_valid=True, sep=","),
 
     selector_decl=SelectorDecl(