ode-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Tammo van Lessen <tvanles...@gmail.com>
Subject Re: [SimPEL] Adding with
Date Wed, 19 Dec 2007 18:48:55 GMT
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

Mime
View raw message