2025-11-06 09:16:40 -05:00
<?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 13.0.1 (20250615.1724)
-->
<!-- Title: src/python/exceptions/bindings.cpp Pages: 1 -->
2025-11-24 09:08:28 -05:00
<!-- zoomable 293 -->
2025-11-06 09:16:40 -05:00
2025-11-24 09:08:28 -05:00
<svg id= "main" version= "1.1" xmlns= "http://www.w3.org/2000/svg" xmlns:xlink= "http://www.w3.org/1999/xlink" xml:space= "preserve" onload= "init(evt)" >
2025-11-06 09:16:40 -05:00
<style type= "text/css" > < ![CDATA[
.node, .edge {opacity: 0.7;}
.node.selected, .edge.selected {opacity: 1;}
.edge:hover path { stroke: red; }
.edge:hover polygon { stroke: red; fill: red; }
]]></style>
2025-11-24 09:08:28 -05:00
<defs >
<circle id= "rim" cx= "0" cy= "0" r= "7" />
<circle id= "rim2" cx= "0" cy= "0" r= "3.5" />
<g id= "zoomPlus" >
<use xlink:href= "#rim" fill= "#404040" > <set attributeName= "fill" to= "#808080" begin= "zoomplus.mouseover" end= "zoomplus.mouseout" /> </use>
<path d= "M-4,0h8M0,-4v8" fill= "none" stroke= "white" stroke-width= "1.5" pointer-events= "none" />
</g>
<g id= "zoomMin" >
<use xlink:href= "#rim" fill= "#404040" > <set attributeName= "fill" to= "#808080" begin= "zoomminus.mouseover" end= "zoomminus.mouseout" /> </use>
<path d= "M-4,0h8" fill= "none" stroke= "white" stroke-width= "1.5" pointer-events= "none" />
</g>
<g id= "arrowUp" transform= "translate(30 24)" >
<use xlink:href= "#rim" />
<path pointer-events= "none" fill= "none" stroke= "white" stroke-width= "1.5" d= "M0,-3.0v7 M-2.5,-0.5L0,-3.0L2.5,-0.5" />
</g>
<g id= "arrowRight" transform= "rotate(90) translate(36 -43)" >
<use xlink:href= "#rim" />
<path pointer-events= "none" fill= "none" stroke= "white" stroke-width= "1.5" d= "M0,-3.0v7 M-2.5,-0.5L0,-3.0L2.5,-0.5" />
</g>
<g id= "arrowDown" transform= "rotate(180) translate(-30 -48)" >
<use xlink:href= "#rim" />
<path pointer-events= "none" fill= "none" stroke= "white" stroke-width= "1.5" d= "M0,-3.0v7 M-2.5,-0.5L0,-3.0L2.5,-0.5" />
</g>
<g id= "arrowLeft" transform= "rotate(270) translate(-36 17)" >
<use xlink:href= "#rim" />
<path pointer-events= "none" fill= "none" stroke= "white" stroke-width= "1.5" d= "M0,-3.0v7 M-2.5,-0.5L0,-3.0L2.5,-0.5" />
</g>
<g id= "resetDef" >
<use xlink:href= "#rim2" fill= "#404040" > <set attributeName= "fill" to= "#808080" begin= "reset.mouseover" end= "reset.mouseout" /> </use>
</g>
</defs>
<script type= "application/ecmascript" >
var viewWidth = 834;
var viewHeight = 293;
var sectionId = 'dynsection-0';
</script>
2025-11-06 09:16:40 -05:00
<script type= "application/ecmascript" xlink:href= "svg.min.js" />
<svg id= "graph" class= "graph" >
2025-11-24 09:08:28 -05:00
<g id= "viewport" >
2025-11-06 09:16:40 -05:00
<title > src/python/exceptions/bindings.cpp</title>
<!-- Node1 -->
<g id= "Node000001" class= "node" >
<title > Node1</title>
<g id= "a_Node000001" > <a xlink:title= " " >
2025-11-24 09:08:28 -05:00
<polygon fill= "#999999" stroke= "#666666" points= "166.62,-285.25 54.63,-285.25 54.63,-254.75 166.62,-254.75 166.62,-285.25" />
<text xml:space= "preserve" text-anchor= "start" x= "62.62" y= "-271.75" font-family= "Helvetica,sans-Serif" font-size= "10.00" > src/python/exceptions</text>
<text xml:space= "preserve" text-anchor= "middle" x= "110.62" y= "-260.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /bindings.cpp</text>
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
<!-- Node2 -->
<g id= "Node000002" class= "node" >
<title > Node2</title>
<g id= "a_Node000002" > <a xlink:title= " " >
2025-11-24 09:08:28 -05:00
<polygon fill= "#e0e0e0" stroke= "#999999" points= "105.25,-146.62 0,-146.62 0,-127.38 105.25,-127.38 105.25,-146.62" />
<text xml:space= "preserve" text-anchor= "middle" x= "52.62" y= "-133.12" font-family= "Helvetica,sans-Serif" font-size= "10.00" > pybind11/pybind11.h</text>
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
<!-- Node1->Node2 -->
<g id= "edge1_Node000001_Node000002" class= "edge" >
<title > Node1- > Node2</title>
<g id= "a_edge1_Node000001_Node000002" > <a xlink:title= " " >
2025-11-24 09:08:28 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M109.09,-254.38C106.92,-237.7 101.99,-209.95 91.62,-188.25 85.9,-176.27 76.95,-164.46 69.07,-155.3" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "71.73,-153.02 62.43,-147.94 66.53,-157.71 71.73,-153.02" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
<!-- Node3 -->
<g id= "Node000003" class= "node" >
<title > Node3</title>
<g id= "a_Node000003" > <a xlink:href= "exceptions_2bindings_8h.html" target= "_top" xlink:title= " " >
2025-11-24 09:08:28 -05:00
<polygon fill= "white" stroke= "#666666" points= "82.75,-213.12 22.5,-213.12 22.5,-193.88 82.75,-193.88 82.75,-213.12" />
<text xml:space= "preserve" text-anchor= "middle" x= "52.62" y= "-199.62" font-family= "Helvetica,sans-Serif" font-size= "10.00" > bindings.h</text>
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
<!-- Node1->Node3 -->
<g id= "edge2_Node000001_Node000003" class= "edge" >
<title > Node1- > Node3</title>
<g id= "a_edge2_Node000001_Node000003" > <a xlink:title= " " >
2025-11-24 09:08:28 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M97.46,-254.36C88.76,-244.69 77.32,-231.96 68.17,-221.79" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "70.86,-219.54 61.57,-214.45 65.65,-224.22 70.86,-219.54" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
<!-- Node4 -->
<g id= "Node000004" class= "node" >
<title > Node4</title>
<g id= "a_Node000004" > <a xlink:href= "exceptions_8h.html" target= "_top" xlink:title= " " >
2025-11-24 09:08:28 -05:00
<polygon fill= "white" stroke= "#666666" points= "484.38,-218.75 388.88,-218.75 388.88,-188.25 484.38,-188.25 484.38,-218.75" />
<text xml:space= "preserve" text-anchor= "start" x= "396.88" y= "-205.25" font-family= "Helvetica,sans-Serif" font-size= "10.00" > gridfire/exceptions</text>
<text xml:space= "preserve" text-anchor= "middle" x= "436.62" y= "-194" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /exceptions.h</text>
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
<!-- Node1->Node4 -->
<g id= "edge4_Node000001_Node000004" class= "edge" >
<title > Node1- > Node4</title>
<g id= "a_edge4_Node000001_Node000004" > <a xlink:title= " " >
2025-11-24 09:08:28 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M167.04,-257.84C225.85,-246.2 317.62,-228.05 377.44,-216.21" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "377.97,-219.67 387.1,-214.3 376.61,-212.81 377.97,-219.67" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
<!-- Node3->Node2 -->
<g id= "edge3_Node000003_Node000002" class= "edge" >
<title > Node3- > Node2</title>
<g id= "a_edge3_Node000003_Node000002" > <a xlink:title= " " >
2025-11-24 09:08:28 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M52.62,-193.53C52.62,-184.48 52.62,-170.2 52.62,-158.38" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "56.13,-158.41 52.63,-148.41 49.13,-158.41 56.13,-158.41" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
<!-- Node5 -->
<g id= "Node000005" class= "node" >
<title > Node5</title>
2025-11-24 09:08:28 -05:00
<g id= "a_Node000005" > <a xlink:href= "error__gridfire_8h.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "570.38,-85.75 474.88,-85.75 474.88,-55.25 570.38,-55.25 570.38,-85.75" />
<text xml:space= "preserve" text-anchor= "start" x= "482.88" y= "-72.25" font-family= "Helvetica,sans-Serif" font-size= "10.00" > gridfire/exceptions</text>
<text xml:space= "preserve" text-anchor= "middle" x= "522.62" y= "-61" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /error_gridfire.h</text>
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
<!-- Node4->Node5 -->
<g id= "edge5_Node000004_Node000005" class= "edge" >
<title > Node4- > Node5</title>
<g id= "a_edge5_Node000004_Node000005" > <a xlink:title= " " >
2025-11-24 09:08:28 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M446.16,-187.98C460.82,-165.65 489.05,-122.64 506.81,-95.59" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "509.66,-97.63 512.22,-87.35 503.81,-93.79 509.66,-97.63" />
</a>
</g>
</g>
<!-- Node8 -->
<g id= "Node000008" class= "node" >
<title > Node8</title>
<g id= "a_Node000008" > <a xlink:href= "error__engine_8h.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "598.38,-152.25 502.88,-152.25 502.88,-121.75 598.38,-121.75 598.38,-152.25" />
<text xml:space= "preserve" text-anchor= "start" x= "510.88" y= "-138.75" font-family= "Helvetica,sans-Serif" font-size= "10.00" > gridfire/exceptions</text>
<text xml:space= "preserve" text-anchor= "middle" x= "550.62" y= "-127.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /error_engine.h</text>
</a>
</g>
</g>
<!-- Node4->Node8 -->
<g id= "edge8_Node000004_Node000008" class= "edge" >
<title > Node4- > Node8</title>
<g id= "a_edge8_Node000004_Node000008" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M462.49,-187.86C478.09,-179.04 498.17,-167.68 515.22,-158.03" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "516.56,-161.29 523.54,-153.32 513.11,-155.2 516.56,-161.29" />
</a>
</g>
</g>
<!-- Node9 -->
<g id= "Node000009" class= "node" >
<title > Node9</title>
<g id= "a_Node000009" > <a xlink:href= "error__utils_8h.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "218.38,-152.25 122.88,-152.25 122.88,-121.75 218.38,-121.75 218.38,-152.25" />
<text xml:space= "preserve" text-anchor= "start" x= "130.88" y= "-138.75" font-family= "Helvetica,sans-Serif" font-size= "10.00" > gridfire/exceptions</text>
<text xml:space= "preserve" text-anchor= "middle" x= "170.62" y= "-127.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /error_utils.h</text>
</a>
</g>
</g>
<!-- Node4->Node9 -->
<g id= "edge10_Node000004_Node000009" class= "edge" >
<title > Node4- > Node9</title>
<g id= "a_edge10_Node000004_Node000009" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M388.45,-191.05C348.47,-181.51 289.83,-167.46 229.67,-152.74" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "230.84,-149.42 220.29,-150.44 229.17,-156.22 230.84,-149.42" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
<!-- Node10 -->
<g id= "Node000010" class= "node" >
<title > Node10</title>
2025-11-24 09:08:28 -05:00
<g id= "a_Node000010" > <a xlink:href= "error__debug_8h.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "826.38,-152.25 730.88,-152.25 730.88,-121.75 826.38,-121.75 826.38,-152.25" />
<text xml:space= "preserve" text-anchor= "start" x= "738.88" y= "-138.75" font-family= "Helvetica,sans-Serif" font-size= "10.00" > gridfire/exceptions</text>
<text xml:space= "preserve" text-anchor= "middle" x= "778.62" y= "-127.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /error_debug.h</text>
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
<!-- Node4->Node10 -->
2025-11-24 09:08:28 -05:00
<g id= "edge12_Node000004_Node000010" class= "edge" >
2025-11-06 09:16:40 -05:00
<title > Node4- > Node10</title>
2025-11-24 09:08:28 -05:00
<g id= "a_edge12_Node000004_Node000010" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M484.73,-195.08C539.28,-186.43 631.1,-171.16 719.44,-152.63" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "719.94,-156.1 729,-150.6 718.49,-149.25 719.94,-156.1" />
</a>
</g>
</g>
<!-- Node13 -->
<g id= "Node000013" class= "node" >
<title > Node13</title>
<g id= "a_Node000013" > <a xlink:href= "error__policy_8h.html" target= "_top" xlink:title= "Defines custom exception types related to network policy construction and verification." >
<polygon fill= "white" stroke= "#666666" points= "332.38,-152.25 236.88,-152.25 236.88,-121.75 332.38,-121.75 332.38,-152.25" />
<text xml:space= "preserve" text-anchor= "start" x= "244.88" y= "-138.75" font-family= "Helvetica,sans-Serif" font-size= "10.00" > gridfire/exceptions</text>
<text xml:space= "preserve" text-anchor= "middle" x= "284.62" y= "-127.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /error_policy.h</text>
</a>
</g>
</g>
<!-- Node4->Node13 -->
<g id= "edge17_Node000004_Node000013" class= "edge" >
<title > Node4- > Node13</title>
<g id= "a_edge17_Node000004_Node000013" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M402.13,-187.86C380.64,-178.74 352.75,-166.91 329.54,-157.06" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "331.21,-153.97 320.64,-153.28 328.47,-160.41 331.21,-153.97" />
</a>
</g>
</g>
<!-- Node14 -->
<g id= "Node000014" class= "node" >
<title > Node14</title>
<g id= "a_Node000014" > <a xlink:href= "error__reaction_8h.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "712.38,-152.25 616.88,-152.25 616.88,-121.75 712.38,-121.75 712.38,-152.25" />
<text xml:space= "preserve" text-anchor= "start" x= "624.88" y= "-138.75" font-family= "Helvetica,sans-Serif" font-size= "10.00" > gridfire/exceptions</text>
<text xml:space= "preserve" text-anchor= "middle" x= "664.62" y= "-127.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /error_reaction.h</text>
</a>
</g>
</g>
<!-- Node4->Node14 -->
<g id= "edge19_Node000004_Node000014" class= "edge" >
<title > Node4- > Node14</title>
<g id= "a_edge19_Node000004_Node000014" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M484.7,-188.9C520.02,-178.91 568.19,-165.28 605.81,-154.64" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "606.49,-158.08 615.16,-151.99 604.58,-151.35 606.49,-158.08" />
</a>
</g>
</g>
<!-- Node15 -->
<g id= "Node000015" class= "node" >
<title > Node15</title>
<g id= "a_Node000015" > <a xlink:href= "error__solver_8h.html" target= "_top" xlink:title= " " >
<polygon fill= "white" stroke= "#666666" points= "446.38,-152.25 350.88,-152.25 350.88,-121.75 446.38,-121.75 446.38,-152.25" />
<text xml:space= "preserve" text-anchor= "start" x= "358.88" y= "-138.75" font-family= "Helvetica,sans-Serif" font-size= "10.00" > gridfire/exceptions</text>
<text xml:space= "preserve" text-anchor= "middle" x= "398.62" y= "-127.5" font-family= "Helvetica,sans-Serif" font-size= "10.00" > /error_solver.h</text>
</a>
</g>
</g>
<!-- Node4->Node15 -->
<g id= "edge23_Node000004_Node000015" class= "edge" >
<title > Node4- > Node15</title>
<g id= "a_edge23_Node000004_Node000015" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M428,-187.86C423.58,-180.36 418.08,-171.02 413.03,-162.46" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "416.07,-160.72 407.98,-153.88 410.04,-164.27 416.07,-160.72" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
<!-- Node6 -->
<g id= "Node000006" class= "node" >
<title > Node6</title>
<g id= "a_Node000006" > <a xlink:title= " " >
2025-11-24 09:08:28 -05:00
<polygon fill= "#e0e0e0" stroke= "#999999" points= "551.62,-19.25 493.62,-19.25 493.62,0 551.62,0 551.62,-19.25" />
<text xml:space= "preserve" text-anchor= "middle" x= "522.62" y= "-5.75" font-family= "Helvetica,sans-Serif" font-size= "10.00" > exception</text>
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
<!-- Node5->Node6 -->
<g id= "edge6_Node000005_Node000006" class= "edge" >
<title > Node5- > Node6</title>
<g id= "a_edge6_Node000005_Node000006" > <a xlink:title= " " >
2025-11-24 09:08:28 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M522.62,-54.95C522.62,-47.71 522.62,-38.84 522.62,-30.94" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "526.13,-31.21 522.63,-21.21 519.13,-31.21 526.13,-31.21" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
<!-- Node7 -->
<g id= "Node000007" class= "node" >
<title > Node7</title>
<g id= "a_Node000007" > <a xlink:title= " " >
2025-11-24 09:08:28 -05:00
<polygon fill= "#e0e0e0" stroke= "#999999" points= "650.62,-19.25 610.62,-19.25 610.62,0 650.62,0 650.62,-19.25" />
<text xml:space= "preserve" text-anchor= "middle" x= "630.62" y= "-5.75" font-family= "Helvetica,sans-Serif" font-size= "10.00" > string</text>
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
<!-- Node5->Node7 -->
<g id= "edge7_Node000005_Node000007" class= "edge" >
<title > Node5- > Node7</title>
<g id= "a_edge7_Node000005_Node000007" > <a xlink:title= " " >
2025-11-24 09:08:28 -05:00
<path fill= "none" stroke= "#63b8ff" d= "M549.6,-54.8C566.2,-45.74 587.4,-34.19 603.95,-25.16" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "605.63,-28.24 612.73,-20.38 602.28,-22.09 605.63,-28.24" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
2025-11-24 09:08:28 -05:00
<!-- Node8->Node5 -->
<g id= "edge9_Node000008_Node000005" class= "edge" >
<title > Node8- > Node5</title>
<g id= "a_edge9_Node000008_Node000005" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M544.27,-121.36C541.09,-114.02 537.14,-104.93 533.49,-96.52" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "536.75,-95.25 529.56,-87.47 530.33,-98.03 536.75,-95.25" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
2025-11-24 09:08:28 -05:00
<!-- Node9->Node5 -->
<g id= "edge11_Node000009_Node000005" class= "edge" >
<title > Node9- > Node5</title>
<g id= "a_edge11_Node000009_Node000005" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M218.77,-123.69C221.76,-123.01 224.73,-122.36 227.62,-121.75 308.83,-104.71 403.53,-89.37 463.28,-80.25" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "463.52,-83.75 472.89,-78.79 462.47,-76.83 463.52,-83.75" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
2025-11-24 09:08:28 -05:00
<!-- Node10->Node5 -->
<g id= "edge16_Node000010_Node000005" class= "edge" >
<title > Node10- > Node5</title>
<g id= "a_edge16_Node000010_Node000005" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M730.47,-123.87C688.28,-113.24 626.81,-97.75 581.67,-86.38" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "582.58,-83 572.03,-83.95 580.87,-89.78 582.58,-83" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
2025-11-24 09:08:28 -05:00
<!-- Node10->Node7 -->
<g id= "edge14_Node000010_Node000007" class= "edge" >
<title > Node10- > Node7</title>
<g id= "a_edge14_Node000010_Node000007" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M793.53,-121.4C809.21,-104.24 829.58,-75.56 813.62,-55.25 795.14,-31.71 709.51,-19.02 662.22,-13.7" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "662.63,-10.22 652.32,-12.63 661.89,-17.18 662.63,-10.22" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
2025-11-24 09:08:28 -05:00
<!-- Node11 -->
<g id= "Node000011" class= "node" >
<title > Node11</title>
<g id= "a_Node000011" > <a xlink:title= " " >
<polygon fill= "#e0e0e0" stroke= "#999999" points= "804.75,-80.12 720.5,-80.12 720.5,-60.88 804.75,-60.88 804.75,-80.12" />
<text xml:space= "preserve" text-anchor= "middle" x= "762.62" y= "-66.62" font-family= "Helvetica,sans-Serif" font-size= "10.00" > source_location</text>
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
2025-11-24 09:08:28 -05:00
<!-- Node10->Node11 -->
<g id= "edge13_Node000010_Node000011" class= "edge" >
<title > Node10- > Node11</title>
<g id= "a_edge13_Node000010_Node000011" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M774.99,-121.36C772.79,-112.48 769.95,-101.02 767.54,-91.33" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "770.98,-90.65 765.18,-81.79 764.19,-92.34 770.98,-90.65" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
2025-11-24 09:08:28 -05:00
<!-- Node12 -->
<g id= "Node000012" class= "node" >
<title > Node12</title>
<g id= "a_Node000012" > <a xlink:title= " " >
<polygon fill= "#e0e0e0" stroke= "#999999" points= "702.5,-80.12 658.75,-80.12 658.75,-60.88 702.5,-60.88 702.5,-80.12" />
<text xml:space= "preserve" text-anchor= "middle" x= "680.62" y= "-66.62" font-family= "Helvetica,sans-Serif" font-size= "10.00" > format</text>
</a>
</g>
</g>
<!-- Node10->Node12 -->
<g id= "edge15_Node000010_Node000012" class= "edge" >
<title > Node10- > Node12</title>
<g id= "a_edge15_Node000010_Node000012" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M756.39,-121.36C740.73,-111.06 719.81,-97.29 703.92,-86.83" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "705.86,-83.92 695.58,-81.34 702.01,-89.76 705.86,-83.92" />
</a>
</g>
</g>
<!-- Node13->Node5 -->
<g id= "edge18_Node000013_Node000005" class= "edge" >
<title > Node13- > Node5</title>
<g id= "a_edge18_Node000013_Node000005" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M332.79,-122.95C370.53,-112.72 423.22,-98.44 463.52,-87.52" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "464.34,-90.92 473.07,-84.93 462.51,-84.17 464.34,-90.92" />
</a>
</g>
</g>
<!-- Node14->Node5 -->
<g id= "edge22_Node000014_Node000005" class= "edge" >
<title > Node14- > Node5</title>
<g id= "a_edge22_Node000014_Node000005" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M632.4,-121.36C612.43,-112.29 586.56,-100.54 564.94,-90.72" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "566.65,-87.65 556.1,-86.7 563.75,-94.03 566.65,-87.65" />
</a>
</g>
</g>
<!-- Node14->Node7 -->
<g id= "edge20_Node000014_Node000007" class= "edge" >
<title > Node14- > Node7</title>
<g id= "a_edge20_Node000014_Node000007" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M660.13,-121.53C657.06,-111.52 652.96,-97.86 649.62,-85.75 644.49,-67.11 639.13,-45.71 635.42,-30.54" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "638.84,-29.81 633.08,-20.92 632.04,-31.46 638.84,-29.81" />
</a>
</g>
</g>
<!-- Node14->Node12 -->
<g id= "edge21_Node000014_Node000012" class= "edge" >
<title > Node14- > Node12</title>
<g id= "a_edge21_Node000014_Node000012" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M668.26,-121.36C670.46,-112.48 673.3,-101.02 675.71,-91.33" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "679.06,-92.34 678.07,-81.79 672.27,-90.65 679.06,-92.34" />
</a>
</g>
</g>
<!-- Node15->Node5 -->
<g id= "edge24_Node000015_Node000005" class= "edge" >
<title > Node15- > Node5</title>
<g id= "a_edge24_Node000015_Node000005" > <a xlink:title= " " >
<path fill= "none" stroke= "#63b8ff" d= "M426.76,-121.36C443.89,-112.46 465.98,-100.97 484.64,-91.26" />
<polygon fill= "#63b8ff" stroke= "#63b8ff" points= "486,-94.5 493.26,-86.78 482.77,-88.29 486,-94.5" />
2025-11-06 09:16:40 -05:00
</a>
</g>
</g>
</g>
</svg>
2025-11-24 09:08:28 -05:00
<g id= "navigator" transform= "translate(0 0)" fill= "#404254" >
<rect fill= "#f2f5e9" fill-opacity= "0.5" stroke= "#606060" stroke-width= ".5" x= "0" y= "0" width= "60" height= "60" />
<use id= "zoomplus" xlink:href= "#zoomPlus" x= "17" y= "9" onmousedown= "handleZoom(evt,'in')" />
<use id= "zoomminus" xlink:href= "#zoomMin" x= "42" y= "9" onmousedown= "handleZoom(evt,'out')" />
<use id= "reset" xlink:href= "#resetDef" x= "30" y= "36" onmousedown= "handleReset()" />
<use id= "arrowup" xlink:href= "#arrowUp" x= "0" y= "0" onmousedown= "handlePan(0,-1)" />
<use id= "arrowright" xlink:href= "#arrowRight" x= "0" y= "0" onmousedown= "handlePan(1,0)" />
<use id= "arrowdown" xlink:href= "#arrowDown" x= "0" y= "0" onmousedown= "handlePan(0,1)" />
<use id= "arrowleft" xlink:href= "#arrowLeft" x= "0" y= "0" onmousedown= "handlePan(-1,0)" />
</g>
<svg viewBox= "0 0 15 15" width= "100%" height= "30px" preserveAspectRatio= "xMaxYMin meet" >
<g id= "arrow_out" transform= "scale(0.3 0.3)" >
<a xlink:href= "exceptions_2bindings_8cpp__incl_org.svg" target= "_base" >
<rect id= "button" ry= "5" rx= "5" y= "6" x= "6" height= "38" width= "38"
fill="#f2f5e9" fill-opacity="0.5" stroke="#606060" stroke-width="1.0"/>
<path id= "arrow"
d="M 11.500037,31.436501 C 11.940474,20.09759 22.043105,11.32322 32.158766,21.979434 L 37.068811,17.246167 C 37.068811,17.246167 37.088388,32 37.088388,32 L 22.160133,31.978069 C 22.160133,31.978069 26.997745,27.140456 26.997745,27.140456 C 18.528582,18.264221 13.291696,25.230495 11.500037,31.436501 z"
style="fill:#404040;"/>
</a>
</g>
2025-11-06 09:16:40 -05:00
</svg>
<style type= 'text/css' >
< ![CDATA[
[data-mouse-over-selected='false'] { opacity: 0.7; }
[data-mouse-over-selected='true'] { opacity: 1.0; }
]]>
</style>
<script type= "application/ecmascript" > < ![CDATA[
document.addEventListener('DOMContentLoaded', (event) => {
highlightEdges();
highlightAdjacentNodes();
});
]]></script>
</svg>