Matthieu Riou wrote:
> And in the real world those structures usually contain more than 4 elements
> :) So to DRY the thing a bit:
>
> with(c = customer.payload.ns::customer, v = visitor.payload.ns::customer) {
> c.ns::firstname = v.ns::fname;
> c.ns::lastname = v.ns::lname;
> with (ca = c.ns::address, va = v.ns::address) {
> ca.ns::city = va::ns.city;
> ca.ns::zipcode = va.ns::zip;
> }
> }
Awesome!
...
> So the would get translated to a BPEL equivalent to:
>
> <if>
> <condition>!exists(customer.payload.ns::customer)</condition>
> <assign>
> <from><literal><ns:customer></ns:customer></literal></from>
> <to>$customer.payload</to>
> </assign>
> </if>
...
hehe, this is probably the first grammar ever that has a "formal" proof
in BPEL ;)
Cheers,
Tammo
