This Bugzilla instance is a read-only archive of historic NetBeans bug reports. To report a bug in NetBeans please follow the project's instructions for reporting issues.

Bug 133228 - bpel editor validates a throw activity in a nested scope of a termination handler as an error.
Summary: bpel editor validates a throw activity in a nested scope of a termination han...
Status: RESOLVED FIXED
Alias: None
Product: soa
Classification: Unclassified
Component: BPEL Validation (show other bugs)
Version: 6.x
Hardware: All All
: P3 blocker (vote)
Assignee: Vladimir Yaroslavskiy
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2008-04-18 18:14 UTC by pvarghese
Modified: 2008-05-05 14:17 UTC (History)
0 users

See Also:
Issue Type: DEFECT
Exception Reporter:


Attachments
The zip file of the bpel project (20.54 KB, application/x-compressed)
2008-04-18 18:16 UTC, pvarghese
Details

Note You need to log in before you can comment on or make changes to this bug.
Description pvarghese 2008-04-18 18:14:01 UTC
Issue: bpel editor validates a throw activity in a nested scope of a termination handler as an error.

Reproduce: 
Import the attached bpel project into netbeans and open the bpel file "pTH15Process.bpel" and notice the validation
error reported for the throw activity "Throws_NewFault" which is in the scope "ScopeInTH" of the termination handler of
the scope "OuterScope".

What the spec says: 
section 12.6 states

"However, a termination handler cannot throw any fault. Even if an uncaught fault occurs during its behavior, it is not
rethrown to the next enclosing scope. This is because: (a) the enclosing scope has already either faulted or is in the
process of being terminated, which is what is causing the forced termination of the nested scope".

This is interpreted as there should be a throw activity that is a direct child of the termination handler, but a throw
activity inside a scope that is a child of the termination handler is permitted. The explicit or implicit fault handling
of that scope will handle the fault thrown, but the fault will not propagate outside the boundary of the termination
handler. 

Solution: With this the editor should only validate as an error, a throw activity that is a direct child of the
termination handler and not a throw activity that is in a nested scope of the termination handler.
Comment 1 pvarghese 2008-04-18 18:16:05 UTC
Created attachment 60429 [details]
The zip file of the bpel project
Comment 2 Vladimir Yaroslavskiy 2008-05-05 14:17:20 UTC
fixed: f856b460e2b2