File: exBE.signalling

package info (click to toggle)
msc-generator 8.6.4-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 180,484 kB
  • sloc: cpp: 129,931; yacc: 23,655; ansic: 7,464; sh: 5,026; makefile: 948
file content (16 lines) | stat: -rw-r--r-- 345 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
##Procedures with default value
##procedure replay defproc default value
defproc threeway($e1, $e2, $note="")
{
    $e1->$e2: SYN;
    if $note then {
        $e1<-*$e2: SYNACK;
        note [label=$note];
    } else {
        $e1<-$e2: SYNACK;
        $e1->$e2: ACK;
    };
};

replay threeway(a, b);
replay threeway(b, c, "Lost, so we fail.");