| <?xml version="1.0" encoding="UTF-8" standalone="no"?> |
| <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" |
| "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"> |
| <!-- Generated by graphviz version 14.1.5 (20260411.2331) |
| --> |
| <!-- Title: G_workgroup Pages: 1 --> |
| <svg width="1372pt" height="317pt" |
| viewBox="0.00 0.00 1372.00 317.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> |
| <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 312.5)"> |
| <title>G_workgroup</title> |
| <polygon fill="white" stroke="none" points="-4,4 -4,-312.5 1368,-312.5 1368,4 -4,4"/> |
| <g id="clust1" class="cluster"> |
| <title>cluster_main</title> |
| <polygon fill="none" stroke="black" points="8,-8 8,-300.5 1356,-300.5 1356,-8 8,-8"/> |
| <text xml:space="preserve" text-anchor="middle" x="682" y="-15.2" font-family="Times,serif" font-size="14.00">main</text> |
| </g> |
| <!-- main.RequiredToBeUniform_Error --> |
| <g id="node1" class="node"> |
| <title>main.RequiredToBeUniform_Error</title> |
| <ellipse fill="none" stroke="black" cx="159" cy="-58.5" rx="142.97" ry="18"/> |
| <text xml:space="preserve" text-anchor="middle" x="159" y="-53.45" font-family="Times,serif" font-size="14.00">main.RequiredToBeUniform_Error</text> |
| </g> |
| <!-- main.RequiredToBeUniform_Warning --> |
| <g id="node2" class="node"> |
| <title>main.RequiredToBeUniform_Warning</title> |
| <ellipse fill="none" stroke="black" cx="476" cy="-58.5" rx="155.76" ry="18"/> |
| <text xml:space="preserve" text-anchor="middle" x="476" y="-53.45" font-family="Times,serif" font-size="14.00">main.RequiredToBeUniform_Warning</text> |
| </g> |
| <!-- main.RequiredToBeUniform_Info --> |
| <g id="node3" class="node"> |
| <title>main.RequiredToBeUniform_Info</title> |
| <ellipse fill="none" stroke="black" cx="789" cy="-58.5" rx="138.87" ry="18"/> |
| <text xml:space="preserve" text-anchor="middle" x="789" y="-53.45" font-family="Times,serif" font-size="14.00">main.RequiredToBeUniform_Info</text> |
| </g> |
| <!-- main.MayBeNonUniform --> |
| <g id="node4" class="node"> |
| <title>main.MayBeNonUniform</title> |
| <ellipse fill="none" stroke="black" cx="1240" cy="-274.5" rx="108.16" ry="18"/> |
| <text xml:space="preserve" text-anchor="middle" x="1240" y="-269.45" font-family="Times,serif" font-size="14.00">main.MayBeNonUniform</text> |
| </g> |
| <!-- main.CF_start --> |
| <g id="node5" class="node"> |
| <title>main.CF_start</title> |
| <ellipse fill="none" stroke="black" cx="1054" cy="-202.5" rx="64.15" ry="18"/> |
| <text xml:space="preserve" text-anchor="middle" x="1054" y="-197.45" font-family="Times,serif" font-size="14.00">main.CF_start</text> |
| </g> |
| <!-- main.param_local_id --> |
| <g id="node6" class="node"> |
| <title>main.param_local_id</title> |
| <ellipse fill="none" stroke="black" cx="1036" cy="-58.5" rx="90.25" ry="18"/> |
| <text xml:space="preserve" text-anchor="middle" x="1036" y="-53.45" font-family="Times,serif" font-size="14.00">main.param_local_id</text> |
| </g> |
| <!-- main.local_id_ident_expr --> |
| <g id="node7" class="node"> |
| <title>main.local_id_ident_expr</title> |
| <ellipse fill="none" stroke="black" cx="1242" cy="-202.5" rx="106.11" ry="18"/> |
| <text xml:space="preserve" text-anchor="middle" x="1242" y="-197.45" font-family="Times,serif" font-size="14.00">main.local_id_ident_expr</text> |
| </g> |
| <!-- main.local_id_ident_expr->main.MayBeNonUniform --> |
| <g id="edge1" class="edge"> |
| <title>main.local_id_ident_expr->main.MayBeNonUniform</title> |
| <path fill="none" stroke="black" d="M1241.51,-220.8C1241.3,-228.09 1241.05,-236.77 1240.82,-244.96"/> |
| <polygon fill="black" stroke="black" points="1237.32,-244.79 1240.53,-254.88 1244.32,-244.99 1237.32,-244.79"/> |
| </g> |
| <!-- main.u_ident_expr --> |
| <g id="node8" class="node"> |
| <title>main.u_ident_expr</title> |
| <ellipse fill="none" stroke="black" cx="1058" cy="-130.5" rx="81.04" ry="18"/> |
| <text xml:space="preserve" text-anchor="middle" x="1058" y="-125.45" font-family="Times,serif" font-size="14.00">main.u_ident_expr</text> |
| </g> |
| <!-- main.u_ident_expr->main.CF_start --> |
| <g id="edge2" class="edge"> |
| <title>main.u_ident_expr->main.CF_start</title> |
| <path fill="none" stroke="black" d="M1057.01,-148.8C1056.59,-156.09 1056.1,-164.77 1055.63,-172.96"/> |
| <polygon fill="black" stroke="black" points="1052.14,-172.7 1055.06,-182.88 1059.13,-173.1 1052.14,-172.7"/> |
| </g> |
| <!-- main.n_ident_expr --> |
| <g id="node9" class="node"> |
| <title>main.n_ident_expr</title> |
| <ellipse fill="none" stroke="black" cx="1242" cy="-130.5" rx="81.04" ry="18"/> |
| <text xml:space="preserve" text-anchor="middle" x="1242" y="-125.45" font-family="Times,serif" font-size="14.00">main.n_ident_expr</text> |
| </g> |
| <!-- main.n_ident_expr->main.CF_start --> |
| <g id="edge3" class="edge"> |
| <title>main.n_ident_expr->main.CF_start</title> |
| <path fill="none" stroke="black" d="M1201.67,-146.52C1172.43,-157.41 1132.76,-172.17 1101.9,-183.66"/> |
| <polygon fill="black" stroke="black" points="1100.96,-180.28 1092.81,-187.05 1103.4,-186.84 1100.96,-180.28"/> |
| </g> |
| <!-- main.n_ident_expr->main.local_id_ident_expr --> |
| <g id="edge4" class="edge"> |
| <title>main.n_ident_expr->main.local_id_ident_expr</title> |
| <path fill="none" stroke="black" d="M1242,-148.8C1242,-156.09 1242,-164.77 1242,-172.96"/> |
| <polygon fill="black" stroke="black" points="1238.5,-172.88 1242,-182.88 1245.5,-172.88 1238.5,-172.88"/> |
| </g> |
| <!-- main.binary_expr_result --> |
| <g id="node10" class="node"> |
| <title>main.binary_expr_result</title> |
| <ellipse fill="none" stroke="black" cx="1246" cy="-58.5" rx="102.02" ry="18"/> |
| <text xml:space="preserve" text-anchor="middle" x="1246" y="-53.45" font-family="Times,serif" font-size="14.00">main.binary_expr_result</text> |
| </g> |
| <!-- main.binary_expr_result->main.u_ident_expr --> |
| <g id="edge5" class="edge"> |
| <title>main.binary_expr_result->main.u_ident_expr</title> |
| <path fill="none" stroke="black" d="M1203.81,-75.21C1175.75,-85.66 1138.74,-99.44 1109.02,-110.5"/> |
| <polygon fill="black" stroke="black" points="1108.01,-107.15 1099.86,-113.92 1110.45,-113.71 1108.01,-107.15"/> |
| </g> |
| <!-- main.binary_expr_result->main.n_ident_expr --> |
| <g id="edge6" class="edge"> |
| <title>main.binary_expr_result->main.n_ident_expr</title> |
| <path fill="none" stroke="black" d="M1245.01,-76.8C1244.59,-84.09 1244.1,-92.77 1243.63,-100.96"/> |
| <polygon fill="black" stroke="black" points="1240.14,-100.7 1243.06,-110.88 1247.13,-101.1 1240.14,-100.7"/> |
| </g> |
| </g> |
| </svg> |
