Genericize LKQL: switch Libadalang.Char to LangkitSupport.CharInterface

thvnx · thvnx · commit 7ab15ab55f66 · 2025-06-25T12:13:25.000Z
This change is basically a simple renaming of Libadalang.Char to
LangkitSupport.CharInterface and adaptations to the new interfaces
provided by LangkitSupport.
diff --git a/lkql_jit/language/src/main/java/com/adacore/lkql_jit/utils/LKQLTypesHelper.java b/lkql_jit/language/src/main/java/com/adacore/lkql_jit/utils/LKQLTypesHelper.java
@@ -241,7 +241,7 @@ else if (javaValue instanceof BigInteger) {
             return javaValue;
         }
         // If the value is a character
-        else if (javaValue instanceof Libadalang.Char character) {
+        else if (javaValue instanceof LangkitSupport.CharInterface character) {
             return character.toString();
         }
         // If the source is a symbol

Original file line number	Diff line number	Diff line change
`@@ -241,7 +241,7 @@ else if (javaValue instanceof BigInteger) {`
`241`	`241`	`return javaValue;`
`242`	`242`	`}`
`243`	`243`	`// If the value is a character`
`244`		`- else if (javaValue instanceof Libadalang.Char character) {`
	`244`	`+ else if (javaValue instanceof LangkitSupport.CharInterface character) {`
`245`	`245`	`return character.toString();`
`246`	`246`	`}`
`247`	`247`	`// If the source is a symbol`