RE: SDL-News: Timers again

Subject: RE: SDL-News: Timers again
From: John Sarallo (sarallo#appairent.com)
Date: Wed Mar 03 2004 - 19:02:20 GMT

• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Next message: Tao Zhang: "SDL-News: Performance issue with Generic functions"
• Previous message: KEMoss6#aol.com: "SDL-News: Timers again"
• In reply to: KEMoss6#aol.com: "SDL-News: Timers again"
• Next in thread: Andreas Prinz: "Re: SDL-News: Timers again"
• Reply: John Sarallo: "RE: SDL-News: Timers again"

Keith,

If your tool is Telelogic Tau then Duration * Real -> Duration.

John
  -----Original Message-----
  From: owner-sdlnews#sdl-forum.org [mailto:owner-sdlnews#sdl-forum.org]On
Behalf Of KEMoss6#aol.com
  Sent: Wednesday, March 03, 2004 1:07 PM
  To: sdlnews#sdl-forum.org
  Subject: SDL-news: Timers again

  Hello all

  This time I'll try to state the problem more explicitly.

  If I have simple process consisting of:
  1 the start symbol
  2 A declaration of variable 'num' of type duration
  3 A decaration of a time ts
  4 A state fin

  The the SDL tool is quite happy. If however I change the type of 'num' to
real it gets upset and gives the error message " Expression is not of
expected data type time or the argument type(s) are wrong. This is despite
duration iself being of type real. How do I convert a real number to a
duration? Well that would solve it.

  Keith Moss

-----Original Message-----
From: owner-sdlnews#sdl-forum.org [mailto:owner-sdlnews#sdl-forum.org]On Behalf Of KEMoss6#aol.com
Sent: Wednesday, March 03, 2004 1:07 PM
To: sdlnews#sdl-forum.org
Subject: SDL-News: Timers again

Hello all

This time I'll try to state the problem more explicitly.

If I have simple process consisting of:
1     the start symbol
2     A declaration of variable 'num' of type duration
3     A decaration of a time ts
4      A state fin

The the SDL tool is quite happy. If however I change the type of 'num' to real it gets upset and gives the error message " Expression is not of expected data type time or the argument type(s) are wrong. This is despite duration iself being of type real. How do I convert a real number to a duration? Well that would solve it.

Keith Moss