Gitiles
Code Review
Sign In
git.eclipse.org
/
objectteams
/
org.eclipse.objectteams
/
725d001049016d1e7a583a67c4b3b14fdd2dd3c7
/
.
/
org.eclipse.jdt.core.tests.model
/
workspace
/
Formatter
/
test527
/
A_out.java
blob: ece333036d1952ac12dcde3db9c1beedd962561f [
file
] [
log
] [
blame
]
package
test527
;
@Jpf
.
Controller
(
catches
=
{
@Jpf
.
Catch
(
type
=
java
.
lang
.
Exception
.
class
,
method
=
"handleException"
),
@Jpf
.
Catch
(
type
=
PageFlowException
.
class
,
method
=
"handlePageFlowException"
)
})
public
class
A
{
}