diff options
Diffstat (limited to 'org.eclipse.jdt.core.tests.model/workspace/Formatter/test527b/A_in.java')
-rw-r--r-- | org.eclipse.jdt.core.tests.model/workspace/Formatter/test527b/A_in.java | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/org.eclipse.jdt.core.tests.model/workspace/Formatter/test527b/A_in.java b/org.eclipse.jdt.core.tests.model/workspace/Formatter/test527b/A_in.java new file mode 100644 index 000000000..1fd12a1d5 --- /dev/null +++ b/org.eclipse.jdt.core.tests.model/workspace/Formatter/test527b/A_in.java @@ -0,0 +1,9 @@ +package test527b; + +@Jpf.Controller( + catches={ + @Jpf.Catch(type=java.lang.Exception.class, method="handleException"), + @Jpf.Catch(type=PageFlowException.class, method="handlePageFlowException") + } + ) + public class A {} |