SDL-News: Choice Primary

Subject: SDL-News: Choice Primary
From: Carsten Krüger (
Date: Tue May 15 2001 - 09:17:44 GMT

Become an SDL Forum Society member <>
The originator of this message is responsible for its content.
-----From =?ISO-8859-1?Q?Carsten_Krüger?= <> 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;

  task a := x:0;

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


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

--End text from =?ISO-8859-1?Q?Carsten_Krüger?= <> to sdlnews --- For extra SDL Forum Society benefits join at <>

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