Re: SDL-News: how to express an array?


Subject: Re: SDL-News: how to express an array?
From: laurent DOLDI (laurent.doldi#wanadoo.fr)
Date: Thu Nov 25 1999 - 17:35:00 GMT


The originator of this message is responsible for its content.
-----From laurent DOLDI <laurent.doldi#wanadoo.fr> to sdlnews -----

At 22:31 25/11/99 +0800, Huang Defeng wrote:
>N("h+&z謭){"nW'&槀7zxyfulx!e,Dea
r experts,
>
>Could u tell me how to express an array? For example,
>Newtype newarray
>Array(integer, Charstring)
>Endnewtype newarray;
>Dcl post newarray;
>
> I express post as:
>Post := ('tom','jack');
>It is not right. What is the right form?

Dear Huang,

One form is :

  newtype newarray
    array(Integer, Charstring)
  endnewtype;

  dcl post newarray;
  post(-5) := 'toulouse';

but I never use this form, I generally use the
following (array with 6 elements):

  syntype newBound = Integer constants 1..6 endsyntype;
  newtype newarray
    array(newBound, Charstring)
  endnewtype;

  dcl post newarray;
  post := (. 'tom' .); /* all the elements are set to 'tom' */
  post(2) := 'london';

Best regards,
L. Doldi.

>
>Best Regards
>Huang Defeng
>^ajxyןg\ȧyۜ,vYhxm ,vW騮ҡȞ/zfޮm+{
ki
*rm~+lzZ^&e~+aܨ*.隊Vi~bz-j{0
zzbwj)hwg{ ,vW騮
Laurent DOLDI
TransMeth - Formal Methods applied to Telecommunications
27, av. SEGOFFIN
31400 TOULOUSE FRANCE
Tel. +33 5 61 25 59 54
Mobile +33 6 80 26 62 31
Fax +33 6 07 74 87 71
Email: laurent.doldi#wanadoo.fr
Web site: http://perso.wanadoo.fr/doldi/sdl

-----End text from laurent DOLDI <laurent.doldi#wanadoo.fr> to sdlnews -----
Join http://www.sdl-forum.org/Society/members.htm for extra SDL Forum Society benefits
For help, email "majordomo#sdl-forum.org" with the body of your email as:
    help
or (iff this does not answer your question) email: owner-sdlnews#sdl-forum.org



This archive was generated by hypermail 2a23 : Sun Jun 16 2013 - 10:41:41 GMT