Fix Static Final Char Resolution

Author: rcosta358

liquidjava-example/src/main/java/testSuite/CorrectStaticFinalCharInPredicate.java

@@ -0,0 +1,13 @@
+package testSuite;
+
+import liquidjava.specification.Refinement;
+
+public class CorrectStaticFinalCharInPredicate {
+
+    static void requireMaxChar(@Refinement("_ == Character.MAX_VALUE") char c) {
+    }
+
+    public static void main(String[] args) {
+        requireMaxChar(Character.MAX_VALUE);
+    }
+}

liquidjava-example/src/main/java/testSuite/ErrorStaticFinalCharInPredicate.java

@@ -0,0 +1,13 @@
+package testSuite;
+
+import liquidjava.specification.Refinement;
+
+public class ErrorStaticFinalCharInPredicate {
+
+    static void requireMaxChar(@Refinement("_ == Character.MAX_VALUE") char c) {
+    }
+
+    public static void main(String[] args) {
+        requireMaxChar('\''); // Refinement Error
+    }
+}

liquidjava-verifier/src/main/java/liquidjava/utils/StaticConstants.java

@@ -4,6 +4,7 @@
 import java.lang.reflect.Modifier;
 
 import liquidjava.rj_language.Predicate;
+import liquidjava.rj_language.ast.LiteralChar;
 import liquidjava.rj_language.ast.LiteralString;
 import liquidjava.utils.constants.Types;
 import spoon.reflect.code.CtLiteral;
@@ -170,8 +171,8 @@ public static Predicate asLiteralPredicate(Object value) {
             return Predicate.createLit(value.toString(), Types.FLOAT);
         if (value instanceof Double)
             return Predicate.createLit(value.toString(), Types.DOUBLE);
-        if (value instanceof Character)
-            return Predicate.createLit("'" + value + "'", Types.CHAR);
+        if (value instanceof Character c)
+            return new Predicate(new LiteralChar(c));
         if (value instanceof String s)
             return new Predicate(new LiteralString("\"" + s + "\""));
         return null;