helloworld.xrf

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

***********************************************************************
**  PACKAGE Predefined
**  #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,20,9)
***********************************************************************
2  NEWTYPE Boolean            #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,22,10)
2  NEWTYPE Character          #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,33,9)
2  NEWTYPE Charstring         #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,91,9)
2  NEWTYPE Integer            #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,125,9)
2  NEWTYPE Real               #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,146,9)
2  NEWTYPE Pid                #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,214,9)
2  NEWTYPE Duration           #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,220,9)
2  NEWTYPE Time               #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,236,9)
2  NEWTYPE Bit                #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,250,9)
2  NEWTYPE Bit_string         #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,260,9)
2  NEWTYPE Octet              #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,279,9)
2  NEWTYPE Octet_string       #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,308,9)
2  NEWTYPE NULL               #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,324,9)
2  NEWTYPE Object_identifier  #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,328,9)
2  NEWTYPE Any_type           #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,343,9)
2  SYNTYPE IA5String          #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,106,3)
2  SYNTYPE NumericString      #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,111,3)
2  SYNTYPE PrintableString    #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,116,3)
2  SYNTYPE VisibleString      #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,121,3)
2  SYNTYPE Natural            #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,144,9)
2  GENERATOR String           #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,76,11)
2  GENERATOR Array            #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,164,11)
2  GENERATOR Powerset         #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,171,11)
2  GENERATOR Bag              #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,192,11)
2  GENERATOR Own              #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,346,11)
2  GENERATOR Oref             #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,356,11)
2  SYNONYM PLUS_INFINITY      #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,161,9)
2  SYNONYM MINUS_INFINITY     #SDTREF(TEXT,D:\Telelogic\SDL_TTCN_Suite4.3\sdt\sdtdir\wini386\predef.sdl,162,9)

***********************************************************************
**  SYSTEM HelloWorld
**  #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.ssy,4,1)
***********************************************************************
2  SIGNAL Hello               #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.ssy(1),158(55,30),2,3)
     CHANNEL                  #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.ssy(1),132(29,65),1,1)
     SIGNALROUTE              #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.sbk(1),129(32,65),1,1)
     INPUT                    #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.spr(1),125(55,55),1,1)
2  SIGNAL World               #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.ssy(1),158(55,30),3,3)
     CHANNEL                  #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.ssy(1),123(97,65),1,1)
     SIGNALROUTE              #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.sbk(1),120(100,65),1,1)
     OUTPUT                   #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.spr(1),131(55,70),1,1)
2  CHANNEL C1                 #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.ssy(1),131(30,52),1,1)
     CONNECTION               #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.sbk(1),134(7,57),1,9)
2  CHANNEL C2                 #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.ssy(1),122(100,52),1,1)
     CONNECTION               #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.sbk(1),125(122,57),1,9)
2  BLOCK HelloWorld           #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.sbk,4,1)

***********************************************************************
**  BLOCK HelloWorld
**  <<SYSTEM HelloWorld>>
**  #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.sbk,4,1)
***********************************************************************
3  SIGNALROUTE SR1            #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.sbk(1),128(32,52),1,1)
     CONNECTION               #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.sbk(1),134(7,57),1,16)
3  SIGNALROUTE SR2            #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.sbk(1),119(97,52),1,1)
     CONNECTION               #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.sbk(1),125(122,57),1,16)
3  PROCESS HelloWorld         #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.spr,4,1)
     SIGNALROUTE              #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.sbk(1),128(32,52),1,17)
     SIGNALROUTE              #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.sbk(1),119(97,52),1,10)

***********************************************************************
**  PROCESS HelloWorld
**  <<SYSTEM HelloWorld/BLOCK HelloWorld>>
**  #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.spr,4,1)
***********************************************************************
4  STATE Waiting              #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.spr(1),119(55,40),1)
     NEXTSTATE                #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.spr(1),119(55,40),1,1)