helloworld.c

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

/* Program generated by Cbasic 4.3.0  */
#define XSCT_CBASIC

#define SCT_VERSION_4_3
#include "scttypes.h"
#ifdef XINCLUDE_HS_FILE
#include "HelloWorld.hs"
#endif
XSYSTEMVARS
#ifdef XCTRACE
static char  xFileName[] = "D:\\Telelogic\\HelloWorld\\HelloWorld.c";
#endif

/*************************************************************************
**                SECTION Types and Forward references                  **
*************************************************************************/

/*****
* SYSTEM HelloWorld
* #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.ssy,4,1)
******/
extern XCONST struct xSystemIdStruct ySysR_z_HelloWorld;

/*****
* BLOCK HelloWorld
* <<SYSTEM HelloWorld>>
* #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.sbk,4,1)
******/
extern XCONST struct xBlockIdStruct yBloR_z0_HelloWorld;

/*****
* PROCESS HelloWorld
* <<SYSTEM HelloWorld/BLOCK HelloWorld>>
* #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.spr,4,1)
******/
extern XCONST XSIGTYPE yPrsS_z02_HelloWorld[];
extern XCONST xStateIdNode yPrsT_z02_HelloWorld[];
extern XCONST struct xPrsIdStruct yPrsR_z02_HelloWorld;
#define yPrsN_z02_HelloWorld  (&yPrsR_z02_HelloWorld)
#ifdef XCOVERAGE
extern long int yPrsC_z02_HelloWorld[];
#endif
YPAD_PROTOTYPE(yPAD_z02_HelloWorld)
extern XCONST struct xSignalIdStruct ySigR_z02_HelloWorld;
#define ySigN_z02_HelloWorld  (&ySigR_z02_HelloWorld)
typedef struct {
    SIGNAL_VARS
    STARTUP_VARS
} yPDef_z02_HelloWorld;
typedef yPDef_z02_HelloWorld  *yPDP_z02_HelloWorld;
XPROCESSDEF_H(HelloWorld,"HelloWorld",z02_HelloWorld,yPAD_z02_HelloWorld, \
  yVDef_z02_HelloWorld)
#ifndef XOPTCHAN
extern XCONST xIdNode yPrsO_z02_HelloWorld[];
#endif
#ifdef XBREAKBEFORE
#define ySym_z02_HelloWorld  4
extern char * yRef_z02_HelloWorld (int, xSymbolType *);
#endif
typedef struct {
    PROCESS_VARS
} yVDef_z02_HelloWorld;
typedef yVDef_z02_HelloWorld  *yVDP_z02_HelloWorld;
extern void yFree_z02_HelloWorld (void *);

/*****
* STATE Waiting
* <<SYSTEM HelloWorld/BLOCK HelloWorld/PROCESS HelloWorld>>
* #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.spr(1),119(55,40),1,1)
******/
#define z020_Waiting  1
extern XCONST struct xStateIdStruct yStaR_z020_Waiting;
#define yStaN_z020_Waiting  (&yStaR_z020_Waiting)

/*****
* SIGNALROUTE SR1
* <<SYSTEM HelloWorld/BLOCK HelloWorld>>
* #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.sbk(1),128(32,52),1,1)
******/
#ifndef XOPTCHAN
extern XCONST xIdNode yChaO_z03_SR1[];
extern XCONST xIdNode yChaOR_z03_SR1[];
extern XCONST struct xChannelIdStruct yChaR_z03_SR1;
extern XCONST struct xChannelIdStruct yChaRR_z03_SR1;
#define yChaN_z03_SR1  (&yChaR_z03_SR1)
#endif

/*****
* SIGNALROUTE SR2
* <<SYSTEM HelloWorld/BLOCK HelloWorld>>
* #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.sbk(1),119(97,52),1,1)
******/
#ifndef XOPTCHAN
extern XCONST xIdNode yChaO_z04_SR2[];
extern XCONST xIdNode yChaOR_z04_SR2[];
extern XCONST struct xChannelIdStruct yChaR_z04_SR2;
extern XCONST struct xChannelIdStruct yChaRR_z04_SR2;
#define yChaN_z04_SR2  (&yChaR_z04_SR2)
#endif

