liftsystem.c

UML语言构建的电梯管理系统

* CHANNEL @lifts@P1@liftControllers@P2
* <<SYSTEM LiftSystem>>
* #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#ZOOZYL7AZeVLbZFW1EBbEopL|pos(1,13)")
******/
#ifndef XOPTCHAN
static XCONST XSIGTYPE yChaS_z0_liftsP1liftControllersP2[] =
  {SIGNAL_NAME(notify, &ySigR_z_Interfaces_6_notify), SIGNAL_NAME(associate,
  &ySigR_z_Interfaces_7_associate), (XSIGTYPE)0};
static XCONST XSIGTYPE yChaSR_z0_liftsP1liftControllersP2[] =
  {SIGNAL_NAME(moveToFloor, &ySigR_z_Interfaces_8_moveToFloor), (XSIGTYPE)0};
XCONST xIdNode yChaO_z0_liftsP1liftControllersP2[] = {(xIdNode)&yChaR_z61_P2,
  (xIdNode)0};
XCONST xIdNode yChaOR_z0_liftsP1liftControllersP2[] = {(xIdNode)&yChaR_z70_P1,
  (xIdNode)0};
XCONST struct xChannelIdStruct yChaR_z0_liftsP1liftControllersP2 = {xChannelEC
  , (xIdNode)0, (xIdNode)0, (xIdNode)&ySysR_z_LiftSystem,
  "@lifts@P1@liftControllers@P2" xIdNumber(0) XCOMMON_EXTRAS,
  yChaS_z0_liftsP1liftControllersP2, yChaO_z0_liftsP1liftControllersP2,
  &yChaRR_z0_liftsP1liftControllersP2 XCHA_EXTRAS};
XCONST struct xChannelIdStruct yChaRR_z0_liftsP1liftControllersP2 = {xChannelEC
  , (xIdNode)0, (xIdNode)0, (xIdNode)&ySysR_z_LiftSystem,
  "@lifts@P1@liftControllers@P2" xIdNumber(0) XCOMMON_EXTRAS,
  yChaSR_z0_liftsP1liftControllersP2, yChaOR_z0_liftsP1liftControllersP2,
  &yChaR_z0_liftsP1liftControllersP2 XCHA_EXTRAS};
#endif

/*****
* CHANNEL @liftControllers@P3@liftManager@P3
* <<SYSTEM LiftSystem>>
* #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#JD9K*EP6xSFL0jqb9Ve5k5PE|pos(1,13)")
******/
#ifndef XOPTCHAN
static XCONST XSIGTYPE yChaS_z1_liftControllersP3liftManagerP3[] =
  {SIGNAL_NAME(serviceTime, &ySigR_z_Interfaces_9_serviceTime), (XSIGTYPE)0};
static XCONST XSIGTYPE yChaSR_z1_liftControllersP3liftManagerP3[] =
  {SIGNAL_NAME(requestServiceTime, &ySigR_z_Interfaces_A_requestServiceTime),
  SIGNAL_NAME(handleRequest, &ySigR_z_Interfaces_B_handleRequest), (XSIGTYPE)0};
XCONST xIdNode yChaO_z1_liftControllersP3liftManagerP3[] =
  {(xIdNode)&yChaR_z52_P3, (xIdNode)0};
XCONST xIdNode yChaOR_z1_liftControllersP3liftManagerP3[] =
  {(xIdNode)&yChaR_z62_P3, (xIdNode)0};
XCONST struct xChannelIdStruct yChaR_z1_liftControllersP3liftManagerP3 =
  {xChannelEC , (xIdNode)0, (xIdNode)0, (xIdNode)&ySysR_z_LiftSystem,
  "@liftControllers@P3@liftManager@P3" xIdNumber(0) XCOMMON_EXTRAS,
  yChaS_z1_liftControllersP3liftManagerP3,
  yChaO_z1_liftControllersP3liftManagerP3,
  &yChaRR_z1_liftControllersP3liftManagerP3 XCHA_EXTRAS};
XCONST struct xChannelIdStruct yChaRR_z1_liftControllersP3liftManagerP3 =
  {xChannelEC , (xIdNode)0, (xIdNode)0, (xIdNode)&ySysR_z_LiftSystem,
  "@liftControllers@P3@liftManager@P3" xIdNumber(0) XCOMMON_EXTRAS,
  yChaSR_z1_liftControllersP3liftManagerP3,
  yChaOR_z1_liftControllersP3liftManagerP3,
  &yChaR_z1_liftControllersP3liftManagerP3 XCHA_EXTRAS};
#endif

