|
DataMuseum.dkPresents historical artifacts from the history of: DKUUG/EUUG Conference tapes |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about DKUUG/EUUG Conference tapes Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - downloadIndex: T s
Length: 7395 (0x1ce3) Types: TextFile Names: »states1.c«
└─⟦2d1937cfd⟧ Bits:30007241 EUUGD22: P.P 5.0 └─⟦35176feda⟧ »EurOpenD22/isode/isode-6.tar.Z« └─⟦de7628f85⟧ └─⟦this⟧ »isode-6.0/vt/states1.c«
/* states1.c - VTPM: FSM sector 1 states */ #ifndef lint static char *rcsid = "$Header: /f/osi/vt/RCS/states1.c,v 7.0 89/11/23 22:31:46 mrose Rel $"; #endif /* * $Header: /f/osi/vt/RCS/states1.c,v 7.0 89/11/23 22:31:46 mrose Rel $ * * * $Log: states1.c,v $ * Revision 7.0 89/11/23 22:31:46 mrose * Release 6.0 * */ /* * NOTICE * * Acquisition, use, and distribution of this module and related * materials are subject to the restrictions of a license agreement. * Consult the Preface in the User's Manual for the full terms of * this agreement. * */ #include "vtpm.h" #define undefined(s1,e1) \ adios (NULLCP, \ "undefined state/event: sector is 1, state is %s, event is %d", \ s1, e1) int s1_01(event, pe) /* sector 1, state 01 */ int event; PE pe; { switch (event) { case ASQ: return(a1_17(pe)); case VASSreq: return(a1_2(pe)); case APQ: return(a1_107(pe)); case AUQ: return(a1_107(pe)); case PAB: return(a1_107(pe)); case VTAB: return(a1_107(pe)); case VUABreq: return(a1_107(pe)); default: undefined ("01", event); /* NOTREACHED */ } } int s1_02B(event, pe) int event; PE pe; { switch (event) { case ASR: return(a1_15(pe)); case APQ: a1_100(pe); return(OK); /* NOTREACHED */ case AUQ: a1_101(pe); return(OK); /* NOTREACHED */ case PAB: a1_100(pe); return(OK); /* NOTREACHED */ case VTAB: a1_103(pe); return(OK); /* NOTREACHED */ case VUABreq: a1_102(pe); return(OK); /* NOTREACHED */ default: undefined ("02B", event); /* NOTREACHED */ } } int s1_02S(event, pe) int event; PE pe; { switch (event) { case ASR: return(a1_16(pe)); case APQ: a1_100(pe); return(OK); /* NOTREACHED */ case AUQ: a1_101(pe); return(OK); /* NOTREACHED */ case PAB: a1_100(pe); return(OK); /* NOTREACHED */ case VTAB: a1_103(pe); return(OK); /* NOTREACHED */ case VUABreq: a1_102(pe); return(OK); /* NOTREACHED */ default: undefined ("02S", event); /* NOTREACHED */ } } int s1_03B(event, pe) int event; PE pe; { switch (event) { case VASSrsp: return(a1_3(pe)); case APQ: a1_100(pe); return(OK); /* NOTREACHED */ case AUQ: a1_101(pe); return(OK); /* NOTREACHED */ case PAB: a1_100(pe); return(OK); /* NOTREACHED */ case VTAB: a1_103(pe); return(OK); /* NOTREACHED */ case VUABreq: a1_102(pe); return(OK); /* NOTREACHED */ default: undefined ("03B", event); /* NOTREACHED */ } } int s1_03S(event, pe) int event; PE pe; { switch (event) { case VASSrsp: return(a1_4(pe)); case APQ: a1_100(pe); return(OK); /* NOTREACHED */ case AUQ: a1_101(pe); return(OK); /* NOTREACHED */ case PAB: a1_100(pe); return(OK); /* NOTREACHED */ case VTAB: a1_103(pe); return(OK); /* NOTREACHED */ case VUABreq: a1_102(pe); return(OK); /* NOTREACHED */ default: undefined ("03S", event); /* NOTREACHED */ } } int s1_10B(event, pe) int event; PE pe; { switch (event) { case GTQ: return(a1_107(pe)); case RLQ: return(a1_25(pe)); case RTQ: return(a1_5(pe)); case VRELreq: return(a1_7(pe)); case SNQ: return(a1_29(pe)); case SPQ: return(a1_30(pe)); case VSNEGreq: return(a1_11(pe)); case VSWPreq: return(a1_13(pe)); case APQ: a1_100(pe); return(OK); /* NOTREACHED */ case AUQ: a1_101(pe); return(OK); /* NOTREACHED */ case PAB: a1_100(pe); return(OK); /* NOTREACHED */ case VTAB: a1_103(pe); return(OK); /* NOTREACHED */ case VUABreq: a1_102(pe); return(OK); /* NOTREACHED */ default: undefined ("10B", event); /* NOTREACHED */ } } int s1_10N(event, pe) int event; PE pe; { switch (event) { case GTQ: return(a1_19(pe)); case RLQ: return(a1_26(pe)); case SNQ: return(a1_28(pe)); case SPQ: return(a1_30(pe)); case VRQTreq: return(a1_10(pe)); case APQ: a1_100(pe); return(OK); /* NOTREACHED */ case AUQ: a1_101(pe); return(OK); /* NOTREACHED */ case PAB: a1_100(pe); return(OK); /* NOTREACHED */ case VTAB: a1_103(pe); return(OK); /* NOTREACHED */ case VUABreq: a1_102(pe); return(OK); /* NOTREACHED */ default: undefined ("10N", event); /* NOTREACHED */ } } int s1_10T(event, pe) int event; PE pe; { switch (event) { case RTQ: return(a1_27(pe)); case VGVTreq: return(a1_6(pe)); case VRELreq: return(a1_8(pe)); case VRQTreq: return(a1_19(pe)); case VSNEGreq: return(a1_12(pe)); case VSWPreq: return(a1_14(pe)); case APQ: a1_100(pe); return(OK); /* NOTREACHED */ case AUQ: a1_101(pe); return(OK); /* NOTREACHED */ case PAB: a1_100(pe); return(OK); /* NOTREACHED */ case VTAB: a1_103(pe); return(OK); /* NOTREACHED */ case VUABreq: a1_102(pe); return(OK); /* NOTREACHED */ default: undefined ("10T", event); /* NOTREACHED */ } } int s1_50B(event, pe) int event; PE pe; { switch (event) { case DLQ: return(a1_21(pe)); case GTQ: return(a1_7(pe)); case NDQ_ntr: return(a1_0(pe)); case NDQ_tr: return(a1_1(pe)); case RLQ: return(a1_22(pe)); case SNQ: return(a1_23(pe)); case SPQ: return(a1_24(pe)); case UDQ: return(a1_18(pe)); case APQ: a1_100(pe); return(OK); /* NOTREACHED */ case AUQ: a1_101(pe); return(OK); /* NOTREACHED */ case PAB: a1_100(pe); return(OK); /* NOTREACHED */ case VTAB: a1_103(pe); return(OK); /* NOTREACHED */ case VUABreq: a1_102(pe); return(OK); /* NOTREACHED */ default: undefined ("50B", event); /* NOTREACHED */ } } int s1_51Q(event, pe) int event; PE pe; { switch (event) { case DLQ: return(a1_21(pe)); case NDQ_ntr: return(a1_0(pe)); case NDQ_tr: return(a1_1(pe)); case RLR: return(a1_20(pe)); case RTQ: return(a1_107(pe)); case APQ: a1_100(pe); return(OK); /* NOTREACHED */ case AUQ: a1_101(pe); return(OK); /* NOTREACHED */ case PAB: a1_100(pe); return(OK); /* NOTREACHED */ case VTAB: a1_103(pe); return(OK); /* NOTREACHED */ case VUABreq: a1_102(pe); return(OK); /* NOTREACHED */ default: undefined ("51Q", event); /* NOTREACHED */ } } int s1_51R(event, pe) int event; PE pe; { switch (event) { case VRELrsp: return(a1_9(pe)); case APQ: a1_100(pe); return(OK); /* NOTREACHED */ case AUQ: a1_101(pe); return(OK); /* NOTREACHED */ case PAB: a1_100(pe); return(OK); /* NOTREACHED */ case VTAB: a1_103(pe); return(OK); /* NOTREACHED */ case VUABreq: a1_102(pe); return(OK); /* NOTREACHED */ default: undefined ("51R", event); /* NOTREACHED */ } } int s1_51N(event, pe) int event; PE pe; { switch (event) { case VRELrsp: return(a1_9(pe)); case APQ: a1_100(pe); return(OK); /* NOTREACHED */ case AUQ: a1_101(pe); return(OK); /* NOTREACHED */ case PAB: a1_100(pe); return(OK); /* NOTREACHED */ case VTAB: a1_103(pe); return(OK); /* NOTREACHED */ case VUABreq: a1_102(pe); return(OK); /* NOTREACHED */ default: undefined ("51N", event); /* NOTREACHED */ } } int s1_51T(event, pe) int event; PE pe; { switch (event) { case RLR: return(a1_20(pe)); case RTQ: return(a1_0(pe)); case UDQ: return(a1_18(pe)); case APQ: a1_100(pe); return(OK); /* NOTREACHED */ case AUQ: a1_101(pe); return(OK); /* NOTREACHED */ case PAB: a1_100(pe); return(OK); /* NOTREACHED */ case VTAB: a1_103(pe); return(OK); /* NOTREACHED */ case VUABreq: a1_102(pe); return(OK); /* NOTREACHED */ default: undefined ("51T", event); /* NOTREACHED */ } }