J2EO & Polystat compatibility. Blocks

[someilay]

Blocks

if with it's body (has runtime support):

Java:

if (condition) {
    then_part();
} else {
    else_part();
}

Eo:

seq > @
  s1641313620
[] > s1641313620
  s_r577405636.if > @
    b1691538257
    b459848100
[] > s_r577405636
  condition > @
[] > b1691538257
  seq > @
    s393040818
  [] > s393040818
    then_part > @
      this
[] > b459848100
  seq > @
    s1658926803
  [] > s1658926803
    else_part > @
      this

Where condition is an expression with &&, || and brackets

while with it's body (has runtime support):

Java:

while (condition) {
    block();
}

Eo:

seq > @
  s480971771
[] > s480971771
  s_r255944888.while > @
    [while_i]
      b1948863195 > @
[] > s_r255944888
  condition > @
[] > b1948863195
  seq > @
    s1890187342
  [] > s1890187342
    block > @
      this

Where condition is an expression with &&, || and brackets

do with it's body (hasn't runtime support):

Java:

do {
    block();
} while (condition);

Eo:

seq > @
  s322836221
[] > s322836221
  s_r1032000752.do > @
    [do_i]
      b770911223 > @
[] > s_r1032000752
  condition > @
[] > b770911223
  seq > @
    s1392906938
  [] > s1392906938
    block > @
      this

Where condition is an expression with &&, || and brackets