/*****
* CHANNEL @LiftSystem@envPort@liftManager@P1
* <<SYSTEM LiftSystem>>
* #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#KMfaILW1BZILy6Kk0LTFPaeV|pos(1,13)")
******/
#ifndef XOPTCHAN
static XCONST XSIGTYPE yChaS_z2_LiftSystemenvPortliftManagerP1[] =
  {SIGNAL_NAME(requestLift, &ySigR_z_Interfaces_0_requestLift), (XSIGTYPE)0};
static XCONST XSIGTYPE yChaSR_z2_LiftSystemenvPortliftManagerP1[] =
  {SIGNAL_NAME(directionLight, &ySigR_z_Interfaces_3_directionLight),
  (XSIGTYPE)0};
XCONST xIdNode yChaO_z2_LiftSystemenvPortliftManagerP1[] =
  {(xIdNode)&yChaR_z50_P1, (xIdNode)0};
#ifndef XMULTIPLESYSTEMS
XCONST xIdNode yChaOR_z2_LiftSystemenvPortliftManagerP1[] =
  {(xIdNode)&yEnvR_env, (xIdNode)0};
#else
XCONST xIdNode yChaOR_z2_LiftSystemenvPortliftManagerP1[] =
  {(xIdNode)&yGateOut_LiftSystem_LiftSystemenvPortliftManagerP1, (xIdNode)0};
#endif
XCONST struct xChannelIdStruct yChaR_z2_LiftSystemenvPortliftManagerP1 =
  {xChannelEC , (xIdNode)0, (xIdNode)0, (xIdNode)&ySysR_z_LiftSystem,
  "@LiftSystem@envPort@liftManager@P1" xIdNumber(0) XCOMMON_EXTRAS,
  yChaS_z2_LiftSystemenvPortliftManagerP1,
  yChaO_z2_LiftSystemenvPortliftManagerP1,
  &yChaRR_z2_LiftSystemenvPortliftManagerP1 XCHA_EXTRAS};
XCONST struct xChannelIdStruct yChaRR_z2_LiftSystemenvPortliftManagerP1 =
  {xChannelEC , (xIdNode)0, (xIdNode)0, (xIdNode)&ySysR_z_LiftSystem,
  "@LiftSystem@envPort@liftManager@P1" xIdNumber(0) XCOMMON_EXTRAS,
  yChaSR_z2_LiftSystemenvPortliftManagerP1,
  yChaOR_z2_LiftSystemenvPortliftManagerP1,
  &yChaR_z2_LiftSystemenvPortliftManagerP1 XCHA_EXTRAS};
#ifdef XMULTIPLESYSTEMS
XCONST xIdNode yConnIn_LiftSystem_LiftSystemenvPortliftManagerP1[] =
  {(xIdNode)&yChaR_z2_LiftSystemenvPortliftManagerP1, (xIdNode)0};
XCONST struct xChannelIdStruct yGateIn_LiftSystem_LiftSystemenvPortliftManagerP1=
  {xGateEC , (xIdNode)0, (xIdNode)0, (xIdNode)&ySysR_z_LiftSystem
  xIdNames("LiftSystem_LiftSystemenvPortliftManagerP1") xIdNumber(0)
  XCOMMON_EXTRAS, yChaS_z2_LiftSystemenvPortliftManagerP1,
  yConnIn_LiftSystem_LiftSystemenvPortliftManagerP1,
  &yGateOut_LiftSystem_LiftSystemenvPortliftManagerP1 XCHA_EXTRAS};
XCONST struct xChannelIdStruct yGateOut_LiftSystem_LiftSystemenvPortliftManagerP1=
  {xGateEC , (xIdNode)0, (xIdNode)0, (xIdNode)&ySysR_z_LiftSystem
  xIdNames("LiftSystem_LiftSystemenvPortliftManagerP1") xIdNumber(0)
  XCOMMON_EXTRAS, yChaSR_z2_LiftSystemenvPortliftManagerP1,
  yConnOut_LiftSystem_LiftSystemenvPortliftManagerP1,
  &yGateIn_LiftSystem_LiftSystemenvPortliftManagerP1 XCHA_EXTRAS};
#endif
#endif

/*****
* CHANNEL @LiftSystem@envPort@liftControllers@P1
* <<SYSTEM LiftSystem>>
* #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#6FAVyVuOYplLKxmjlIGpn*RI|pos(1,13)")
******/
#ifndef XOPTCHAN
static XCONST XSIGTYPE yChaS_z3_LiftSystemenvPortliftControllersP1[] =
  {SIGNAL_NAME(gotoFloor, &ySigR_z_Interfaces_2_gotoFloor), (XSIGTYPE)0};
