Define toStringVerbose() (#5830)

typetools · May 2, 2023 · ea0fca0 · ea0fca0
1 parent afdd30a
commit ea0fca0
Showing 1 changed file with 31 additions and 2 deletions.
diff --git a/...checkerframework/common/wholeprograminference/WholeProgramInferenceJavaParserStorage.java b/...checkerframework/common/wholeprograminference/WholeProgramInferenceJavaParserStorage.java
@@ -54,6 +54,8 @@
 import java.util.Map;
 import java.util.Optional;
 import java.util.Set;
+import java.util.StringJoiner;
+import java.util.TreeMap;
 import java.util.TreeSet;
 import java.util.stream.Collectors;
 import javax.lang.model.element.AnnotationMirror;
@@ -1257,6 +1259,21 @@ public void transferAnnotations(BaseTypeChecker checker) {
  public TypeDeclaration<?> getClassOrInterfaceDeclarationByName(String name) {
  return JavaParserUtil.getTypeDeclarationByName(compilationUnit, name);
  }
+
+ /**
+ * Returns a verbose printed representation of this.
+ *
+ * @return a verbose printed representation of this
+ */
+ @SuppressWarnings("UnusedMethod")
+ public String toStringVerbose() {
+ StringJoiner sb = new StringJoiner(System.lineSeparator());
+ sb.add("CompilationUnitAnnos:");
+ for (ClassOrInterfaceAnnos type : types) {
+ sb.add(type.toStringVerbose());
+ }
+ return sb.toString();
+ }
  }
 
  /**
@@ -1352,12 +1369,24 @@ public void transferAnnotations() {
 
  @Override
  public String toString() {
- return "ClassOrInterfaceAnnos [callableDeclarations="
- + callableDeclarations
+ return "ClassOrInterfaceAnnos ["
+ + classDeclaration.getName()
+ + ": callableDeclarations="
+ // For deterministic output
+ + new TreeMap<>(callableDeclarations)
  + ", fields="
  + fields
  + "]";
  }
+
+ /**
+ * Returns a verbose printed representation of this.
+ *
+ * @return a verbose printed representation of this
+ */
+ public String toStringVerbose() {
+ return toString();
+ }
  }
 
  /**