og.pr 1.41 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
SYSTEM og;
    /* CIF TEXT (159, 221), (289, 188) */
    -- Text area for declarations and comments

use dv comment 'dataview.asn';

signal run;

signal we;
    /* CIF ENDTEXT */
    CHANNEL c
        FROM ENV TO og WITH run;
        FROM og TO ENV WITH we;
    ENDCHANNEL;
    BLOCK og;
        SIGNALROUTE r
            FROM ENV TO og WITH run;
            FROM og TO ENV WITH we;
        CONNECT c AND r;
        /* CIF PROCESS (225, 50), (150, 75) */
        PROCESS og;
            /* CIF TEXT (150, 75), (396, 136) */
            dcl s1 Seq := { a TRUE };

dcl s2 Seq;
            /* CIF ENDTEXT */
            /* CIF START (97, 224), (70, 35) */
            START;
29
                /* CIF TASK (67, 274), (130, 35) */
30
                TASK s2 := { a FALSE};
31
                /* CIF TASK (75, 324), (114, 35) */
32
                TASK s2!a := TRUE;
33
34
35
36
37
                /* CIF TASK (62, 374), (139, 35) */
                TASK s2!b!b_c := TRUE;
                /* CIF TASK (52, 424), (159, 35) */
                TASK s2 :={ b { b_c TRUE }};
                /* CIF NEXTSTATE (97, 474), (70, 35) */
38
                NEXTSTATE wait;
39
            /* CIF STATE (97, 474), (70, 35) */
40
            STATE wait;
41
                /* CIF INPUT (89, 529), (84, 35) */
42
                INPUT run;
43
                    /* CIF NEXTSTATE (87, 579), (88, 35) */
44
45
46
47
48
                    NEXTSTATE wait;
            ENDSTATE;
        ENDPROCESS og;
    ENDBLOCK;
ENDSYSTEM;