static XCONST XSIGTYPE yChaSR_z3_LiftSystemenvPortliftControllersP1[] =
  {SIGNAL_NAME(floorLight, &ySigR_z_Interfaces_5_floorLight), (XSIGTYPE)0};
XCONST xIdNode yChaO_z3_LiftSystemenvPortliftControllersP1[] =
  {(xIdNode)&yChaR_z60_P1, (xIdNode)0};
#ifndef XMULTIPLESYSTEMS
XCONST xIdNode yChaOR_z3_LiftSystemenvPortliftControllersP1[] =
  {(xIdNode)&yEnvR_env, (xIdNode)0};
#else
XCONST xIdNode yChaOR_z3_LiftSystemenvPortliftControllersP1[] =
  {(xIdNode)&yGateOut_LiftSystem_LiftSystemenvPortliftControllersP1,
  (xIdNode)0};
#endif
XCONST struct xChannelIdStruct yChaR_z3_LiftSystemenvPortliftControllersP1 =
  {xChannelEC , (xIdNode)0, (xIdNode)0, (xIdNode)&ySysR_z_LiftSystem,
  "@LiftSystem@envPort@liftControllers@P1" xIdNumber(0) XCOMMON_EXTRAS,
  yChaS_z3_LiftSystemenvPortliftControllersP1,
  yChaO_z3_LiftSystemenvPortliftControllersP1,
  &yChaRR_z3_LiftSystemenvPortliftControllersP1 XCHA_EXTRAS};
XCONST struct xChannelIdStruct yChaRR_z3_LiftSystemenvPortliftControllersP1 =
  {xChannelEC , (xIdNode)0, (xIdNode)0, (xIdNode)&ySysR_z_LiftSystem,
  "@LiftSystem@envPort@liftControllers@P1" xIdNumber(0) XCOMMON_EXTRAS,
  yChaSR_z3_LiftSystemenvPortliftControllersP1,
  yChaOR_z3_LiftSystemenvPortliftControllersP1,
  &yChaR_z3_LiftSystemenvPortliftControllersP1 XCHA_EXTRAS};
#ifdef XMULTIPLESYSTEMS
XCONST xIdNode yConnIn_LiftSystem_LiftSystemenvPortliftControllersP1[] =
  {(xIdNode)&yChaR_z3_LiftSystemenvPortliftControllersP1, (xIdNode)0};
XCONST struct xChannelIdStruct yGateIn_LiftSystem_LiftSystemenvPortliftControllersP1=
  {xGateEC , (xIdNode)0, (xIdNode)0, (xIdNode)&ySysR_z_LiftSystem
  xIdNames("LiftSystem_LiftSystemenvPortliftControllersP1") xIdNumber(0)
  XCOMMON_EXTRAS, yChaS_z3_LiftSystemenvPortliftControllersP1,
  yConnIn_LiftSystem_LiftSystemenvPortliftControllersP1,
  &yGateOut_LiftSystem_LiftSystemenvPortliftControllersP1 XCHA_EXTRAS};
XCONST struct xChannelIdStruct yGateOut_LiftSystem_LiftSystemenvPortliftControllersP1=
  {xGateEC , (xIdNode)0, (xIdNode)0, (xIdNode)&ySysR_z_LiftSystem
  xIdNames("LiftSystem_LiftSystemenvPortliftControllersP1") xIdNumber(0)
  XCOMMON_EXTRAS, yChaSR_z3_LiftSystemenvPortliftControllersP1,
  yConnOut_LiftSystem_LiftSystemenvPortliftControllersP1,
  &yGateIn_LiftSystem_LiftSystemenvPortliftControllersP1 XCHA_EXTRAS};
#endif
#endif

/*****
* CHANNEL @LiftSystem@envPort@liftManager@P2
* <<SYSTEM LiftSystem>>
* #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#kGe8uVUXo-ALTQ-aZVVWqMPL|pos(1,13)")
******/
#ifndef XOPTCHAN
static XCONST XSIGTYPE yChaS_z4_LiftSystemenvPortliftManagerP2[] =
  {SIGNAL_NAME(addLift, &ySigR_z_Interfaces_1_addLift), (XSIGTYPE)0};
static XCONST XSIGTYPE yChaSR_z4_LiftSystemenvPortliftManagerP2[] =
  {SIGNAL_NAME(confirmAdd, &ySigR_z_Interfaces_4_confirmAdd), (XSIGTYPE)0};
