| package annotator.tests; |
| |
| import java.util.HashSet; |
| import java.util.List; |
| import java.util.Set; |
| |
| public class LocalMultipleManyMethods { |
| public void foo(Object o) { |
| List myList = null; |
| |
| if (myList.size() != 0) { |
| @java.lang.C Set localVar = null; |
| myList.add(localVar); |
| } else { |
| @java.lang.B Set localVar = null; |
| myList.add(localVar); |
| } |
| foo(o); |
| } |
| |
| public void foo(Object[] o) { |
| List myList = null; |
| |
| if (myList.size() != 0) { |
| @java.lang.A Set localVar = null; |
| myList.add(localVar); |
| } else { |
| @java.lang.D Set localVar = null; |
| myList.add(localVar); |
| } |
| foo(o); |
| } |
| } |
| |