Enhance wrongMember error message

raph-amiard · raph-amiard · commit 96cb915858ae · 2024-05-17T10:26:02.000Z
diff --git a/lkql_jit/language/src/main/java/com/adacore/lkql_jit/exception/LKQLRuntimeException.java b/lkql_jit/language/src/main/java/com/adacore/lkql_jit/exception/LKQLRuntimeException.java
@@ -298,7 +298,7 @@ public static LKQLRuntimeException noSuchField(Node location) {
     @CompilerDirectives.TruffleBoundary
     public static LKQLRuntimeException wrongMember(String member, String type, Node location) {
         return LKQLRuntimeException.fromMessage(
-                "Cannot get member " + member + " for " + type + " value", location);
+                "Cannot get member `%s` for %s value".formatted(member, type), location);
     }
 
     /**

Original file line number	Diff line number	Diff line change
`@@ -298,7 +298,7 @@ public static LKQLRuntimeException noSuchField(Node location) {`
`298`	`298`	`@CompilerDirectives.TruffleBoundary`
`299`	`299`	`public static LKQLRuntimeException wrongMember(String member, String type, Node location) {`
`300`	`300`	`return LKQLRuntimeException.fromMessage(`
`301`		`- "Cannot get member " + member + " for " + type + " value", location);`
	`301`	+ "Cannot get member `%s` for %s value".formatted(member, type), location);
`302`	`302`	`}`
`303`	`303`
`304`	`304`	`/**`