tests/bugs/TestSoftening.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

//PR46750
import java.rmi.RemoteException;

public class TestSoftening {

	public static void main(String[] args) {
	  TestSoftening test = new TestSoftening();
	  test.perform();
	}

	public void perform() throws RemoteException {
	  throw new RemoteException();
	}
	
	
	static aspect SofteningTestAspect {
	  declare soft : RemoteException : call(void TestSoftening.perform());
	}
	
}