On Fri, 18 Apr 2008, w.icelander wrote:
> How can I tell alloy to consider multiple lines as a single. example
> I am trying to write the following statment. Is there something I can
> replace [CONTINUE NEXT LINE] with to tell the Alloy Parser that the
> lines is not completed yet.
>
> substitute = Consent->signature + Consent->oral + [CONTINUE NEXT LINE]
> LegalReason->Sickness + LegalReason->MentallyIll + LegalReason->Minor
Dear user:
The Alloy modeling language actually does not give any significance
to line breaks.
For example, the following is a perfectly legal Alloy model:
module x open util/integer sig a { } sig b { } run { some a some b }
If you see a model where line break makes a difference,
please email or post that model, so that I can investigate for you.
Sincerely,
Felix Chang
Alloy4 Developer
