added preconditions

ucr-riple · Jul 13, 2022 · 09cda4c · 09cda4c
1 parent 7d806fc
commit 09cda4c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/core/src/main/java/edu/ucr/cs/riple/core/metadata/index/Fix.java b/core/src/main/java/edu/ucr/cs/riple/core/metadata/index/Fix.java
@@ -24,6 +24,7 @@
 
 package edu.ucr.cs.riple.core.metadata.index;
 
+import com.google.common.base.Preconditions;
 import com.google.common.collect.Sets;
 import edu.ucr.cs.riple.core.Config;
 import edu.ucr.cs.riple.core.metadata.field.FieldDeclarationAnalysis;
@@ -62,6 +63,7 @@ public static Factory<Fix> factory(Config config, FieldDeclarationAnalysis analy
               field.variables.addAll(variables);
             });
       }
+      Preconditions.checkArgument(info[7].equals("nullable"), "unsupported annotation: " + info[7]);
       return new Fix(new Change(location, config.nullableAnnot, true), info[6], info[8], info[9]);
     };
   }