Merge branch 'topic/508' into 'master'

Do not fail when importing file already present in rules search paths

Closes #508

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

Author: thvnx

lkql_jit/language/src/main/java/com/adacore/lkql_jit/nodes/declarations/Import.java

@@ -170,7 +170,11 @@ private File getModuleFile() {
             if (dir != null && dir.isDirectory()) {
                 File moduleTry = new File(dir, moduleFileName);
                 if (moduleTry.isFile() && moduleTry.canRead()) {
-                    matchingFiles.add(moduleTry);
+                    try {
+                        matchingFiles.add(moduleTry.getCanonicalFile());
+                    } catch (IOException e) {
+                        throw LKQLRuntimeException.fromJavaException(e, this);
+                    }
                 }
             }
         }

testsuite/tests/interpreter/non_ambiguous_import/prj.gpr

@@ -0,0 +1,2 @@
+project Prj is
+end Prj;

testsuite/tests/interpreter/non_ambiguous_import/rules/my_rule.lkql

@@ -0,0 +1,5 @@
+import mylib
+
+@check(help="help", message="message")
+fun my_rule(node) =
+    node is DefiningName

testsuite/tests/interpreter/non_ambiguous_import/rules/mylib.lkql

@@ -0,0 +1 @@
+#mylib

testsuite/tests/interpreter/non_ambiguous_import/test.adb

@@ -0,0 +1,4 @@
+procedure Test is  -- FLAG
+begin
+   null;
+end;

testsuite/tests/interpreter/non_ambiguous_import/test.out

@@ -0,0 +1,35 @@
+1. Summary
+
+   fully compliant sources               : 0
+   sources with exempted violations only : 0
+   sources with non-exempted violations  : 1
+   unverified sources                    : 0
+   total sources                         : 1
+   ignored sources                       : 0
+
+   non-exempted violations               : 1
+   rule exemption warnings               : 0
+   compilation errors                    : 0
+   exempted violations                   : 0
+   internal errors                       : 0
+
+2. Exempted Coding Standard Violations
+
+   no exempted violations detected
+
+3. Non-exempted Coding Standard Violations
+
+test.adb:1:11: rule violation: message
+
+4. Rule exemption problems
+
+   no rule exemption problems detected
+
+5. Language violations
+
+   no language violations detected
+
+6. Gnatcheck internal errors
+
+   no internal error detected
+

testsuite/tests/interpreter/non_ambiguous_import/test.yaml

@@ -0,0 +1,9 @@
+driver: 'gnatcheck'
+description: |
+  Do not raise an error when the imported file is in one of the lkql rules
+  search path.
+project: 'prj.gpr'
+rules:
+  - +Rmy_rule
+rules_dirs:
+  - rules