Handle null annotation case.

khatchad · khatchad · commit d60132e2e560 · 2024-11-08T15:15:04.000-05:00
diff --git a/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/util/Util.java b/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/util/Util.java
@@ -107,6 +107,7 @@ public static String removeFileProtocolFromPath(String path) {
    *     presented in the CAst.
    */
   public static Collection<String> getNames(Collection<CAstAnnotation> annotations) {
+    if (annotations == null) return emptyList();
     return annotations.stream().map(Util::getName).flatMap(Optional::stream).toList();
   }
 

Original file line number	Diff line number	Diff line change
`@@ -107,6 +107,7 @@ public static String removeFileProtocolFromPath(String path) {`
`107`	`107`	`* presented in the CAst.`
`108`	`108`	`*/`
`109`	`109`	`public static Collection<String> getNames(Collection<CAstAnnotation> annotations) {`
	`110`	`+ if (annotations == null) return emptyList();`
`110`	`111`	`return annotations.stream().map(Util::getName).flatMap(Optional::stream).toList();`
`111`	`112`	`}`
`112`	`113`