-------- Original Message --------
Subject: Validation of incompatible variables in an assign
Date: Thu, 20 Mar 2008 14:44:22 -0700
From: Prashant Bhagat <Prashant.Bhagat@Sun.COM>
To: Vladimir Yaroslavskiy <Vladimir.Yaroslavskiy@Sun.COM>
CC: bpelengine-dev <bpelengine-dev@sun.com>

Hi Vladimir,

Another potential validation bug in
\open-jbi-components\driver-tests\bpelse\correlation\MatchingInstanceTwoCorrBPEL\src\RepRecEvntHndlrInitEmpty/\RepRecEvntHndlrInitEmpty_DriverBPEL.bpel

This bpel has the following assign where two incompatible variables have 
been mapped (please see the spec snippet below).

        <bpws:assign name="Assign2">
            <bpws:copy>
                <bpws:from 
variable="RepRecEvntHndlrInitEmpty_DriverWSDLOperationIn"/>
                <bpws:to variable="InputVariable1"/> *// Variables 
InputVariable1 and RepRecEvntHndlrInitEmpty_DriverWSDLOperationIn are 
not compatible*
            </bpws:copy>
        </bpws:assign>

Spec snippet ...

        8.4.3. Type Compatibility in Copy Operations

[SA00043 <#SA00043_table>] For a copy operation to be valid, the data 
referred to by the from-spec and the to-spec MUST be of compatible types.

The following situations are considered type incompatible:

·         the selection results of both the from-spec and the to-spec 
are variables of a WSDL message type, and the two variables are not of 
the same WSDL message type (two WSDL message types are the same if their 
QNames are equal).


Can you fix it?

Thanks

-- 
Prashant Bhagat
Open ESB Community (http://open-esb.org)