bug fix

ucr-riple · Oct 10, 2024 · 2a22661 · 2a22661
1 parent 411098f
commit 2a22661
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/injector/src/main/java/edu/ucr/cs/riple/injector/Helper.java b/injector/src/main/java/edu/ucr/cs/riple/injector/Helper.java
@@ -393,7 +393,9 @@ public static Type getTypeFromNode(NodeWithAnnotations<?> node) {
       return ((MethodDeclaration) node).getType();
     }
     if (node instanceof FieldDeclaration) {
-      return ((FieldDeclaration) node).getElementType();
+      FieldDeclaration fd = (FieldDeclaration) node;
+      Preconditions.checkArgument(!fd.getVariables().isEmpty());
+      return fd.getVariables().get(0).getType();
     }
     if (node instanceof VariableDeclarationExpr) {
       NodeList<VariableDeclarator> decls = ((VariableDeclarationExpr) node).getVariables();