accesscontrol.c

此文档主要描述了话音呼叫控制中对各状态的控制

/*****
* CHANNEL DtotC
* <<SYSTEM AccessControl/BLOCK LocalStation/SUBSTRUCTURE LocalStation>>
* #SDTREF(SDL,D:\TelelogicTau36\examples\courseenv\simccode\ACCESS\LocalStation.sbk(1),575(100,87),1,1)
******/
#ifndef XOPTCHAN
extern XCONST xIdNode yChaO_z004_DtotC[];
extern XCONST xIdNode yChaOR_z004_DtotC[];
extern XCONST struct xChannelIdStruct yChaR_z004_DtotC;
extern XCONST struct xChannelIdStruct yChaRR_z004_DtotC;
#define yChaN_z004_DtotC  (&yChaR_z004_DtotC)
#endif

/*****
* CHANNEL CtotCU
* <<SYSTEM AccessControl/BLOCK LocalStation/SUBSTRUCTURE LocalStation>>
* #SDTREF(SDL,D:\TelelogicTau36\examples\courseenv\simccode\ACCESS\LocalStation.sbk(1),596(136,112),1,1)
******/
#ifndef XOPTCHAN
extern XCONST xIdNode yChaO_z005_CtotCU[];
extern XCONST xIdNode yChaOR_z005_CtotCU[];
extern XCONST struct xChannelIdStruct yChaR_z005_CtotCU;
extern XCONST struct xChannelIdStruct yChaRR_z005_CtotCU;
#define yChaN_z005_CtotCU  (&yChaR_z005_CtotCU)
#endif

/*****
* CHANNEL PtotC
* <<SYSTEM AccessControl/BLOCK LocalStation/SUBSTRUCTURE LocalStation>>
* #SDTREF(SDL,D:\TelelogicTau36\examples\courseenv\simccode\ACCESS\LocalStation.sbk(1),587(100,147),1,1)
******/
#ifndef XOPTCHAN
extern XCONST xIdNode yChaO_z006_PtotC[];
extern XCONST xIdNode yChaOR_z006_PtotC[];
extern XCONST struct xChannelIdStruct yChaR_z006_PtotC;
extern XCONST struct xChannelIdStruct yChaRR_z006_PtotC;
#define yChaN_z006_PtotC  (&yChaR_z006_PtotC)
#endif

/*****
* CHANNEL PtotE
* <<SYSTEM AccessControl/BLOCK LocalStation/SUBSTRUCTURE LocalStation>>
* #SDTREF(SDL,D:\TelelogicTau36\examples\courseenv\simccode\ACCESS\LocalStation.sbk(1),143(32,147),1,1)
******/
#ifndef XOPTCHAN
extern XCONST xIdNode yChaO_z007_PtotE[];
extern XCONST xIdNode yChaOR_z007_PtotE[];
extern XCONST struct xChannelIdStruct yChaR_z007_PtotE;
extern XCONST struct xChannelIdStruct yChaRR_z007_PtotE;
#define yChaN_z007_PtotE  (&yChaR_z007_PtotE)
#endif

/*****
* SIGNAL OpenDoor
* <<SYSTEM AccessControl/BLOCK LocalStation/SUBSTRUCTURE LocalStation>>
* #SDTREF(SDL,D:\TelelogicTau36\examples\courseenv\simccode\ACCESS\LocalStation.sbk(1),473(25,45),2,3)
******/
#ifndef XNOSIGNALIDNODE
extern XCONST struct xSignalIdStruct ySigR_z00A_OpenDoor;
#define ySigN_z00A_OpenDoor  (&ySigR_z00A_OpenDoor)
#endif

/*****
* SIGNAL DoorOpened
* <<SYSTEM AccessControl/BLOCK LocalStation/SUBSTRUCTURE LocalStation>>
* #SDTREF(SDL,D:\TelelogicTau36\examples\courseenv\simccode\ACCESS\LocalStation.sbk(1),473(25,45),3,3)
******/
#ifndef XNOSIGNALIDNODE
extern XCONST struct xSignalIdStruct ySigR_z00B_DoorOpened;
#define ySigN_z00B_DoorOpened  (&ySigR_z00B_DoorOpened)
#endif

/*****
* SIGNAL Allocate
* <<SYSTEM AccessControl/BLOCK LocalStation/SUBSTRUCTURE LocalStation>>
* #SDTREF(SDL,D:\TelelogicTau36\examples\courseenv\simccode\ACCESS\LocalStation.sbk(1),473(25,45),4,3)
******/
#ifndef XNOSIGNALIDNODE
extern XCONST struct xSignalIdStruct ySigR_z00C_Allocate;
#define ySigN_z00C_Allocate  (&ySigR_z00C_Allocate)
#endif
typedef struct {
    SIGNAL_VARS
    z_AccessLibrary_H_DoorNoType  Param1;
} yPDef_z00C_Allocate;
typedef yPDef_z00C_Allocate  *yPDP_z00C_Allocate;

