Return to test.trans CVS log

Up to [CSRG BSD Unix] / 43BSDReno / sys / netiso / xebec

Annotation of 43BSDReno/sys/netiso/xebec/test.trans, revision 1.1.1.1

1.1       root        1: /* $Header: test.trans,v 0.2 88/09/19 12:58:29 nhall Exp $
                      2:  */
                      3: *PROTOCOL test
                      4: 
                      5: *INCLUDE
                      6: 
                      7: {
                      8: #include "test_def.h"
                      9: }
                     10: 
                     11: *PCB    test_pcbstruct         SYNONYM  P
                     12: 
                     13: *STATES
                     14: 
                     15: STATE_A
                     16: STATE_B
                     17: STATE_C
                     18: ALL_STATES = [STATE_A, STATE_B, STATE_C]
                     19: 
                     20: *EVENTS                { int ev_all; }                 SYNONYM  E
                     21: 
                     22: EV_1   { char *ev1_char; }
                     23: EV_2   { int   ev2_int; char ev2_char; }
                     24: EV_3
                     25: EV_4           { struct blah   *ev4_blahptr; 
                     26:                          unsigned int  ev4_uint;
                     27:                          int                   ev4_int; 
                     28:                        }
                     29: 
                     30: *TRANSITIONS
                     31: 
                     32: SAME                   <==                     [ STATE_A, STATE_B ] [ EV_1, EV_2, EV_3 ]
                     33:        ( $E.ev_all > 0 )
                     34:        {
                     35:                if( $P.test_state == STATE_A )
                     36:                        printf("state is STATE_A\n"); 
                     37:                else
                     38:                        printf("state is STATE_B\n"); 
                     39:                printf("action first transition\n"); 
                     40:        }
                     41: 
                     42: ;
                     43: STATE_C                        <==                     [ STATE_A, STATE_B ] [ EV_1, EV_2, EV_3 ]
                     44:        DEFAULT
                     45:        {
                     46:                printf("default - transition 2\n");
                     47:                MACRO1( $P.test_pcbfield );
                     48:        }
                     49: ;
                     50: 
                     51: STATE_C                        <==                     [ STATE_A, STATE_B ]    EV_4
                     52:        ( $$.ev4_blahptr->blahfield & 0x1 )
                     53:        NULLACTION
                     54: ;
                     55: 
                     56: STATE_C                        <==                      ALL_STATES     EV_4
                     57:        DEFAULT
                     58:        {
                     59:                printf("default - transition 4\n");
                     60:                printf("pcb is 0x%x, event is 0x%x \n", $P, $E);
                     61:                printf("ev4 values are : blahptr 0x%x uint 0x%x int 0x%x\n",
                     62:                        $$.ev4_blahptr, $$.ev4_uint, $$.ev4_int);
                     63:        }
                     64: ;

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.