From 904fd0b5ad9fb6c0b6c6d46b974970ef1cbc5038 Mon Sep 17 00:00:00 2001 From: Ricardo Costa Date: Mon, 18 May 2026 14:52:26 +0100 Subject: [PATCH 1/2] Fix External Method Not Found --- .../warnings/ExternalMethodNotFoundWarning.java | 10 +++++----- .../ExternalRefinementTypeChecker.java | 8 ++++---- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/liquidjava-verifier/src/main/java/liquidjava/diagnostics/warnings/ExternalMethodNotFoundWarning.java b/liquidjava-verifier/src/main/java/liquidjava/diagnostics/warnings/ExternalMethodNotFoundWarning.java index c9f573ae..1639cf90 100644 --- a/liquidjava-verifier/src/main/java/liquidjava/diagnostics/warnings/ExternalMethodNotFoundWarning.java +++ b/liquidjava-verifier/src/main/java/liquidjava/diagnostics/warnings/ExternalMethodNotFoundWarning.java @@ -9,20 +9,20 @@ */ public class ExternalMethodNotFoundWarning extends LJWarning { - private final String methodName; + private final String signature; private final String className; private final String[] overloads; - public ExternalMethodNotFoundWarning(SourcePosition position, String message, String methodName, String className, + public ExternalMethodNotFoundWarning(SourcePosition position, String message, String signature, String className, String[] overloads) { super(message, position); - this.methodName = methodName; + this.signature = signature; this.className = className; this.overloads = overloads; } - public String getMethodName() { - return methodName; + public String getSignature() { + return signature; } public String getClassName() { diff --git a/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/ExternalRefinementTypeChecker.java b/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/ExternalRefinementTypeChecker.java index aa9370bd..020acd3c 100644 --- a/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/ExternalRefinementTypeChecker.java +++ b/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/ExternalRefinementTypeChecker.java @@ -80,11 +80,11 @@ public void visitCtMethod(CtMethod method) { } } else { if (!methodExists(targetType, method)) { - String message = String.format("Could not find method '%s %s' for '%s'", - method.getType().getSimpleName(), method.getSignature(), prefix); + String signature = String.format("%s %s", method.getType().getSimpleName(), method.getSignature()); + String message = String.format("Could not find method '%s' for '%s'", signature, prefix); String[] overloads = getOverloads(targetType, method); - diagnostics.add(new ExternalMethodNotFoundWarning(method.getPosition(), message, method.getSignature(), - prefix, overloads)); + diagnostics.add( + new ExternalMethodNotFoundWarning(method.getPosition(), message, signature, prefix, overloads)); return; } } From 706b099c3836f7d956d257d440fa5baf6eda8543 Mon Sep 17 00:00:00 2001 From: Ricardo Costa Date: Mon, 18 May 2026 14:54:28 +0100 Subject: [PATCH 2/2] Minor Changes --- .../refinement_checker/ExternalRefinementTypeChecker.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/ExternalRefinementTypeChecker.java b/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/ExternalRefinementTypeChecker.java index 020acd3c..bf5ca9bc 100644 --- a/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/ExternalRefinementTypeChecker.java +++ b/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/ExternalRefinementTypeChecker.java @@ -72,10 +72,10 @@ public void visitCtMethod(CtMethod method) { boolean isConstructor = method.getSimpleName().equals(targetType.getSimpleName()); if (isConstructor) { if (!constructorExists(targetType, method)) { - String message = String.format("Could not find constructor '%s' for '%s'", method.getSignature(), - prefix); + String signature = method.getSignature(); + String message = String.format("Could not find constructor '%s' for '%s'", signature, prefix); String[] overloads = getOverloads(targetType, method); - diagnostics.add(new ExternalMethodNotFoundWarning(method.getPosition(), message, method.getSignature(), + diagnostics.add(new ExternalMethodNotFoundWarning(method.getPosition(), message, signature, prefix, overloads)); } } else {