/*****
* SIGNAL Allocated
* <<SYSTEM AccessControl/BLOCK LocalStation/SUBSTRUCTURE LocalStation>>
* #SDTREF(SDL,D:\TelelogicTau36\examples\courseenv\simccode\ACCESS\LocalStation.sbk(1),473(25,45),5,3)
******/
#ifndef XNOSIGNALIDNODE
extern XCONST struct xSignalIdStruct ySigR_z00D_Allocated;
#define ySigN_z00D_Allocated  (&ySigR_z00D_Allocated)
#endif
typedef struct {
    SIGNAL_VARS
    SDL_PId  Param1;
} yPDef_z00D_Allocated;
typedef yPDef_z00D_Allocated  *yPDP_z00D_Allocated;

/*****
* SIGNAL NotAllocated
* <<SYSTEM AccessControl/BLOCK LocalStation/SUBSTRUCTURE LocalStation>>
* #SDTREF(SDL,D:\TelelogicTau36\examples\courseenv\simccode\ACCESS\LocalStation.sbk(1),473(25,45),6,3)
******/
#ifndef XNOSIGNALIDNODE
extern XCONST struct xSignalIdStruct ySigR_z00E_NotAllocated;
#define ySigN_z00E_NotAllocated  (&ySigR_z00E_NotAllocated)
#endif

/*****
* BLOCK CentralUnit
* <<SYSTEM AccessControl>>
* #SDTREF(SDL,D:\TelelogicTau36\examples\courseenv\simccode\ACCESS\CentralUnit.sbk,4,1)
******/
extern XCONST struct xBlockIdStruct yBloR_z1_CentralUnit;

/*****
* SYNONYM REGTIME
* <<SYSTEM AccessControl/BLOCK CentralUnit/PROCESS Central>>
* #SDTREF(SDL,D:\TelelogicTau36\examples\courseenv\simccode\ACCESS\Central.spr(Declaration),353(70,35),2,9)
******/
#define z118_REGTIME SDL_DURATION_LIT(100.0, 100, 0)
#ifdef XUSESYNONYMIDNODES
extern XCONST struct xSynonymIdStruct ySynR_z118_REGTIME;
#endif

/*****
* SYNONYM CARDMAX
* <<SYSTEM AccessControl/BLOCK CentralUnit/PROCESS Central>>
* #SDTREF(SDL,D:\TelelogicTau36\examples\courseenv\simccode\ACCESS\Central.spr(Declaration),353(70,35),5,9)
******/
#define z119_CARDMAX SDL_INTEGER_LIT(10)
#ifdef XUSESYNONYMIDNODES
extern XCONST struct xSynonymIdStruct ySynR_z119_CARDMAX;
#endif

/*****
* NEWTYPE CardType  (TYPE section)
* <<SYSTEM AccessControl/BLOCK CentralUnit/PROCESS Central>>
* #SDTREF(SDL,D:\TelelogicTau36\examples\courseenv\simccode\ACCESS\Central.spr(Declaration),353(70,35),8,9)
******/
#ifndef XENUM_TYPE
#define XENUM_TYPE int
#endif
typedef XENUM_TYPE z110_CardType;
#define z1100_MainCard  0
#define z1101_UserCard  1
#ifndef XOPTSORT
extern XCONST struct xSortIdStruct ySrtR_z110_CardType;
#define ySrtN_z110_CardType  (&ySrtR_z110_CardType)
#endif

/*****
* NEWTYPE ResultType  (TYPE section)
* <<SYSTEM AccessControl/BLOCK CentralUnit/PROCESS Central>>
* #SDTREF(SDL,D:\TelelogicTau36\examples\courseenv\simccode\ACCESS\Central.spr(Declaration),353(70,35),15,9)
******/
#ifndef XENUM_TYPE
#define XENUM_TYPE int
#endif
typedef XENUM_TYPE z111_ResultType;
#define z1110_OK  0
#define z1111_NotOK  1
#define z1112_Main  2
#ifndef XOPTSORT
extern XCONST struct xSortIdStruct ySrtR_z111_ResultType;
#define ySrtN_z111_ResultType  (&ySrtR_z111_ResultType)
#endif

/*****
* SYNTYPE CardBaseIndexType  (TYPE section)
* <<SYSTEM AccessControl/BLOCK CentralUnit/PROCESS Central>>
* #SDTREF(SDL,D:\TelelogicTau36\examples\courseenv\simccode\ACCESS\Central.spr(Declaration),353(70,35),22,9)
******/
typedef SDL_Natural  z114_CardBaseIndexType;
#ifndef XOPTSORT
extern XCONST struct xSortIdStruct ySrtR_z114_CardBaseIndexType;
#define ySrtN_z114_CardBaseIndexType  (&ySrtR_z114_CardBaseIndexType)
#endif

