From 9e7fd4612e00ff9c00b6f0a4eb57ab54a4a8d5a8 Mon Sep 17 00:00:00 2001
From: Matthew Hague <Matthew.Hague@rhul.ac.uk>
Date: Tue, 25 Mar 2025 11:31:49 +0000
Subject: [PATCH] Improve printing of enum parameters
I.e. include class name. E.g. Rank.COMMON not COMMON.
---
src/main/java/uk/ac/rhul/cs/javatester/CodeTester.java | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/main/java/uk/ac/rhul/cs/javatester/CodeTester.java b/src/main/java/uk/ac/rhul/cs/javatester/CodeTester.java
index 9df699c..5f612eb 100644
--- a/src/main/java/uk/ac/rhul/cs/javatester/CodeTester.java
+++ b/src/main/java/uk/ac/rhul/cs/javatester/CodeTester.java
@@ -978,6 +978,8 @@ public class CodeTester {
name = "\"" + p + "\"";
else if (p instanceof Character)
name = "'" + p + "'";
+ else if (p.getClass().isEnum())
+ name = p.getClass().getSimpleName() + "." + p.toString();
else
name = p.toString();
}
--
GitLab