Subject: SDL-News: Operator I defined can't be converted to C
From: Yang LIU (lyly97#mails.tsinghua.edu.cn)
Date: Thu Feb 20 2003 - 06:04:39 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 "Yang LIU" <lyly97#mails.tsinghua.edu.cn> to sdlnews -----
I am using Telelogic tau suite 4.3, now I have a problem:
I define a NewType and Operator in SDl like this:
newtype Usec inherits Integer operators all;
dUsec : Usec -> Duration;
for all u in Usec (for all d in Duration( for all r in Real(
r = float(u) ==> dUsec(u) == Duration!(r); )));
But in generated C file, there have no C code for function dUsec,
my question is :
Is axioms useless in telelogic SDL?
how generate C code of Operator dUsec?
--End text from "Yang LIU" <lyly97#mails.tsinghua.edu.cn> 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