sC++
active class S {
public:
m () { ... }
private:
@S () { // pseudo-constructor
select {
01 -> m(); // external call
instructions ...
||
accept m; // accept internal method
instructions ...
||
waituntil (date); // time-out
instructions ...
||
default // default
instructions ...
}
}
};
slide: Synchronization conditions in sC++