/*****
* CHANNEL C1
* <<SYSTEM HelloWorld>>
* #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.ssy(1),131(30,52),1,1)
******/
#ifndef XOPTCHAN
extern XCONST xIdNode yChaO_z1_C1[];
extern XCONST xIdNode yChaOR_z1_C1[];
extern XCONST struct xChannelIdStruct yChaR_z1_C1;
extern XCONST struct xChannelIdStruct yChaRR_z1_C1;
#define yChaN_z1_C1  (&yChaR_z1_C1)
#ifdef XMULTIPLESYSTEMS
extern XCONST xIdNode yConnIn_HelloWorld_C1[];
extern XCONST xIdNode yConnOut_HelloWorld_C1[];
extern XCONST struct xChannelIdStruct yGateIn_HelloWorld_C1;
extern XCONST struct xChannelIdStruct yGateOut_HelloWorld_C1;
#endif
#endif

/*****
* CHANNEL C2
* <<SYSTEM HelloWorld>>
* #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.ssy(1),122(100,52),1,1)
******/
#ifndef XOPTCHAN
extern XCONST xIdNode yChaO_z2_C2[];
extern XCONST xIdNode yChaOR_z2_C2[];
extern XCONST struct xChannelIdStruct yChaR_z2_C2;
extern XCONST struct xChannelIdStruct yChaRR_z2_C2;
#define yChaN_z2_C2  (&yChaR_z2_C2)
#ifdef XMULTIPLESYSTEMS
extern XCONST xIdNode yConnIn_HelloWorld_C2[];
extern XCONST xIdNode yConnOut_HelloWorld_C2[];
extern XCONST struct xChannelIdStruct yGateIn_HelloWorld_C2;
extern XCONST struct xChannelIdStruct yGateOut_HelloWorld_C2;
#endif
#endif

/*****
* SIGNAL Hello
* <<SYSTEM HelloWorld>>
* #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.ssy(1),158(55,30),2,3)
******/
extern XCONST struct xSignalIdStruct ySigR_z3_Hello;
#define ySigN_z3_Hello  (&ySigR_z3_Hello)

/*****
* SIGNAL World
* <<SYSTEM HelloWorld>>
* #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.ssy(1),158(55,30),3,3)
******/
extern XCONST struct xSignalIdStruct ySigR_z4_World;
#define ySigN_z4_World  (&ySigR_z4_World)

/*************************************************************************
**                #CODE directives, #HEADING sections                   **
*************************************************************************/

/*************************************************************************
**                  #CODE directives, #BODY sections                    **
*************************************************************************/

/*************************************************************************
**                  SECTION Variables and Functions                     **
*************************************************************************/

/*****
* SYSTEM HelloWorld
* #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.ssy,4,1)
******/
XCONST struct xSystemIdStruct ySysR_z_HelloWorld = {xSystemEC , (xIdNode)0,
  (xIdNode)0, (xIdNode)&xSymbolTableIdRec, "HelloWorld" XCOMMON_EXTRAS,
  (xIdNode *)0, (xPrdIdNode *)0, (xSystemIdNode)0 xTrace(-1) xGRTrace(-1)
  xMSCETrace(-1) XSYS_EXTRAS};

/*****
* ENV
******/
#ifndef XMULTIPLESYSTEMS
#ifndef XOPTCHAN
xIdNode yEnvO_env[] = {(xIdNode)&yChaR_z1_C1, (xIdNode)&yChaRR_z2_C2,
  (xIdNode)0  XTRACHANNELLIST};
#endif
#endif

/*****
* BLOCK HelloWorld
* <<SYSTEM HelloWorld>>
* #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.sbk,4,1)
******/
XCONST struct xBlockIdStruct yBloR_z0_HelloWorld = {xBlockEC , (xIdNode)0,
  (xIdNode)0, (xIdNode)&ySysR_z_HelloWorld, "HelloWorld" XCOMMON_EXTRAS,
  (xBlockIdNode)0, (xIdNode *)0, (xPrdIdNode *)0, (xViewListRec *)0,
  (xViewIndexRec *)0, 1 xTrace(-1) xGRTrace(-1) xMSCETrace(-1) xMSCETrace(0)
  XBLO_EXTRAS};
#ifndef XOPTCHAN
XCONST xIdNode yChaO_z1_C1[] = {(xIdNode)&yChaR_z03_SR1, (xIdNode)0};
XCONST xIdNode yChaOR_z2_C2[] = {(xIdNode)&yChaRR_z04_SR2, (xIdNode)0};
#endif

/*****
* PROCESS HelloWorld
* <<SYSTEM HelloWorld/BLOCK HelloWorld>>
* #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.spr,4,1)
******/
#ifdef XCOVERAGE
long int yPrsC_z02_HelloWorld[ySym_z02_HelloWorld+1];
#endif
XCONST XSIGTYPE yPrsS_z02_HelloWorld[] = {SIGNAL_NAME(Hello, &ySigR_z3_Hello),
  (XSIGTYPE)0};
