ForkJoinSystem: obj
%requires LIB.BasicSystem
%include BasicSystem,LIB.StringLib
%Public
ForkJoinSystem: BasicSystem
%Public
ForkJoin:
Q: obj ProcessQueue
M: obj Lock
%Public
run:
in P: ref BasicProcess
AwaitTermination:
loop: obj
P: ref BasicProcess
continue: var Boolean