207
|
1 |
digraph G
|
|
2 |
{
|
|
3 |
edge [fontname="FreeSans.ttf",fontsize=10,labelfontname="FreeSans.ttf",labelfontsize=10];
|
|
4 |
node [fontname="FreeSans.ttf",fontsize=10,shape=record];
|
|
5 |
rankdir=LR;
|
|
6 |
Node1 [label="canClose",height=0.2,width=0.4,color="black", fillcolor="grey75", style="filled" fontcolor="black"];
|
|
7 |
Node1 -> Node2 [color="midnightblue",fontsize=10,style="solid"];
|
|
8 |
Node2 [label="canClose",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$unix_8c.html#02957f72a9b951603adb98a142bd447b"];
|
|
9 |
Node1 -> Node3 [color="midnightblue",fontsize=10,style="solid"];
|
|
10 |
Node3 [label="EnterMutex",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$timers__unix_8c.html#d7fee43b8a44cf8b7036853593044037"];
|
|
11 |
Node1 -> Node4 [color="midnightblue",fontsize=10,style="solid"];
|
|
12 |
Node4 [label="LeaveMutex",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$timers__unix_8c.html#73d9a4eb941fb20cf6b597840510394b"];
|
|
13 |
Node1 -> Node5 [color="midnightblue",fontsize=10,style="solid"];
|
|
14 |
Node5 [label="WaitReceiveTaskEnd",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$timers__unix_8c.html#4b2486891ee01e06e2deead4cf963727"];
|
|
15 |
}
|