Minor Fixes

Author: rcosta358

liquidjava-verifier/pom.xml

@@ -11,7 +11,7 @@
 
 	<groupId>io.github.liquid-java</groupId>
 	<artifactId>liquidjava-verifier</artifactId>
-	<version>0.0.8</version>
+	<version>0.0.11</version>
 	<name>liquidjava-verifier</name>
 	<description>LiquidJava Verifier</description>
 	<url>https://github.com/liquid-java/liquidjava</url>

liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/TypeChecker.java

@@ -157,6 +157,9 @@ private void createStateGhost(String string, CtAnnotation<? extends Annotation>
         // Set class as parameter of Ghost
         String qn = getQualifiedClassName(element);
         String sn = getSimpleClassName(element);
+        if (qn == null || sn == null)
+            return; // cannot determine class context - skip processing
+
         context.addGhostClass(sn);
         List<CtTypeReference<?>> param = Collections.singletonList(factory.Type().createReference(qn));
 

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

@@ -30,7 +30,7 @@ public static String getSimpleName(String name) {
     }
 
     public static String qualifyName(String prefix, String name) {
-        if (DEFAULT_NAMES.contains(name))
+        if (DEFAULT_NAMES.contains(name) || prefix.isEmpty())
             return name; // dont qualify
         return String.format("%s.%s", prefix, name);
     }