1 package annotator.tests; 2 3 public class ReceiverWithThrows { 4 /* @UnderInitialization ReceiverWithThrows this */ 5 public void foo(@java.lang.UnderInitialization ReceiverWithThrows this) { 6 7 } 8 9 /* @Tainted ReceiverWithThrows this */ 10 public void bar(@java.lang.Tainted ReceiverWithThrows this) throws Exception { 11 12 } 13 } 14
