1 package annotator.tests; 2 3 import java.util.List; 4 5 public class LocalSimpleMultiple { 6 public void foo() { 7 @java.lang.UnderInitialization Object o = null; 8 System.out.println(o); 9 @java.lang.Tainted List list = null; 10 bar(list); 11 bar(o); 12 } 13 14 public void bar(Object o) { 15 @java.lang.Tainted LocalSimpleMultiple second = null; 16 bar(second); 17 } 18 } 19
