From 3c414c21216c89a421d4f039cb6642849b47d27b Mon Sep 17 00:00:00 2001
From: Martin Kellogg <martin.kellogg@njit.edu>
Date: Mon, 20 Nov 2023 16:01:07 -0500
Subject: [PATCH] add test for lower case class name

---
 .../specimin/LowercaseClassTest.java           | 18 ++++++++++++++++++
 .../expected/com/example/simple.java           |  7 +++++++
 .../input/com/example/simple.java              |  7 +++++++
 3 files changed, 32 insertions(+)
 create mode 100644 src/test/java/org/checkerframework/specimin/LowercaseClassTest.java
 create mode 100644 src/test/resources/lowercaseclass/expected/com/example/simple.java
 create mode 100644 src/test/resources/lowercaseclass/input/com/example/simple.java

diff --git a/src/test/java/org/checkerframework/specimin/LowercaseClassTest.java b/src/test/java/org/checkerframework/specimin/LowercaseClassTest.java
new file mode 100644
index 000000000..363dc72b9
--- /dev/null
+++ b/src/test/java/org/checkerframework/specimin/LowercaseClassTest.java
@@ -0,0 +1,18 @@
+package org.checkerframework.specimin;
+
+import java.io.IOException;
+import org.junit.Test;
+
+/**
+ * This test checks that a simple Java file with a lowercase class name (against convention but
+ * allowed!) doesn't cause Specimin any problems.
+ */
+public class LowercaseClassTest {
+  @Test
+  public void runTest() throws IOException {
+    SpeciminTestExecutor.runTestWithoutJarPaths(
+        "lowercaseclass",
+        new String[] {"com/example/simple.java"},
+        new String[] {"com.example.simple#test()"});
+  }
+}
diff --git a/src/test/resources/lowercaseclass/expected/com/example/simple.java b/src/test/resources/lowercaseclass/expected/com/example/simple.java
new file mode 100644
index 000000000..762f33643
--- /dev/null
+++ b/src/test/resources/lowercaseclass/expected/com/example/simple.java
@@ -0,0 +1,7 @@
+package com.example;
+
+class simple {
+    static void test() {
+        simple s = new simple();
+    }
+}
diff --git a/src/test/resources/lowercaseclass/input/com/example/simple.java b/src/test/resources/lowercaseclass/input/com/example/simple.java
new file mode 100644
index 000000000..762f33643
--- /dev/null
+++ b/src/test/resources/lowercaseclass/input/com/example/simple.java
@@ -0,0 +1,7 @@
+package com.example;
+
+class simple {
+    static void test() {
+        simple s = new simple();
+    }
+}