/*****
* NEWTYPE CardRecordType  (TYPE section)
* <<SYSTEM AccessControl/BLOCK CentralUnit/PROCESS Central>>
* #SDTREF(SDL,D:\TelelogicTau36\examples\courseenv\simccode\ACCESS\Central.spr(Declaration),353(70,35),27,9)
******/
typedef struct z112_CardRecordType_s {
    SDL_Charstring  CardData;
    z_AccessLibrary_F_KeyArrayType  CodeData;
} z112_CardRecordType;
#ifndef XOPTSORT
extern XCONST struct xSortIdStruct ySrtR_z112_CardRecordType;
#define ySrtN_z112_CardRecordType  (&ySrtR_z112_CardRecordType)
#endif

/*****
* NEWTYPE CardBaseType  (TYPE section)
* <<SYSTEM AccessControl/BLOCK CentralUnit/PROCESS Central>>
* #SDTREF(SDL,D:\TelelogicTau36\examples\courseenv\simccode\ACCESS\Central.spr(Declaration),353(70,35),34,9)
******/
typedef struct {
    z112_CardRecordType  A[SDL_INTEGER_LIT(10)+1];
}  z113_CardBaseType;
#ifndef XOPTSORT
extern XCONST struct xSortIdStruct ySrtR_z113_CardBaseType;
#define ySrtN_z113_CardBaseType  (&ySrtR_z113_CardBaseType)
#endif

/*****
* NEWTYPE CardType  (HEADING section)
* <<SYSTEM AccessControl/BLOCK CentralUnit/PROCESS Central>>
* #SDTREF(SDL,D:\TelelogicTau36\examples\courseenv\simccode\ACCESS\Central.spr(Declaration),353(70,35),8,9)
******/
 \
#define yAssF_z110_CardType(V,E,A)  V = E
#define yDef_z110_CardType(yVar)  *(yVar) = z1100_MainCard
#define yEqF_z110_CardType(Expr1,Expr2)  (Expr1) == (Expr2)
#define yNEqF_z110_CardType(Expr1,Expr2)  (Expr1) != (Expr2)
#ifndef ANY_z110_CardType
#define ANY_z110_CardType  (z110_CardType)(0 + GETINTRAND%((int)(z1101_UserCard) \
  +1))
#endif
#define z1105_copy(P)  P

/*****
* NEWTYPE ResultType  (HEADING section)
* <<SYSTEM AccessControl/BLOCK CentralUnit/PROCESS Central>>
* #SDTREF(SDL,D:\TelelogicTau36\examples\courseenv\simccode\ACCESS\Central.spr(Declaration),353(70,35),15,9)
******/
 \
#define yAssF_z111_ResultType(V,E,A)  V = E
#define yDef_z111_ResultType(yVar)  *(yVar) = z1110_OK
#define yEqF_z111_ResultType(Expr1,Expr2)  (Expr1) == (Expr2)
#define yNEqF_z111_ResultType(Expr1,Expr2)  (Expr1) != (Expr2)
#ifndef ANY_z111_ResultType
#define ANY_z111_ResultType  (z111_ResultType)(0 + GETINTRAND%((int)(z1112_Main) \
  +1))
#endif
#define z1116_copy(P)  P

/*****
* SYNTYPE CardBaseIndexType  (HEADING section)
* <<SYSTEM AccessControl/BLOCK CentralUnit/PROCESS Central>>
* #SDTREF(SDL,D:\TelelogicTau36\examples\courseenv\simccode\ACCESS\Central.spr(Declaration),353(70,35),22,9)
******/
 \
#define yAssF_z114_CardBaseIndexType(V,E,A)  yAssF_SDL_Natural(V,E,A)
#define yDef_z114_CardBaseIndexType(yVar)  xDef_SDL_Natural(yVar)
#define yEqF_z114_CardBaseIndexType(Expr1,Expr2)  yEqF_SDL_Natural(Expr1,Expr2)
#define yNEqF_z114_CardBaseIndexType(Expr1,Expr2)  yNEqF_SDL_Natural(Expr1,Expr2)
#ifdef XTESTF
extern xbool  yTest_z114_CardBaseIndexType XPP((void *));
#endif
#ifdef XERANGE
extern z114_CardBaseIndexType yTstA_z114_CardBaseIndexType XPP((
  z114_CardBaseIndexType));