XCONST xIdNode yChaO_z4_LiftSystemenvPortliftManagerP2[] =
  {(xIdNode)&yChaR_z51_P2, (xIdNode)0};
#ifndef XMULTIPLESYSTEMS
XCONST xIdNode yChaOR_z4_LiftSystemenvPortliftManagerP2[] =
  {(xIdNode)&yEnvR_env, (xIdNode)0};
#else
XCONST xIdNode yChaOR_z4_LiftSystemenvPortliftManagerP2[] =
  {(xIdNode)&yGateOut_LiftSystem_LiftSystemenvPortliftManagerP2, (xIdNode)0};
#endif
XCONST struct xChannelIdStruct yChaR_z4_LiftSystemenvPortliftManagerP2 =
  {xChannelEC , (xIdNode)0, (xIdNode)0, (xIdNode)&ySysR_z_LiftSystem,
  "@LiftSystem@envPort@liftManager@P2" xIdNumber(0) XCOMMON_EXTRAS,
  yChaS_z4_LiftSystemenvPortliftManagerP2,
  yChaO_z4_LiftSystemenvPortliftManagerP2,
  &yChaRR_z4_LiftSystemenvPortliftManagerP2 XCHA_EXTRAS};
XCONST struct xChannelIdStruct yChaRR_z4_LiftSystemenvPortliftManagerP2 =
  {xChannelEC , (xIdNode)0, (xIdNode)0, (xIdNode)&ySysR_z_LiftSystem,
  "@LiftSystem@envPort@liftManager@P2" xIdNumber(0) XCOMMON_EXTRAS,
  yChaSR_z4_LiftSystemenvPortliftManagerP2,
  yChaOR_z4_LiftSystemenvPortliftManagerP2,
  &yChaR_z4_LiftSystemenvPortliftManagerP2 XCHA_EXTRAS};
#ifdef XMULTIPLESYSTEMS
XCONST xIdNode yConnIn_LiftSystem_LiftSystemenvPortliftManagerP2[] =
  {(xIdNode)&yChaR_z4_LiftSystemenvPortliftManagerP2, (xIdNode)0};
XCONST struct xChannelIdStruct yGateIn_LiftSystem_LiftSystemenvPortliftManagerP2=
  {xGateEC , (xIdNode)0, (xIdNode)0, (xIdNode)&ySysR_z_LiftSystem
  xIdNames("LiftSystem_LiftSystemenvPortliftManagerP2") xIdNumber(0)
  XCOMMON_EXTRAS, yChaS_z4_LiftSystemenvPortliftManagerP2,
  yConnIn_LiftSystem_LiftSystemenvPortliftManagerP2,
  &yGateOut_LiftSystem_LiftSystemenvPortliftManagerP2 XCHA_EXTRAS};
XCONST struct xChannelIdStruct yGateOut_LiftSystem_LiftSystemenvPortliftManagerP2=
  {xGateEC , (xIdNode)0, (xIdNode)0, (xIdNode)&ySysR_z_LiftSystem
  xIdNames("LiftSystem_LiftSystemenvPortliftManagerP2") xIdNumber(0)
  XCOMMON_EXTRAS, yChaSR_z4_LiftSystemenvPortliftManagerP2,
  yConnOut_LiftSystem_LiftSystemenvPortliftManagerP2,
  &yGateIn_LiftSystem_LiftSystemenvPortliftManagerP2 XCHA_EXTRAS};
#endif
#endif

/*****
* PROCESS INST liftManager
* <<SYSTEM LiftSystem>>
* #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#xiyAsI5NsrILWcX61Eeu*FZE|pos(1,13)")
******/
static XPRSNODE yPrsA_z5_liftManager = (XPRSNODE)0;
static XPRSNODE yPrsB_z5_liftManager = (XPRSNODE)0;
XCONST struct xPrsIdStruct yPrsR_z5_liftManager = {xProcessEC , (xIdNode)0,
  (xIdNode)0, (xIdNode)&ySysR_z_LiftSystem, "liftManager" xIdNumber(0)
  XCOMMON_EXTRAS, yPrsT_z_LiftComponents_0_LiftManager,
  yPrsS_z_LiftComponents_0_LiftManager xService(0) xOptChan(
  yPrsO_z5_liftManager), 1 xNrInst(1) xNrInst(1), &yPrsB_z5_liftManager,
  (xptrint)sizeof(yVDef_z_LiftComponents_0_LiftManager)
  xPrsPrioPar(xDefaultPrioProcess), &yPrsA_z5_liftManager xTrace(-1)
  xGRTrace(-1) xBreakB(yRef_z_LiftComponents_0_LiftManager)
  xBreakB(ySym_z_LiftComponents_0_LiftManager) xBreakB(3) xMSCETrace(-1)
  xCoverage(yPrsC_z_LiftComponents_0_LiftManager) xCoverage(0) xCoverage(0), 0,
  0, &yPrsR_z_LiftComponents_0_LiftManager, (xPrdIdNode *)0, (xBlockIdNode)0
  xBreakB("#SDTREF(U2,\"u2:F:\\UML\\LiftManagement20\\SystemDesign\\LiftManagement.u2#xiyAsI5NsrILWcX61Eeu*FZE|pos(1,13)\")")
  xThreadName(0) xThreadName(0) XPRS_EXTRAS(z_LiftComponents_0_LiftManager)};
