flight.pr 1.37 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
29
30
31
32
33
34
35
/* CIF PROCESS (250, 150), (150, 75) */
process flight;
    /* CIF TEXT (616, 307), (270, 133) */
    -- Text area for declarations and comments
    
    dcl val Seq_With_Optional;
    /* CIF ENDTEXT */
    /* CIF START (950, 108), (70, 35) */
    START;
        /* CIF NEXTSTATE (950, 158), (70, 35) */
        NEXTSTATE Wait;
    /* CIF state (950, 158), (70, 35) */
    state Wait;
        /* CIF input (950, 213), (70, 35) */
        input go(val);
            /* CIF PROCEDURECALL (900, 268), (169, 35) */
            call writeln('b: ', exist(val.b));
            /* CIF PROCEDURECALL (898, 323), (173, 35) */
            call writeln('c: ', exist(val.c));
            /* CIF PROCEDURECALL (896, 373), (177, 35) */
            call writeln('d: ', exist(val.d));
            /* CIF PROCEDURECALL (897, 423), (175, 35) */
            call writeln('e: ', exist(val.e));
            /* CIF PROCEDURECALL (881, 478), (207, 35) */
            call writeln('f.bar: ', exist(val.f.bar));
            /* CIF PROCEDURECALL (855, 533), (259, 35) */
            call writeln('g.huhu: ', exist(val.g.huhu));
            /* CIF PROCEDURECALL (900, 583), (169, 35) */
            call writeln('ii: ', exist(val.ii));
            /* CIF output (945, 633), (80, 35) */
            output gone(val);
            /* CIF NEXTSTATE (950, 688), (70, 35) */
            NEXTSTATE -;
    endstate;
endprocess flight;