SDL-News: Choice Primary

Subject: SDL-News: Choice Primary
From: Carsten Krüger (ckr#condat.de)
Date: Tue May 15 2001 - 09:17:44 GMT

Become an SDL Forum Society member <http://www.sdl-forum.org/Society/members.htm>
The originator of this message is responsible for its content.
-----From =?ISO-8859-1?Q?Carsten_Krüger?= <ckr#condat.de> to sdlnews -----

Dear experts,

shouldn't the following SDL fragment be correct from a syntax point
of view? Both tools I use report an error when using the choice
primary in a decision answer. I suppose this is due to misinterpretation
of the collon.

...
package foo;
procedure choicetest;
returns boolean;

  mychoice ::= CHOICE {x INTEGER, y BOOLEAN};
  dcl a mychoice;

  start;
  task a := x:0;

  decision a;
     (x:0): return True; /* error reported by Cinderella and Verilog */
      else: return False;
  enddecision;

endprocedure;
endpackage;
...

See you at the SDL-Forum,
best regards Carsten Krüger 

---
Carsten Krüger      	        Condat AG
Software Engineer               Alt-Moabit 91 d
Tel:   +49.30.39094-243         10559 Berlin
Fax:   +49.30.39094-300         Germany

carsten.krueger#condat.de       http://www.condat.de/

--End text from =?ISO-8859-1?Q?Carsten_Krüger?= <ckr#condat.de> to sdlnews ---
For extra SDL Forum Society benefits join at <http://www.sdl-forum.org/Society/members.htm>

This archive was generated by hypermail 2a23 : Thu May 09 2013 - 16:05:49 GMT