#ifndef XOPTCHAN
XCONST xIdNode yPrsO_z5_liftManager[] = {(xIdNode)&yChaRR_z50_P1,
  (xIdNode)&yChaRR_z51_P2, (xIdNode)&yChaRR_z52_P3, (xIdNode)0};
#endif

/*****
* GATE P1
* <<SYSTEM LiftSystem/PROCESS liftManager>>
* #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#RtmxzLZr1lSLuYR6cIyS2QWI|pos(1,14)")
******/
#ifndef XOPTCHAN
static XCONST XSIGTYPE yChaS_z50_P1[] = {SIGNAL_NAME(requestLift,
  &ySigR_z_Interfaces_0_requestLift), (XSIGTYPE)0};
static XCONST XSIGTYPE yChaSR_z50_P1[] = {SIGNAL_NAME(directionLight,
  &ySigR_z_Interfaces_3_directionLight), (XSIGTYPE)0};
XCONST xIdNode yChaO_z50_P1[] = {(xIdNode)&yPrsR_z5_liftManager, (xIdNode)0};
XCONST xIdNode yChaOR_z50_P1[] =
  {(xIdNode)&yChaRR_z2_LiftSystemenvPortliftManagerP1, (xIdNode)0};
XCONST struct xChannelIdStruct yChaR_z50_P1 = {xGateEC , (xIdNode)0,
  (xIdNode)0, (xIdNode)&yPrsR_z5_liftManager, "P1" xIdNumber(0) XCOMMON_EXTRAS,
  yChaS_z50_P1, yChaO_z50_P1, &yChaRR_z50_P1 XCHA_EXTRAS};
XCONST struct xChannelIdStruct yChaRR_z50_P1 = {xGateEC , (xIdNode)0,
  (xIdNode)0, (xIdNode)&yPrsR_z5_liftManager, "P1" xIdNumber(0) XCOMMON_EXTRAS,
  yChaSR_z50_P1, yChaOR_z50_P1, &yChaR_z50_P1 XCHA_EXTRAS};
#endif

/*****
* GATE P2
* <<SYSTEM LiftSystem/PROCESS liftManager>>
* #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#6cpOTVviVBCL-aqd2EMb2kDL|pos(1,14)")
******/
#ifndef XOPTCHAN
static XCONST XSIGTYPE yChaS_z51_P2[] = {SIGNAL_NAME(addLift,
  &ySigR_z_Interfaces_1_addLift), (XSIGTYPE)0};
static XCONST XSIGTYPE yChaSR_z51_P2[] = {SIGNAL_NAME(confirmAdd,
  &ySigR_z_Interfaces_4_confirmAdd), (XSIGTYPE)0};
XCONST xIdNode yChaO_z51_P2[] = {(xIdNode)&yPrsR_z5_liftManager, (xIdNode)0};
XCONST xIdNode yChaOR_z51_P2[] =
  {(xIdNode)&yChaRR_z4_LiftSystemenvPortliftManagerP2, (xIdNode)0};
XCONST struct xChannelIdStruct yChaR_z51_P2 = {xGateEC , (xIdNode)0,
  (xIdNode)0, (xIdNode)&yPrsR_z5_liftManager, "P2" xIdNumber(0) XCOMMON_EXTRAS,
  yChaS_z51_P2, yChaO_z51_P2, &yChaRR_z51_P2 XCHA_EXTRAS};
XCONST struct xChannelIdStruct yChaRR_z51_P2 = {xGateEC , (xIdNode)0,
  (xIdNode)0, (xIdNode)&yPrsR_z5_liftManager, "P2" xIdNumber(0) XCOMMON_EXTRAS,
  yChaSR_z51_P2, yChaOR_z51_P2, &yChaR_z51_P2 XCHA_EXTRAS};
#endif

/*****