helloworld.pr

Telelogic 帮助文档当中的一个示例

/*#SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.ssy,4)*/
system HelloWorld;
/*#SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.ssy(1),158(55,30))*/
SIGNAL
  Hello,
  World;
/*#SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.ssy(1),131(30,52))*/
channel /*#E*/ 
C1 from env to HelloWorld with 
/*#SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.ssy(1),132(29,65))*/
Hello;
endchannel C1;
/*#SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.ssy(1),122(100,52))*/
channel /*#E*/ 
C2 from HelloWorld to env with 
/*#SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.ssy(1),123(97,65))*/
World;
endchannel C2;
/*#SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.ssy(1),119(55,50))*/
block HelloWorld referenced;
/*#SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.ssy,4)*/
endsystem HelloWorld;
/*#SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.sbk,4)*/
block HelloWorld;
/*#SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.sbk(1),128(32,52))*/
signalroute /*#E*/ 
SR1 from env to HelloWorld with 
/*#SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.sbk(1),129(32,65))*/
Hello;
/*#SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.sbk(1),119(97,52))*/
signalroute /*#E*/ 
SR2 from HelloWorld to env with 
/*#SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.sbk(1),120(100,65))*/
World;
/*#SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.sbk(1),116(55,50))*/
process HelloWorld referenced;
/*#SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.sbk(1),134(7,57))*/
connect C1 and SR1;
/*#SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.sbk(1),125(122,57))*/
connect C2 and SR2;
/*#SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.sbk,4)*/
endblock HelloWorld;
/*#SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.spr,4)*/
process HelloWorld;
/*#SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.spr(1),116(55,25))*/
start /*#E*/ 
;
/*#SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.spr(1),119(55,40))*/
nextstate /*#E*/ 
Waiting;
/*#SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.spr(1),119(55,40))*/
state /*#E*/ 
Waiting;
/*#SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.spr(1),125(55,55))*/
input /*#E*/ 
Hello;
/*#SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.spr(1),131(55,70))*/
output /*#E*/ 
World;
/*#SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.spr(1),137(60,85))*/
stop /*#E*/ 
;
/*#SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.spr(1),119(55,40))*/
endstate;
/*#SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.spr,4)*/
endprocess HelloWorld;