• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1package annotator.tests;
2
3import java.util.List;
4
5public 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