Re: SDL-News: A strange question

Subject: Re: SDL-News: A strange question
From: Rick Reed TSE (
Date: Wed Oct 09 2002 - 16:53:29 GMT

Become an SDL Forum Society member <>
The originator of this message is responsible for its content.
-----From Rick Reed TSE <> to sdlnews -----

Zhang Yongqian at wrote on 09/10/2002 04:44:

> MyModule DEFINITIONS ::=
> Color ::= ENUMERATED { red(0), yellow(1), blue(2) }

> c Color ;
> In the SDL GR, I write the following code in a task symble:
> c := First(red)

I checked this, as it seemed to be a simple error caused by Tau being unable
to determine the type for "First" or possibly that case sensitivity was
switched on.

It seems that whoever wrote the manual expected Tau to conform to SDL-96
(Note: In SDL-2000 the expression would be "c:=first").
After a few experiments, as afr as I can determine Tau does not implement
first, last, pred and succ on enumerated types whether defined ASN.1 or SDL.
It does not mention these functions in the section on enumerated types, so
it is quite likely they are not supported.

Perhaps someone from Telelogic will give a definitive answer.

Rick Reed, TSE Limited

The Laurels, Victoria Road Windermere Cumbria LA23 2DL United Kingdom Tel +44 15394 88462 Fax +44 15394 88218 Mob +44 79 70 50 96 50 email:

--End text from Rick Reed TSE <> 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