![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to states1.c CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [CSRG BSD Unix] / 43BSDReno / contrib / isode-beta / vt|
Return to states1.c CVS log | Up to [CSRG BSD Unix] / 43BSDReno / contrib / isode-beta / vt |
1.1 root 1: /* states1.c - VTPM: FSM sector 1 states */
2:
3: #ifndef lint
4: static char *rcsid = "$Header: /f/osi/vt/RCS/states1.c,v 7.0 89/11/23 22:31:46 mrose Rel $";
5: #endif
6:
7: /*
8: * $Header: /f/osi/vt/RCS/states1.c,v 7.0 89/11/23 22:31:46 mrose Rel $
9: *
10: *
11: * $Log: states1.c,v $
12: * Revision 7.0 89/11/23 22:31:46 mrose
13: * Release 6.0
14: *
15: */
16:
17: /*
18: * NOTICE
19: *
20: * Acquisition, use, and distribution of this module and related
21: * materials are subject to the restrictions of a license agreement.
22: * Consult the Preface in the User's Manual for the full terms of
23: * this agreement.
24: *
25: */
26:
27:
28: #include "vtpm.h"
29:
30: #define undefined(s1,e1) \
31: adios (NULLCP, \
32: "undefined state/event: sector is 1, state is %s, event is %d", \
33: s1, e1)
34:
35: int
36: s1_01(event, pe) /* sector 1, state 01 */
37: int event;
38: PE pe;
39: {
40: switch (event) {
41: case ASQ:
42: return(a1_17(pe));
43: case VASSreq:
44: return(a1_2(pe));
45: case APQ:
46: return(a1_107(pe));
47: case AUQ:
48: return(a1_107(pe));
49: case PAB:
50: return(a1_107(pe));
51: case VTAB:
52: return(a1_107(pe));
53: case VUABreq:
54: return(a1_107(pe));
55: default:
56: undefined ("01", event); /* NOTREACHED */
57: }
58: }
59:
60: int
61: s1_02B(event, pe)
62: int event;
63: PE pe;
64: {
65: switch (event) {
66: case ASR:
67: return(a1_15(pe));
68: case APQ:
69: a1_100(pe);
70: return(OK); /* NOTREACHED */
71: case AUQ:
72: a1_101(pe);
73: return(OK); /* NOTREACHED */
74: case PAB:
75: a1_100(pe);
76: return(OK); /* NOTREACHED */
77: case VTAB:
78: a1_103(pe);
79: return(OK); /* NOTREACHED */
80: case VUABreq:
81: a1_102(pe);
82: return(OK); /* NOTREACHED */
83: default:
84: undefined ("02B", event); /* NOTREACHED */
85: }
86: }
87:
88: int
89: s1_02S(event, pe)
90: int event;
91: PE pe;
92: {
93: switch (event) {
94: case ASR:
95: return(a1_16(pe));
96: case APQ:
97: a1_100(pe);
98: return(OK); /* NOTREACHED */
99: case AUQ:
100: a1_101(pe);
101: return(OK); /* NOTREACHED */
102: case PAB:
103: a1_100(pe);
104: return(OK); /* NOTREACHED */
105: case VTAB:
106: a1_103(pe);
107: return(OK); /* NOTREACHED */
108: case VUABreq:
109: a1_102(pe);
110: return(OK); /* NOTREACHED */
111: default:
112: undefined ("02S", event); /* NOTREACHED */
113: }
114: }
115:
116: int
117: s1_03B(event, pe)
118: int event;
119: PE pe;
120: {
121: switch (event) {
122: case VASSrsp:
123: return(a1_3(pe));
124: case APQ:
125: a1_100(pe);
126: return(OK); /* NOTREACHED */
127: case AUQ:
128: a1_101(pe);
129: return(OK); /* NOTREACHED */
130: case PAB:
131: a1_100(pe);
132: return(OK); /* NOTREACHED */
133: case VTAB:
134: a1_103(pe);
135: return(OK); /* NOTREACHED */
136: case VUABreq:
137: a1_102(pe);
138: return(OK); /* NOTREACHED */
139: default:
140: undefined ("03B", event); /* NOTREACHED */
141: }
142: }
143:
144: int
145: s1_03S(event, pe)
146: int event;
147: PE pe;
148: {
149: switch (event) {
150: case VASSrsp:
151: return(a1_4(pe));
152: case APQ:
153: a1_100(pe);
154: return(OK); /* NOTREACHED */
155: case AUQ:
156: a1_101(pe);
157: return(OK); /* NOTREACHED */
158: case PAB:
159: a1_100(pe);
160: return(OK); /* NOTREACHED */
161: case VTAB:
162: a1_103(pe);
163: return(OK); /* NOTREACHED */
164: case VUABreq:
165: a1_102(pe);
166: return(OK); /* NOTREACHED */
167: default:
168: undefined ("03S", event); /* NOTREACHED */
169: }
170: }
171:
172: int
173: s1_10B(event, pe)
174: int event;
175: PE pe;
176: {
177: switch (event) {
178: case GTQ:
179: return(a1_107(pe));
180: case RLQ:
181: return(a1_25(pe));
182: case RTQ:
183: return(a1_5(pe));
184: case VRELreq:
185: return(a1_7(pe));
186: case SNQ:
187: return(a1_29(pe));
188: case SPQ:
189: return(a1_30(pe));
190: case VSNEGreq:
191: return(a1_11(pe));
192: case VSWPreq:
193: return(a1_13(pe));
194: case APQ:
195: a1_100(pe);
196: return(OK); /* NOTREACHED */
197: case AUQ:
198: a1_101(pe);
199: return(OK); /* NOTREACHED */
200: case PAB:
201: a1_100(pe);
202: return(OK); /* NOTREACHED */
203: case VTAB:
204: a1_103(pe);
205: return(OK); /* NOTREACHED */
206: case VUABreq:
207: a1_102(pe);
208: return(OK); /* NOTREACHED */
209: default:
210: undefined ("10B", event); /* NOTREACHED */
211: }
212: }
213:
214: int
215: s1_10N(event, pe)
216: int event;
217: PE pe;
218: {
219: switch (event) {
220: case GTQ:
221: return(a1_19(pe));
222: case RLQ:
223: return(a1_26(pe));
224: case SNQ:
225: return(a1_28(pe));
226: case SPQ:
227: return(a1_30(pe));
228: case VRQTreq:
229: return(a1_10(pe));
230: case APQ:
231: a1_100(pe);
232: return(OK); /* NOTREACHED */
233: case AUQ:
234: a1_101(pe);
235: return(OK); /* NOTREACHED */
236: case PAB:
237: a1_100(pe);
238: return(OK); /* NOTREACHED */
239: case VTAB:
240: a1_103(pe);
241: return(OK); /* NOTREACHED */
242: case VUABreq:
243: a1_102(pe);
244: return(OK); /* NOTREACHED */
245: default:
246: undefined ("10N", event); /* NOTREACHED */
247: }
248: }
249:
250: int
251: s1_10T(event, pe)
252: int event;
253: PE pe;
254: {
255: switch (event) {
256: case RTQ:
257: return(a1_27(pe));
258: case VGVTreq:
259: return(a1_6(pe));
260: case VRELreq:
261: return(a1_8(pe));
262: case VRQTreq:
263: return(a1_19(pe));
264: case VSNEGreq:
265: return(a1_12(pe));
266: case VSWPreq:
267: return(a1_14(pe));
268: case APQ:
269: a1_100(pe);
270: return(OK); /* NOTREACHED */
271: case AUQ:
272: a1_101(pe);
273: return(OK); /* NOTREACHED */
274: case PAB:
275: a1_100(pe);
276: return(OK); /* NOTREACHED */
277: case VTAB:
278: a1_103(pe);
279: return(OK); /* NOTREACHED */
280: case VUABreq:
281: a1_102(pe);
282: return(OK); /* NOTREACHED */
283: default:
284: undefined ("10T", event); /* NOTREACHED */
285: }
286: }
287:
288: int
289: s1_50B(event, pe)
290: int event;
291: PE pe;
292: {
293: switch (event) {
294: case DLQ:
295: return(a1_21(pe));
296: case GTQ:
297: return(a1_7(pe));
298: case NDQ_ntr:
299: return(a1_0(pe));
300: case NDQ_tr:
301: return(a1_1(pe));
302: case RLQ:
303: return(a1_22(pe));
304: case SNQ:
305: return(a1_23(pe));
306: case SPQ:
307: return(a1_24(pe));
308: case UDQ:
309: return(a1_18(pe));
310: case APQ:
311: a1_100(pe);
312: return(OK); /* NOTREACHED */
313: case AUQ:
314: a1_101(pe);
315: return(OK); /* NOTREACHED */
316: case PAB:
317: a1_100(pe);
318: return(OK); /* NOTREACHED */
319: case VTAB:
320: a1_103(pe);
321: return(OK); /* NOTREACHED */
322: case VUABreq:
323: a1_102(pe);
324: return(OK); /* NOTREACHED */
325: default:
326: undefined ("50B", event); /* NOTREACHED */
327: }
328: }
329:
330:
331: int
332: s1_51Q(event, pe)
333: int event;
334: PE pe;
335: {
336: switch (event) {
337: case DLQ:
338: return(a1_21(pe));
339: case NDQ_ntr:
340: return(a1_0(pe));
341: case NDQ_tr:
342: return(a1_1(pe));
343: case RLR:
344: return(a1_20(pe));
345: case RTQ:
346: return(a1_107(pe));
347: case APQ:
348: a1_100(pe);
349: return(OK); /* NOTREACHED */
350: case AUQ:
351: a1_101(pe);
352: return(OK); /* NOTREACHED */
353: case PAB:
354: a1_100(pe);
355: return(OK); /* NOTREACHED */
356: case VTAB:
357: a1_103(pe);
358: return(OK); /* NOTREACHED */
359: case VUABreq:
360: a1_102(pe);
361: return(OK); /* NOTREACHED */
362: default:
363: undefined ("51Q", event); /* NOTREACHED */
364: }
365: }
366:
367: int
368: s1_51R(event, pe)
369: int event;
370: PE pe;
371: {
372: switch (event) {
373: case VRELrsp:
374: return(a1_9(pe));
375: case APQ:
376: a1_100(pe);
377: return(OK); /* NOTREACHED */
378: case AUQ:
379: a1_101(pe);
380: return(OK); /* NOTREACHED */
381: case PAB:
382: a1_100(pe);
383: return(OK); /* NOTREACHED */
384: case VTAB:
385: a1_103(pe);
386: return(OK); /* NOTREACHED */
387: case VUABreq:
388: a1_102(pe);
389: return(OK); /* NOTREACHED */
390: default:
391: undefined ("51R", event); /* NOTREACHED */
392: }
393: }
394:
395: int
396: s1_51N(event, pe)
397: int event;
398: PE pe;
399: {
400: switch (event) {
401: case VRELrsp:
402: return(a1_9(pe));
403: case APQ:
404: a1_100(pe);
405: return(OK); /* NOTREACHED */
406: case AUQ:
407: a1_101(pe);
408: return(OK); /* NOTREACHED */
409: case PAB:
410: a1_100(pe);
411: return(OK); /* NOTREACHED */
412: case VTAB:
413: a1_103(pe);
414: return(OK); /* NOTREACHED */
415: case VUABreq:
416: a1_102(pe);
417: return(OK); /* NOTREACHED */
418: default:
419: undefined ("51N", event); /* NOTREACHED */
420: }
421: }
422:
423: int
424: s1_51T(event, pe)
425: int event;
426: PE pe;
427: {
428: switch (event) {
429: case RLR:
430: return(a1_20(pe));
431: case RTQ:
432: return(a1_0(pe));
433: case UDQ:
434: return(a1_18(pe));
435: case APQ:
436: a1_100(pe);
437: return(OK); /* NOTREACHED */
438: case AUQ:
439: a1_101(pe);
440: return(OK); /* NOTREACHED */
441: case PAB:
442: a1_100(pe);
443: return(OK); /* NOTREACHED */
444: case VTAB:
445: a1_103(pe);
446: return(OK); /* NOTREACHED */
447: case VUABreq:
448: a1_102(pe);
449: return(OK); /* NOTREACHED */
450: default:
451: undefined ("51T", event); /* NOTREACHED */
452: }
453: }
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.