DefaultHandlerWrapper
""
syncing_before,syncing_after
http://gruppe.wst.univie.ac.at/~mangler/services/timeout.php
http://gruppe.wst.univie.ac.at/~mangler/services/timeout-sync.php
post
2
data.x += "a1,"
post
10
data.x += "a2,"
post
4
data.x += "a3,"
2
1
activity :
, :call, :
, :manipulate
parallel
:wait =>
do
1
end
loop
pre_test{
}
post_test{
}
do
1
end
choose do
1
end
critical :
do
1
end
1
alternative
do
1
end
1
otherwise do
1
end
1
parallel_branch
do
|
|
1
end
, :
=>
[
]
"
"
{ :
=>
}
,
do
|
|
1
end