Remove WALA's custom @Initializer annotation

wala · Nov 26, 2024 · 58471b1 · 58471b1
1 parent 925e94b
commit 58471b1
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 25 deletions.
diff --git a/util/src/main/java/com/ibm/wala/qual/Initializer.java b/util/src/main/java/com/ibm/wala/qual/Initializer.java
diff --git a/util/src/main/java/com/ibm/wala/util/graph/traverse/DFSFinishTimeIterator.java b/util/src/main/java/com/ibm/wala/util/graph/traverse/DFSFinishTimeIterator.java
@@ -10,11 +10,11 @@
  */
 package com.ibm.wala.util.graph.traverse;
 
-import com.ibm.wala.qual.Initializer;
 import com.ibm.wala.util.collections.EmptyIterator;
 import com.ibm.wala.util.collections.Iterator2Iterable;
 import com.ibm.wala.util.debug.UnimplementedError;
 import com.ibm.wala.util.graph.Graph;
+import com.uber.nullaway.annotations.Initializer;
 import java.util.ArrayList;
 import java.util.Iterator;
 import java.util.NoSuchElementException;