In the following example, the code block is “against” the text that follows it, whereas it is not against the text above it:

rule entity get(p: Private) {p.owner == prinicpal(); }

I have included a newlien on either side of the code fragment, and would expect this symmetry to be followed in the generated text (either by removing the leading whitespace, or by adding trailing whitespace).

Submitted by Sverre Rabbelier on 10 April 2010 at 18:21

Log in to post comments