XCONST xStateIdNode yPrsT_z02_HelloWorld[] = {&xStartStateIdRec,
  &yStaR_z020_Waiting};
static XPRSNODE yPrsA_z02_HelloWorld = (XPRSNODE)0;
static XPRSNODE yPrsB_z02_HelloWorld = (XPRSNODE)0;
XCONST struct xPrsIdStruct yPrsR_z02_HelloWorld = {xProcessEC , (xIdNode)0,
  (xIdNode)0, (xIdNode)&yBloR_z0_HelloWorld, "HelloWorld" XCOMMON_EXTRAS,
  yPrsT_z02_HelloWorld, yPrsS_z02_HelloWorld xService(0) xOptChan(
  yPrsO_z02_HelloWorld), -1 xNrInst(1) xNrInst(1), &yPrsB_z02_HelloWorld,
  (xptrint)sizeof(yVDef_z02_HelloWorld) xPrsPrioPar(xDefaultPrioProcess),
  &yPrsA_z02_HelloWorld xTrace(-1) xGRTrace(-1) xBreakB(yRef_z02_HelloWorld)
  xBreakB(ySym_z02_HelloWorld) xBreakB(1) xMSCETrace(-1)
  xCoverage(yPrsC_z02_HelloWorld) xCoverage(0) xCoverage(0),
  yPAD_z02_HelloWorld, yFree_z02_HelloWorld, (xPrsIdNode)0, (xPrdIdNode *)0,
  (xBlockIdNode)0
  xBreakB("#SDTREF(SDL,D:\\Telelogic\\HelloWorld\\HelloWorld.spr,4,1)")
  xThreadName(0) xThreadName(0) XPRS_EXTRAS(z02_HelloWorld)};
static xSignalNode ySigA_z02_HelloWorld = (xSignalNode)0;
XCONST struct xSignalIdStruct ySigR_z02_HelloWorld = {xStartUpSignalEC ,
  (xIdNode)0, (xIdNode)0, (xIdNode)&yBloR_z0_HelloWorld xIdNames("-")
  XCOMMON_EXTRAS, (xptrint)sizeof(yPDef_z02_HelloWorld), &ySigA_z02_HelloWorld,
  0 xFreS(0) SIGCODE(STARTUPSIGNAL)
  xBreakB("#SDTREF(SDL,D:\\Telelogic\\HelloWorld\\HelloWorld.spr,4,1)")
  xSigPrioPar(xDefaultPrioSignal) XSIG_EXTRAS};
XPROCESSDEF_C(HelloWorld,"HelloWorld",z02_HelloWorld,yPAD_z02_HelloWorld,
  yVDef_z02_HelloWorld)
#ifndef XOPTCHAN
XCONST xIdNode yPrsO_z02_HelloWorld[] = {(xIdNode)&yChaRR_z03_SR1,
  (xIdNode)&yChaR_z04_SR2, (xIdNode)0};
#endif
void yFree_z02_HelloWorld(void *yVarP)
{
}

/*+++++
* GR ref function for process HelloWorld
* #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.spr,4,1)
++++++*/
#ifdef XBREAKBEFORE
extern char * yRef_z02_HelloWorld (int SymbolNo, xSymbolType *SymbolType)
{
  switch (SymbolNo) {
    case 0: *SymbolType = xsStart;
      return "#SDTREF(SDL,D:\\Telelogic\\HelloWorld\\HelloWorld.spr(1),116(55,25),1)";
    case 1: *SymbolType = xsInput;
      return "#SDTREF(SDL,D:\\Telelogic\\HelloWorld\\HelloWorld.spr(1),125(55,55),1)";
    case 2: *SymbolType = xsNextstate;
      return "#SDTREF(SDL,D:\\Telelogic\\HelloWorld\\HelloWorld.spr(1),119(55,40),1)";
    case 3: *SymbolType = xsOutput;
      return "#SDTREF(SDL,D:\\Telelogic\\HelloWorld\\HelloWorld.spr(1),131(55,70),1,1)";
    case 4: *SymbolType = xsStop;
      return "#SDTREF(SDL,D:\\Telelogic\\HelloWorld\\HelloWorld.spr(1),137(60,85),1)";
    default : *SymbolType = xsNoSuchSymbolType; return "";
  }
}
#endif

/*+++++
* Function for process HelloWorld
* #SDTREF(SDL,D:\Telelogic\HelloWorld\HelloWorld.spr,4,1)
++++++*/