lkql_jit: update source code after a breaking API change in Langkit

pmderodat · pmderodat · commit c1111293e1fb · 2025-03-10T13:49:12.000Z
diff --git a/lkql_jit/language/src/main/java/com/adacore/lkql_jit/checker/built_ins/NodeCheckerFunction.java b/lkql_jit/language/src/main/java/com/adacore/lkql_jit/checker/built_ins/NodeCheckerFunction.java
@@ -120,9 +120,7 @@ public Object alwaysTrue(VirtualFrame frame, Libadalang.AdaNode root) {
                         );
                     if (context.isCheckerDebug()) {
                         context.getLogger().severe(e.getMessage());
-                        context
-                            .getLogger()
-                            .severe(e.adaStackTrace.orElse("ERROR: can't get Ada stack trace"));
+                        context.getLogger().severe(e.nativeStackTrace());
                     }
                     continue;
                 }

Original file line number	Diff line number	Diff line change
`@@ -120,9 +120,7 @@ public Object alwaysTrue(VirtualFrame frame, Libadalang.AdaNode root) {`
`120`	`120`	`);`
`121`	`121`	`if (context.isCheckerDebug()) {`
`122`	`122`	`context.getLogger().severe(e.getMessage());`
`123`		`- context`
`124`		`- .getLogger()`
`125`		`- .severe(e.adaStackTrace.orElse("ERROR: can't get Ada stack trace"));`
	`123`	`+ context.getLogger().severe(e.nativeStackTrace());`
`126`	`124`	`}`
`127`	`125`	`continue;`
`128`	`126`	`}`