Add new field to toString() representation

typetools · Dec 17, 2024 · 0304c3c · 0304c3c
1 parent 77b5f74
commit 0304c3c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/...checkerframework/common/wholeprograminference/WholeProgramInferenceJavaParserStorage.java b/...checkerframework/common/wholeprograminference/WholeProgramInferenceJavaParserStorage.java
@@ -1896,6 +1896,7 @@ public String toString() {
               "," + System.lineSeparator() + "  ",
               "CallableDeclarationAnnos{",
               System.lineSeparator() + "}");
+      sj.add(className + "." + declaration.getName().toString());
       sj.add("returnType = " + returnType);
       sj.add("receiverType = " + receiverType);
       sj.add("parameterTypes = " + parameterTypes);