#else
#define yTstA_z114_CardBaseIndexType(yExpr)  yExpr
#endif
#ifdef XEINDEX
extern z114_CardBaseIndexType  yTstI_z114_CardBaseIndexType XPP((
  z114_CardBaseIndexType));
#else
#define yTstI_z114_CardBaseIndexType(yExpr)  yExpr
#endif
#ifndef ANY_z114_CardBaseIndexType
#define ANY_z114_CardBaseIndexType  (z114_CardBaseIndexType)(SDL_INTEGER_LIT(0) + \
  GETINTRAND%(SDL_INTEGER_LIT(10)+1))
#endif

/*****
* NEWTYPE CardRecordType  (HEADING section)
* <<SYSTEM AccessControl/BLOCK CentralUnit/PROCESS Central>>
* #SDTREF(SDL,D:\TelelogicTau36\examples\courseenv\simccode\ACCESS\Central.spr(Declaration),353(70,35),27,9)
******/

extern void yAss_z112_CardRecordType XPP((z112_CardRecordType *,
  z112_CardRecordType, int));
#define yAssF_z112_CardRecordType(V,E,A)  yAss_z112_CardRecordType(&(V),E,A)
extern void yDef_z112_CardRecordType XPP((z112_CardRecordType *));
extern SDL_Boolean yEq_z112_CardRecordType XPP((z112_CardRecordType,
  z112_CardRecordType));
#define yEqF_z112_CardRecordType(Expr1,Expr2)  yEq_z112_CardRecordType(Expr1,Expr2)
#define yNEqF_z112_CardRecordType(Expr1,Expr2)  ( ! yEq_z112_CardRecordType(Expr1,Expr2) )
extern void yFree_z112_CardRecordType XPP((void **));
extern z112_CardRecordType yMake_z112_CardRecordType XPP((SDL_Charstring,
  z_AccessLibrary_F_KeyArrayType));
#ifndef ANY_z112_CardRecordType
#define ANY_z112_CardRecordType  yMake_z112_CardRecordType(ANY_SDL_Charstring, \
  ANY_z_AccessLibrary_F_KeyArrayType)
#endif
#define z1123_copy(P)  P

/*****
* NEWTYPE CardBaseType  (HEADING section)
* <<SYSTEM AccessControl/BLOCK CentralUnit/PROCESS Central>>
* #SDTREF(SDL,D:\TelelogicTau36\examples\courseenv\simccode\ACCESS\Central.spr(Declaration),353(70,35),34,9)
******/

extern void yAss_z113_CardBaseType XPP((z113_CardBaseType *, z113_CardBaseType,
  int));
#define yAssF_z113_CardBaseType(V,E,A)  yAss_z113_CardBaseType(&(V),E,A)
extern void yDef_z113_CardBaseType XPP((z113_CardBaseType *));
extern SDL_Boolean yEq_z113_CardBaseType XPP((z113_CardBaseType,
  z113_CardBaseType));
#define yEqF_z113_CardBaseType(Expr1,Expr2)  yEq_z113_CardBaseType(Expr1,Expr2)
#define yNEqF_z113_CardBaseType(Expr1,Expr2)  ( ! yEq_z113_CardBaseType(Expr1,Expr2) )
extern void yFree_z113_CardBaseType XPP((void **));
extern z113_CardBaseType yMake_z113_CardBaseType XPP((z112_CardRecordType));
#ifndef ANY_z113_CardBaseType
#define ANY_z113_CardBaseType  yMake_z113_CardBaseType(ANY_z112_CardRecordType)
#endif
#define z1139_copy(P)  P

/*****
* OPERATOR Full
* <<SYSTEM AccessControl/BLOCK CentralUnit/PROCESS Central/TYPE CardBaseType>>
* #SDTREF(SDL,D:\TelelogicTau36\examples\courseenv\simccode\ACCESS\Central.spr(Declaration),353(70,35),37,5)
******/
extern SDL_Boolean z1130_Full XPP((z113_CardBaseType));

/*****
* OPERATOR Register
* <<SYSTEM AccessControl/BLOCK CentralUnit/PROCESS Central/TYPE CardBaseType>>
* #SDTREF(SDL,D:\TelelogicTau36\examples\courseenv\simccode\ACCESS\Central.spr(Declaration),353(70,35),38,5)
******/
extern z113_CardBaseType z1131_Register XPP((z113_CardBaseType, z110_CardType,
  z112_CardRecordType));

/*****
* OPERATOR Validate
* <<SYSTEM AccessControl/BLOCK CentralUnit/PROCESS Central/TYPE CardBaseType>>
* #SDTREF(SDL,D:\TelelogicTau36\examples\courseenv\simccode\ACCESS\Central.spr(Declaration),353(70,35),39,5)
******/
extern z111_ResultType z1132_Validate XPP((z113_CardBaseType,