Home | History | Annotate | Download | only in tests 
      1 package annotator.tests;
      2 
      3 import java.util.List;
      4 
      5 public class InstanceOfMultiple {
      6   public void foo(Object o) {
      7     if (o instanceof @java.lang.Tainted List) {
      8       if (o instanceof InstanceOfMultiple) {
      9         if (o instanceof @java.lang.UnderInitialization Object) {
     10           System.out.println(o);
     11         }
     12       }
     13     }
     14 
     15     if (o instanceof @java.lang.UnderInitialization List<@java.lang.Tainted ?>) {
     16       System.out.println(o);
     17     }
     18   }
     19 }
     20