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