From 7b85a69efe7842dc364c836e5b2fd29035a04b9f Mon Sep 17 00:00:00 2001
From: Aosen Xiong <aosen.xiong@uwaterloo.ca>
Date: Sat, 1 Jun 2024 14:34:50 -0400
Subject: [PATCH] Revert one isEmpty() change

---
 .../java/pico/inference/PICOInferenceAnnotatedTypeFactory.java  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/java/pico/inference/PICOInferenceAnnotatedTypeFactory.java b/src/main/java/pico/inference/PICOInferenceAnnotatedTypeFactory.java
index ed172c5..c2eb390 100644
--- a/src/main/java/pico/inference/PICOInferenceAnnotatedTypeFactory.java
+++ b/src/main/java/pico/inference/PICOInferenceAnnotatedTypeFactory.java
@@ -115,7 +115,7 @@ public AnnotatedDeclaredType getSelfType(Tree tree) {
         AnnotatedDeclaredType type = getAnnotatedType(enclosingClass);
 
         MethodTree enclosingMethod = TreePathUtil.enclosingMethod(path);
-        if (!enclosingClass.getSimpleName().isEmpty() && enclosingMethod != null) {
+        if (enclosingClass.getSimpleName().length() != 0 && enclosingMethod != null) {
             AnnotatedTypeMirror.AnnotatedDeclaredType methodReceiver;
             if (TreeUtils.isConstructor(enclosingMethod)) {
                 methodReceiver =