Add a default LKQL options instance

Do this to avoid the obligation to explicitly pass the "lkql.options" option when
create an Polyglot context.

Author: HugoGGuerrier

lkql_jit/language/src/main/java/com/adacore/lkql_jit/LKQLContext.java

@@ -246,8 +246,14 @@ public void patchContext(TruffleLanguage.Env newEnv) {
     public LKQLOptions getOptions() {
         if (this.options == null) {
             final var optionsSource = this.env.getOptions().get(LKQLLanguage.options);
-            final var jsonObject = new JSONObject(new JSONTokener(optionsSource));
-            this.options = LKQLOptions.fromJson(jsonObject);
+
+            // If the "lkql.options" value is empty, get default options.
+            if (!optionsSource.isBlank()) {
+                final var jsonObject = new JSONObject(new JSONTokener(optionsSource));
+                this.options = LKQLOptions.fromJson(jsonObject);
+            } else {
+                this.options = LKQLOptions.getDefault();
+            }
         }
         return this.options;
     }

lkql_jit/language/src/main/java/com/adacore/lkql_jit/LKQLLanguage.java

@@ -91,7 +91,7 @@ public final class LKQLLanguage extends TruffleLanguage<LKQLContext> {
             help = "Options for the LKQL engine as a JSON object",
             category = OptionCategory.INTERNAL,
             stability = OptionStability.STABLE)
-    static final OptionKey<String> options = new OptionKey<>("{}");
+    static final OptionKey<String> options = new OptionKey<>("");
 
     Liblkqllang.AnalysisContext lkqlAnalysisContext;
 

lkql_jit/options/src/main/java/com/adacore/lkql_jit/options/LKQLOptions.java

@@ -122,6 +122,11 @@ public static LKQLOptions fromJson(JSONObject jsonLKQLOptions) {
                 AutoFixMode.valueOf(jsonLKQLOptions.getString("autoFixMode")));
     }
 
+    /** Get a default options instance. */
+    public static LKQLOptions getDefault() {
+        return new Builder().build();
+    }
+
     // ----- Instance methods -----
 
     /** Serialize the LKQL options to a JSON object. */

testsuite/tests/interop/function/Main.java

@@ -13,15 +13,7 @@ private static void print(String messageName, Object value) {
     }
 
     public static void main(String[] args) {
-        Context context = Context
-            .newBuilder("lkql")
-            .option(
-                "lkql.options", new LKQLOptions.Builder()
-                    .projectFile("default_project/default.gpr")
-                    .build()
-                    .toJson()
-                    .toString()
-            ).build();
+        Context context = Context.newBuilder("lkql").build();
         Value executable = context.parse("lkql", LKQL_SOURCE);
 
         Value namespace = executable.execute(false);

testsuite/tests/interop/iterator/Main.java

@@ -8,15 +8,7 @@ private static void print(String messageName, Object value) {
     }
 
     public static void main(String[] args) {
-        Context context = Context
-            .newBuilder("lkql")
-            .option(
-                "lkql.options", new LKQLOptions.Builder()
-                    .projectFile("default_project/default.gpr")
-                    .build()
-                    .toJson()
-                    .toString()
-            ).build();
+        Context context = Context.newBuilder("lkql").build();
         Value executable = context.parse("lkql", "val list = [1, \"Hello\", [1, 2]]");
 
         Value namespace = executable.execute(false);

testsuite/tests/interop/list/Main.java

@@ -14,15 +14,7 @@ private static void print(String messageName, Object value) {
     }
 
     public static void main(String[] args) {
-        Context context = Context
-            .newBuilder("lkql")
-            .option(
-                "lkql.options", new LKQLOptions.Builder()
-                    .projectFile("default_project/default.gpr")
-                    .build()
-                    .toJson()
-                    .toString()
-            ).build();
+        Context context = Context.newBuilder("lkql").build();
         Value executable = context.parse("lkql", LKQL_SOURCE);
 
         Value namespace = executable.execute(false);

testsuite/tests/interop/list_comp/Main.java

@@ -14,15 +14,7 @@ private static void print(String messageName, Object value) {
     }
 
     public static void main(String[] args) {
-        Context context = Context
-            .newBuilder("lkql")
-            .option(
-                "lkql.options", new LKQLOptions.Builder()
-                    .projectFile("default_project/default.gpr")
-                    .build()
-                    .toJson()
-                    .toString()
-            ).build();
+        Context context = Context.newBuilder("lkql").build();
         Value executable = context.parse("lkql", LKQL_SOURCE);
 
         Value namespace = executable.execute(false);

testsuite/tests/interop/namespace/Main.java

@@ -13,15 +13,7 @@ private static void print(String messageName, Object value) {
     }
 
     public static void main(String[] args) {
-        Context context = Context
-            .newBuilder("lkql")
-            .option(
-                "lkql.options", new LKQLOptions.Builder()
-                    .projectFile("default_project/default.gpr")
-                    .build()
-                    .toJson()
-                    .toString()
-            ).build();
+        Context context = Context.newBuilder("lkql").build();
         Value executable = context.parse("lkql", LKQL_SOURCE);
 
         Value namespace = executable.execute(false);

testsuite/tests/interop/null/Main.java

@@ -13,15 +13,7 @@ private static void print(String messageName, Object value) {
     }
 
     public static void main(String[] args) {
-        Context context = Context
-            .newBuilder("lkql")
-            .option(
-                "lkql.options", new LKQLOptions.Builder()
-                    .projectFile("default_project/default.gpr")
-                    .build()
-                    .toJson()
-                    .toString()
-            ).build();
+        Context context = Context.newBuilder("lkql").build();
         Value executable = context.parse("lkql", LKQL_SOURCE);
 
         Value namespace = executable.execute(false);

testsuite/tests/interop/object/Main.java

@@ -13,15 +13,7 @@ private static void print(String messageName, Object value) {
     }
 
     public static void main(String[] args) {
-        Context context = Context
-            .newBuilder("lkql")
-            .option(
-                "lkql.options", new LKQLOptions.Builder()
-                    .projectFile("default_project/default.gpr")
-                    .build()
-                    .toJson()
-                    .toString()
-            ).build();
+        Context context = Context.newBuilder("lkql").build();
         Value executable = context.parse("lkql", LKQL_SOURCE);
 
         Value namespace = executable.execute(false);