134
protected virtual void log_do(string msg) { throw new NotImplementedException(); }
1
using System;
2
using System.Collections.Generic;
3
4
/*****************************************
5
6
#ReturnVsContinue
7
8
-interface-
9
10
_return @(|return|)
11
_continue @(|continue|)
12
13
-machine-
14
15
$Child => $Parent
16
|return| log("saw return in $Child") ^
17
|continue| log("saw continue in $Child") :>
18
19
$Parent
20
|return| log("saw return in $Parent") ^
21
|continue| log("saw continue in $Parent") :>
22
23
-actions-
24
Cached Result