From 0fb0f1b2a77bbc35631a713c053d80115f38e264 Mon Sep 17 00:00:00 2001
From: Theron Wang <doritocat2015@gmail.com>
Date: Mon, 5 Aug 2024 12:07:40 -0400
Subject: [PATCH 01/11] port `typecheck_one_test.sh` to batch

---
 typecheck_one_test.bat     | 41 ++++++++++++++++++++++++++++++++++++++
 typecheck_test_outputs.bat | 40 +++++++++----------------------------
 2 files changed, 50 insertions(+), 31 deletions(-)
 create mode 100644 typecheck_one_test.bat

diff --git a/typecheck_one_test.bat b/typecheck_one_test.bat
new file mode 100644
index 00000000..8346beb2
--- /dev/null
+++ b/typecheck_one_test.bat
@@ -0,0 +1,41 @@
+@echo off
+
+rem This script runs javac on a single expected test output. If the test output
+rem is compilable, it exits with code 0. If not, it exits with code 1. In all other
+rem cases (e.g., if a cd command fails), it exits with code 2. It includes
+rem logic for skipping test cases that don't need to compile, etc. It should be
+rem run in the directory src/test/resources.
+
+setlocal enabledelayedexpansion
+
+set testcase=%1
+
+if "%testcase%"=="shared" exit /b 0
+rem https://bugs.openjdk.org/browse/JDK-8319461 wasn't actually fixed (this test is based on that bug)
+if "%testcase%"=="superinterfaceextends" exit /b 0
+rem incomplete handling of method references: https://github.com/njit-jerse/specimin/issues/291
+rem this test exists to check that no crash occurs, not that Specimin produces the correct output
+if "%testcase%"=="methodref2" exit /b 0
+rem this test will not compile right now; this is a TODO in UnsolvedSymbolVisitor#lookupTypeArgumentFQN
+if "%testcase%"=="methodreturnfullyqualifiedgeneric" exit /b 0
+
+cd "%testcase%\expected\" || exit /b 2
+
+set JAVA_FILES=
+for /r %%F in (*.java) do (
+  set "JAVA_FILES=!JAVA_FILES! %%F"
+)
+
+javac -classpath "../../shared/checker-qual-3.42.0.jar" !JAVA_FILES!
+if errorlevel 1 (
+  echo Running javac on %testcase% resulted in one or more errors, which are printed above.
+  set returnval=1
+)
+
+rem clean up
+for /r %%F in (*.class) do (
+  del "%%F"
+)
+endlocal
+
+exit /b 0
\ No newline at end of file
diff --git a/typecheck_test_outputs.bat b/typecheck_test_outputs.bat
index 9efe890a..426bc1e8 100644
--- a/typecheck_test_outputs.bat
+++ b/typecheck_test_outputs.bat
@@ -10,46 +10,24 @@ rem should produce independently-compilable programs.
 setlocal enabledelayedexpansion
 set returnval=0
 
+set "current_directory=%cd%"
+
 cd src\test\resources || exit /b 1
 
 for /d %%t in (*) do (
-  set continue=0
-  if "%%t"=="shared" set continue=1
-  rem https://bugs.openjdk.org/browse/JDK-8319461 wasn't actually fixed (this test is based on that bug)
-  if "%%t"=="superinterfaceextends" set continue=1
-  rem incomplete handling of method references: https://github.com/njit-jerse/specimin/issues/291
-  rem this test exists to check that no crash occurs, not that Specimin produces the correct output
-  if "%%t"=="methodref2" set continue=1
-  rem this test will not compile right now; this is a TODO in UnsolvedSymbolVisitor#lookupTypeArgumentFQN
-  if "%%t"=="methodreturnfullyqualifiedgeneric" set continue=1
-  if !continue!==0 (
-    cd "%%t/expected/" || exit 1
-    rem javac relies on word splitting
-    rem shellcheck disable=SC2046
-    set JAVA_FILES=
-    for /r %%F in (*.java) do (
-      set "JAVA_FILES=!JAVA_FILES! %%F"
-    )
-    javac -classpath "../../shared/checker-qual-3.42.0.jar" !JAVA_FILES!
-    if errorlevel 1 (
-        echo Running javac on %%F resulted in one or more errors, which are printed above.
-        set returnval=2
-    )
-    cd ../.. || exit 1
-  )
+  call %current_directory%\typecheck_one_test.bat %%t
+  set test_retval=!errorlevel!
+  rem update overall return value
+  if !test_retval! NEQ 0 set returnval=1
 )
 
 if !returnval!==0 (
   echo All expected test outputs compiled successfully.
 ) else (
-  if !returnval!==2 (
+  if !returnval!==1 (
     echo Some expected test outputs do not compile successfully. See the above error output for details.
   )
 )
 
-for /r %%F in (*.class) do (
-    del "%%F"
-)
-
-exit /b !returnval!
-endlocal
\ No newline at end of file
+endlocal
+exit /b !returnval!
\ No newline at end of file

From 2410516261039ecf016f475899b22202eb0fa3e7 Mon Sep 17 00:00:00 2001
From: Theron Wang <doritocat2015@gmail.com>
Date: Mon, 5 Aug 2024 12:13:17 -0400
Subject: [PATCH 02/11] fix test runner again

---
 check_differences/check_differences.bat | 100 +++++++++---------------
 check_differences/test/test_runner.bat  |   2 +-
 2 files changed, 39 insertions(+), 63 deletions(-)

diff --git a/check_differences/check_differences.bat b/check_differences/check_differences.bat
index b43085b2..f42fb54d 100644
--- a/check_differences/check_differences.bat
+++ b/check_differences/check_differences.bat
@@ -1,5 +1,4 @@
 @echo off
-
 rem On Windows, instead of using the diff command for SpeciminTestExecutor, we can use this
 rem command instead since diff is not included by default. This script outputs 0 if no differences
 rem are found, 1 if a difference in file structure or file content (all whitespace removed) is found
@@ -9,18 +8,18 @@ goto :MAIN
 rem Function to remove all whitespace from a file
 :RemoveWhitespace
     setlocal enabledelayedexpansion
-        set "content="
-        rem Simply calling (%~1) is not enough; in edge cases, empty lines containing delimiters (i.e. ;)
-        rem may be removed. Therefore, we need findstr to add line numbers so no line is empty.
-        for /F "tokens=* delims=" %%i in ('findstr /n "^" %~1') do (
-            set line=%%i
-            set line=!line:*:=!
-            if "!line!" NEQ "" set line=!line: =!
-            set content=!content!!line!
-        )
-        echo !content! >> %~2
+    set "content="
+    rem Simply calling (%~1) is not enough; in edge cases, empty lines containing delimiters (i.e. ;)
+    rem may be removed. Therefore, we need findstr to add line numbers so no line is empty.
+    for /F "tokens=* delims=" %%i in ('findstr /n "^" "%~1"') do (
+        set "line=%%i"
+        set "line=!line:*:=!"
+        if "!line!" NEQ "" set "line=!line: =!"
+        set "content=!content!!line!"
+    )
+    echo !content! > "%~2"
     endlocal
-exit /b 0
+    exit /b 0
 
 :MAIN
 
@@ -35,60 +34,37 @@ if "%2"=="" (
     exit /b 1
 )
 
-set CURRENT_DIRECTORY=%CD%
-
-cd %1
-set DIRECTORY_1=%CD%
-
-cd %CURRENT_DIRECTORY%
+set "CURRENT_DIRECTORY=%CD%"
 
-cd %2
-set DIRECTORY_2=%CD%
+cd "%1" || exit /b 1
+set "DIRECTORY_1=%CD%\"
 
-cd %CURRENT_DIRECTORY%
+cd "%CURRENT_DIRECTORY%"
 
-set DIRECTORY_1_COPY=%DIRECTORY_1%
-set DIRECTORY_2_COPY=%DIRECTORY_2%
+cd "%2" || exit /b 1
+set "DIRECTORY_2=%CD%\"
 
-set DIR_1_LENGTH=0
-set DIR_2_LENGTH=0
-
-rem Get the length of directory 1 so we can later convert absolute to relative paths
-:dir_1_length_loop
-if defined DIRECTORY_1_COPY (
-    set "DIRECTORY_1_COPY=!DIRECTORY_1_COPY:~1!"
-    set /A "DIR_1_LENGTH+=1"
-    goto :dir_1_length_loop
-)
-
-rem Get the length of directory 2 so we can later convert absolute to relative paths
-:dir_2_length_loop
-if defined DIRECTORY_2_COPY (
-    set "DIRECTORY_2_COPY=!DIRECTORY_2_COPY:~1!"
-    set /A "DIR_2_LENGTH+=1"
-    goto :dir_2_length_loop
-)
+cd "%CURRENT_DIRECTORY%"
 
-rem Account for trailing \ (absent when using CD)
-set /A DIR_1_LENGTH+=1
-set /A DIR_2_LENGTH+=1
 
+cd "%DIRECTORY_1%"
 set DIR_1_STRUCTURE=
-for /F "delims=" %%i in ('dir "%1" /A-D /S /B') do (
+for /r %%i in (*) do (
     rem Convert absolute to relative path
-    set ABSOLUTE_PATH=%%i
-    set RELATIVE_PATH=!ABSOLUTE_PATH:~%DIR_1_LENGTH%!
+    set "ABSOLUTE_PATH=%%i"
+    set "RELATIVE_PATH=!ABSOLUTE_PATH:%DIRECTORY_1%=!"
     rem Add each file path to the DIR_1_STRUCTURE list of files
-    set DIR_1_STRUCTURE=!DIR_1_STRUCTURE!;!RELATIVE_PATH!
+    set "DIR_1_STRUCTURE=!DIR_1_STRUCTURE!;!RELATIVE_PATH!"
 )
 
+cd "%DIRECTORY_2%"
 set DIR_2_STRUCTURE=
-for /F "delims=" %%i in ('dir "%2" /A-D /S /B') do (
+for /r %%i in (*) do (
     rem Convert absolute to relative path
-    set ABSOLUTE_PATH=%%i
-    set RELATIVE_PATH=!ABSOLUTE_PATH:~%DIR_2_LENGTH%!
+    set "ABSOLUTE_PATH=%%i"
+    set "RELATIVE_PATH=!ABSOLUTE_PATH:%DIRECTORY_2%=!"
     rem Add each file path to the DIR_2_STRUCTURE list of files
-    set DIR_2_STRUCTURE=!DIR_2_STRUCTURE!;!RELATIVE_PATH!
+    set "DIR_2_STRUCTURE=!DIR_2_STRUCTURE!;!RELATIVE_PATH!"
 )
 
 if "!DIR_1_STRUCTURE!" NEQ "!DIR_2_STRUCTURE!" (
@@ -99,21 +75,21 @@ if "!DIR_1_STRUCTURE!" NEQ "!DIR_2_STRUCTURE!" (
 
 rem At this point, we have guaranteed that the files are the same, so we only
 rem need to iterate through one of the lists.
-for %%f in (%DIR_1_STRUCTURE%) do (
-    set FILE_1=!DIRECTORY_1!\%%f
-    set FILE_2=!DIRECTORY_2!\%%f
-    call :RemoveWhitespace !FILE_1! !FILE_1!.tmp
-    call :RemoveWhitespace !FILE_2! !FILE_2!.tmp
+for %%f in (!DIR_1_STRUCTURE!) do (
+    set "FILE_1=!DIRECTORY_1!\%%f"
+    set "FILE_2=!DIRECTORY_2!\%%f"
+    call :RemoveWhitespace "!FILE_1!" "!FILE_1!.tmp"
+    call :RemoveWhitespace "!FILE_2!" "!FILE_2!.tmp"
 
     set fail=0
     rem set fail=1 will only be called if fc exits with exit code 1 (differences)
-    fc !FILE_1!.tmp !FILE_2!.tmp > nul || set fail=1
+    fc "!FILE_1!.tmp" "!FILE_2!.tmp" > nul || set fail=1
 
-    del !FILE_1!.tmp
-    del !FILE_2!.tmp
+    del "!FILE_1!.tmp"
+    del "!FILE_2!.tmp"
     if !fail!==1 (
-        echo !FILE_1! and !FILE_2! are different
-        goto differences_found
+        echo "!FILE_1!" and "!FILE_2!" are different
+        goto :differences_found
     )
 )
 
diff --git a/check_differences/test/test_runner.bat b/check_differences/test/test_runner.bat
index 5f1eddd6..dad155f6 100644
--- a/check_differences/test/test_runner.bat
+++ b/check_differences/test/test_runner.bat
@@ -34,7 +34,7 @@ endlocal
             if "%%t" NEQ "base" (
                 @echo off
                 rem Redirect to nul because we don't want any output messages
-                call "../../check_differences.bat" "base" "%%t" > nul
+                call "../../check_differences.bat" base %%t > nul
                 set exitcode=!errorlevel!
                 rem "%%t" represents the folder name (i.e. base, 0, 1) since we have changed the directory
                 rem to the test case directory

From f6a79148261dfb5717f1bd168cce321fd557219b Mon Sep 17 00:00:00 2001
From: Theron Wang <doritocat2015@gmail.com>
Date: Mon, 5 Aug 2024 12:13:58 -0400
Subject: [PATCH 03/11] temp commit to see if CI fails

---
 .../resources/abstractimpl/expected/com/example/Simple.java     | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/test/resources/abstractimpl/expected/com/example/Simple.java b/src/test/resources/abstractimpl/expected/com/example/Simple.java
index 01ad4868..2138a9c8 100644
--- a/src/test/resources/abstractimpl/expected/com/example/Simple.java
+++ b/src/test/resources/abstractimpl/expected/com/example/Simple.java
@@ -5,7 +5,7 @@
 
 import com.example.WrappedSet;
 
-public class Simple<K, V> {
+public class Simply<K, V> {
     Collection<V> bar(K key, Collection<V> collection) {
         return new WrappedSet(key, (Set<V>) collection);
     }

From 0f388230a3a81d523d38f760e524aa1216e401bf Mon Sep 17 00:00:00 2001
From: Theron Wang <doritocat2015@gmail.com>
Date: Mon, 5 Aug 2024 12:19:15 -0400
Subject: [PATCH 04/11] see what the CI says

---
 check_differences/check_differences.bat | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/check_differences/check_differences.bat b/check_differences/check_differences.bat
index f42fb54d..53af195c 100644
--- a/check_differences/check_differences.bat
+++ b/check_differences/check_differences.bat
@@ -69,6 +69,8 @@ for /r %%i in (*) do (
 
 if "!DIR_1_STRUCTURE!" NEQ "!DIR_2_STRUCTURE!" (
     echo Folder structures are different
+    echo Directory 1: !DIR_1_STRUCTURE!
+    echo Directory 2: !DIR_2_STRUCTURE!
     endlocal
     exit /b 1
 )

From b2f6113ee3c47a7cbb26b01a786d98eab779fe3b Mon Sep 17 00:00:00 2001
From: Theron Wang <doritocat2015@gmail.com>
Date: Mon, 5 Aug 2024 12:24:32 -0400
Subject: [PATCH 05/11] change error message

---
 check_differences/check_differences.bat | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/check_differences/check_differences.bat b/check_differences/check_differences.bat
index 53af195c..0c29a363 100644
--- a/check_differences/check_differences.bat
+++ b/check_differences/check_differences.bat
@@ -68,9 +68,7 @@ for /r %%i in (*) do (
 )
 
 if "!DIR_1_STRUCTURE!" NEQ "!DIR_2_STRUCTURE!" (
-    echo Folder structures are different
-    echo Directory 1: !DIR_1_STRUCTURE!
-    echo Directory 2: !DIR_2_STRUCTURE!
+    echo !DIR_1_STRUCTURE! and !DIR_2_STRUCTURE! are not equal
     endlocal
     exit /b 1
 )

From 241cd11e378a53b0201bc8057024f1f668f71492 Mon Sep 17 00:00:00 2001
From: Theron Wang <doritocat2015@gmail.com>
Date: Mon, 5 Aug 2024 12:57:08 -0400
Subject: [PATCH 06/11] try something

---
 check_differences/check_differences.bat       |  3 --
 .../specimin/SpeciminTestExecutor.java        | 28 ++++++++++++++++---
 2 files changed, 24 insertions(+), 7 deletions(-)

diff --git a/check_differences/check_differences.bat b/check_differences/check_differences.bat
index 0c29a363..022a4510 100644
--- a/check_differences/check_differences.bat
+++ b/check_differences/check_differences.bat
@@ -44,9 +44,6 @@ cd "%CURRENT_DIRECTORY%"
 cd "%2" || exit /b 1
 set "DIRECTORY_2=%CD%\"
 
-cd "%CURRENT_DIRECTORY%"
-
-
 cd "%DIRECTORY_1%"
 set DIR_1_STRUCTURE=
 for /r %%i in (*) do (
diff --git a/src/test/java/org/checkerframework/specimin/SpeciminTestExecutor.java b/src/test/java/org/checkerframework/specimin/SpeciminTestExecutor.java
index 4c8a0cb9..041e81b5 100644
--- a/src/test/java/org/checkerframework/specimin/SpeciminTestExecutor.java
+++ b/src/test/java/org/checkerframework/specimin/SpeciminTestExecutor.java
@@ -64,15 +64,33 @@ public static void runTest(
       return;
     }
 
+    boolean isWindows = Ascii.toLowerCase(System.getProperty("os.name")).startsWith("windows");
+
     // Construct the list of arguments.
     List<String> speciminArgs = new ArrayList<>();
+
     speciminArgs.add("--outputDirectory");
-    speciminArgs.add(outputDir.toAbsolutePath().toString());
+    String outputDirectoryAsString = outputDir.toAbsolutePath().toString();
+
+    if (isWindows) {
+      outputDirectoryAsString = outputDirectoryAsString.replace('\\', '/'); 
+    }
+    speciminArgs.add(outputDirectoryAsString);
+
     speciminArgs.add("--root");
-    speciminArgs.add(
-        Path.of("src/test/resources/" + testName + "/input/").toAbsolutePath().toString() + "/");
+    String rootDirectory = Path.of("src/test/resources/" + testName + "/input/").toAbsolutePath().toString() + "/");
+
+    if (isWindows) {
+      rootDirectory = rootDirectory.replace('\\', '/');
+    }
+
+    speciminArgs.add(rootDirectory);
     for (String targetFile : targetFiles) {
       speciminArgs.add("--targetFile");
+      
+      if (isWindows) {
+        targetFile = targetFile.replace('\\', '/');
+      }
       speciminArgs.add(targetFile);
     }
     for (String targetMember : targetMembers) {
@@ -88,6 +106,9 @@ public static void runTest(
     speciminArgs.add(modularityModel);
     for (String jarPath : jarPaths) {
       speciminArgs.add("--jarPath");
+      if (isWindows) {
+        jarPath = jarPath.replace('\\', '/');
+      }
       speciminArgs.add(jarPath);
     }
 
@@ -96,7 +117,6 @@ public static void runTest(
 
     // Diff the files to ensure that specimin's output is what we expect
     ProcessBuilder builder = new ProcessBuilder();
-    boolean isWindows = Ascii.toLowerCase(System.getProperty("os.name")).startsWith("windows");
     if (isWindows) {
       builder.command(
           "check_differences/check_differences.bat",

From dd3495278d3cafa6d2b0d882e27193fa74ea69e1 Mon Sep 17 00:00:00 2001
From: Theron Wang <doritocat2015@gmail.com>
Date: Mon, 5 Aug 2024 13:00:45 -0400
Subject: [PATCH 07/11] remove typo

---
 .../org/checkerframework/specimin/SpeciminTestExecutor.java     | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/test/java/org/checkerframework/specimin/SpeciminTestExecutor.java b/src/test/java/org/checkerframework/specimin/SpeciminTestExecutor.java
index 041e81b5..31ef0a6e 100644
--- a/src/test/java/org/checkerframework/specimin/SpeciminTestExecutor.java
+++ b/src/test/java/org/checkerframework/specimin/SpeciminTestExecutor.java
@@ -78,7 +78,7 @@ public static void runTest(
     speciminArgs.add(outputDirectoryAsString);
 
     speciminArgs.add("--root");
-    String rootDirectory = Path.of("src/test/resources/" + testName + "/input/").toAbsolutePath().toString() + "/");
+    String rootDirectory = Path.of("src/test/resources/" + testName + "/input/").toAbsolutePath().toString() + "/";
 
     if (isWindows) {
       rootDirectory = rootDirectory.replace('\\', '/');

From 395111452449504588c8d96c34b8b2e67233d575 Mon Sep 17 00:00:00 2001
From: Theron Wang <doritocat2015@gmail.com>
Date: Mon, 5 Aug 2024 13:14:05 -0400
Subject: [PATCH 08/11] see output directories

---
 check_differences/check_differences.bat       |  4 ++-
 .../specimin/SpeciminTestExecutor.java        | 27 +++----------------
 2 files changed, 7 insertions(+), 24 deletions(-)

diff --git a/check_differences/check_differences.bat b/check_differences/check_differences.bat
index 022a4510..3938a70a 100644
--- a/check_differences/check_differences.bat
+++ b/check_differences/check_differences.bat
@@ -45,6 +45,7 @@ cd "%2" || exit /b 1
 set "DIRECTORY_2=%CD%\"
 
 cd "%DIRECTORY_1%"
+echo %cd%
 set DIR_1_STRUCTURE=
 for /r %%i in (*) do (
     rem Convert absolute to relative path
@@ -55,6 +56,7 @@ for /r %%i in (*) do (
 )
 
 cd "%DIRECTORY_2%"
+echo %cd%
 set DIR_2_STRUCTURE=
 for /r %%i in (*) do (
     rem Convert absolute to relative path
@@ -65,7 +67,7 @@ for /r %%i in (*) do (
 )
 
 if "!DIR_1_STRUCTURE!" NEQ "!DIR_2_STRUCTURE!" (
-    echo !DIR_1_STRUCTURE! and !DIR_2_STRUCTURE! are not equal
+    echo %DIRECTORY_1% and %DIRECTORY_2% have different directory structures
     endlocal
     exit /b 1
 )
diff --git a/src/test/java/org/checkerframework/specimin/SpeciminTestExecutor.java b/src/test/java/org/checkerframework/specimin/SpeciminTestExecutor.java
index 31ef0a6e..2fa89c0c 100644
--- a/src/test/java/org/checkerframework/specimin/SpeciminTestExecutor.java
+++ b/src/test/java/org/checkerframework/specimin/SpeciminTestExecutor.java
@@ -64,33 +64,16 @@ public static void runTest(
       return;
     }
 
-    boolean isWindows = Ascii.toLowerCase(System.getProperty("os.name")).startsWith("windows");
-
     // Construct the list of arguments.
     List<String> speciminArgs = new ArrayList<>();
 
     speciminArgs.add("--outputDirectory");
-    String outputDirectoryAsString = outputDir.toAbsolutePath().toString();
-
-    if (isWindows) {
-      outputDirectoryAsString = outputDirectoryAsString.replace('\\', '/'); 
-    }
-    speciminArgs.add(outputDirectoryAsString);
-
+    speciminArgs.add(outputDir.toAbsolutePath().toString());
     speciminArgs.add("--root");
-    String rootDirectory = Path.of("src/test/resources/" + testName + "/input/").toAbsolutePath().toString() + "/";
-
-    if (isWindows) {
-      rootDirectory = rootDirectory.replace('\\', '/');
-    }
-
-    speciminArgs.add(rootDirectory);
+    speciminArgs.add(
+      Path.of("src/test/resources/" + testName + "/input/").toAbsolutePath().toString() + "/");
     for (String targetFile : targetFiles) {
       speciminArgs.add("--targetFile");
-      
-      if (isWindows) {
-        targetFile = targetFile.replace('\\', '/');
-      }
       speciminArgs.add(targetFile);
     }
     for (String targetMember : targetMembers) {
@@ -106,15 +89,13 @@ public static void runTest(
     speciminArgs.add(modularityModel);
     for (String jarPath : jarPaths) {
       speciminArgs.add("--jarPath");
-      if (isWindows) {
-        jarPath = jarPath.replace('\\', '/');
-      }
       speciminArgs.add(jarPath);
     }
 
     // Run specimin on target
     SpeciminRunner.main(speciminArgs.toArray(new String[0]));
 
+    boolean isWindows = Ascii.toLowerCase(System.getProperty("os.name")).startsWith("windows");
     // Diff the files to ensure that specimin's output is what we expect
     ProcessBuilder builder = new ProcessBuilder();
     if (isWindows) {

From cc46dfe155dbfa659400da855dabfbd8adfdd975 Mon Sep 17 00:00:00 2001
From: Theron Wang <doritocat2015@gmail.com>
Date: Mon, 5 Aug 2024 13:38:09 -0400
Subject: [PATCH 09/11] add more debug logs

---
 check_differences/check_differences.bat | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

diff --git a/check_differences/check_differences.bat b/check_differences/check_differences.bat
index 3938a70a..050a614d 100644
--- a/check_differences/check_differences.bat
+++ b/check_differences/check_differences.bat
@@ -34,34 +34,35 @@ if "%2"=="" (
     exit /b 1
 )
 
-set "CURRENT_DIRECTORY=%CD%"
+set "CURRENT_DIRECTORY=%cd%"
 
 cd "%1" || exit /b 1
-set "DIRECTORY_1=%CD%\"
+set "DIRECTORY_1=%cd%"
 
 cd "%CURRENT_DIRECTORY%"
 
 cd "%2" || exit /b 1
-set "DIRECTORY_2=%CD%\"
+set "DIRECTORY_2=%cd%"
+
+echo %DIRECTORY_1%
+echo %DIRECTORY_2%
 
 cd "%DIRECTORY_1%"
-echo %cd%
 set DIR_1_STRUCTURE=
 for /r %%i in (*) do (
     rem Convert absolute to relative path
     set "ABSOLUTE_PATH=%%i"
-    set "RELATIVE_PATH=!ABSOLUTE_PATH:%DIRECTORY_1%=!"
+    set "RELATIVE_PATH=!ABSOLUTE_PATH:%DIRECTORY_1%\=!"
     rem Add each file path to the DIR_1_STRUCTURE list of files
     set "DIR_1_STRUCTURE=!DIR_1_STRUCTURE!;!RELATIVE_PATH!"
 )
 
 cd "%DIRECTORY_2%"
-echo %cd%
 set DIR_2_STRUCTURE=
 for /r %%i in (*) do (
     rem Convert absolute to relative path
     set "ABSOLUTE_PATH=%%i"
-    set "RELATIVE_PATH=!ABSOLUTE_PATH:%DIRECTORY_2%=!"
+    set "RELATIVE_PATH=!ABSOLUTE_PATH:%DIRECTORY_2%\=!"
     rem Add each file path to the DIR_2_STRUCTURE list of files
     set "DIR_2_STRUCTURE=!DIR_2_STRUCTURE!;!RELATIVE_PATH!"
 )

From 58beb6d41180144d1598e0279afcd87320e4860c Mon Sep 17 00:00:00 2001
From: Theron Wang <doritocat2015@gmail.com>
Date: Mon, 5 Aug 2024 13:52:13 -0400
Subject: [PATCH 10/11] use `/D`

---
 check_differences/check_differences.bat | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/check_differences/check_differences.bat b/check_differences/check_differences.bat
index 050a614d..cbd0d2e8 100644
--- a/check_differences/check_differences.bat
+++ b/check_differences/check_differences.bat
@@ -36,18 +36,19 @@ if "%2"=="" (
 
 set "CURRENT_DIRECTORY=%cd%"
 
-cd "%1" || exit /b 1
+rem use /D to handle drive differences (C:\ vs. D:\)
+cd /D "%1" || exit /b 1
 set "DIRECTORY_1=%cd%"
 
-cd "%CURRENT_DIRECTORY%"
+cd /D "%CURRENT_DIRECTORY%"
 
-cd "%2" || exit /b 1
+cd /D "%2" || exit /b 1
 set "DIRECTORY_2=%cd%"
 
 echo %DIRECTORY_1%
 echo %DIRECTORY_2%
 
-cd "%DIRECTORY_1%"
+cd /D "%DIRECTORY_1%"
 set DIR_1_STRUCTURE=
 for /r %%i in (*) do (
     rem Convert absolute to relative path
@@ -57,7 +58,7 @@ for /r %%i in (*) do (
     set "DIR_1_STRUCTURE=!DIR_1_STRUCTURE!;!RELATIVE_PATH!"
 )
 
-cd "%DIRECTORY_2%"
+cd /D "%DIRECTORY_2%"
 set DIR_2_STRUCTURE=
 for /r %%i in (*) do (
     rem Convert absolute to relative path

From 1314c45a96c91ede0ce7ce49d75b24b92830af0d Mon Sep 17 00:00:00 2001
From: Theron Wang <doritocat2015@gmail.com>
Date: Mon, 5 Aug 2024 14:00:10 -0400
Subject: [PATCH 11/11] revert temp change so it can pass

---
 .../resources/abstractimpl/expected/com/example/Simple.java     | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/test/resources/abstractimpl/expected/com/example/Simple.java b/src/test/resources/abstractimpl/expected/com/example/Simple.java
index 2138a9c8..01ad4868 100644
--- a/src/test/resources/abstractimpl/expected/com/example/Simple.java
+++ b/src/test/resources/abstractimpl/expected/com/example/Simple.java
@@ -5,7 +5,7 @@
 
 import com.example.WrappedSet;
 
-public class Simply<K, V> {
+public class Simple<K, V> {
     Collection<V> bar(K key, Collection<V> collection) {
         return new WrappedSet(key, (Set<V>) collection);
     }