//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<title>com.zrlog.service.InstallService.insertNav(java.sql.Connection):void.facc9355ba53c3ab5cbde109a4c0329e_node34</title>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<style type="text/css">
body { background-color:#fff; color:#000; font-family:Helvetica, sans-serif; font-size:10pt }
h1 { font-size:14pt }
.code { border-collapse:collapse; width:100%; font-family: "Andale Mono", monospace; font-size:10pt; line-height: 1.2em }
.color_black { color: black }
.color_blue { color: blue }
.color_green { color: green }
.color_orange { color: orange }
.color_red { color: red }
.line { border-left: 3px solid #ccc; padding-left: 1ex; white-space: pre; }
.msg { background-color:#fff8b4; color:#000; float:left; font-family:Helvetica, sans-serif; font-size: smaller; font-weight: bold; margin-bottom:10px; margin-top:10px; max-width:60em; padding:0.5em 1ex 0.5em 1ex; -webkit-border-radius:5px; -webkit-box-shadow:1px 1px 7px #000; white-space: pre-wrap; word-wrap: break-word; }
.num { background-color:#eee; color:#444; font-size: smaller; padding-right:2ex; text-align:right; width:2.5em; }
.dangling { background-color:white; color: gray; }
.visited { background-color:LemonChiffon; color: darkmagenta; }
.tooltip { display: none; background-color:#FFF0F0; border: 2px solid #F00; font-weight: normal; left:10em; padding: 2px; position: absolute; top: -1em; -webkit-border-radius:5px; -webkit-box-shadow:1px 1px 7px #000; z-index: 1}
.with_tooltip { position: relative; }
.with_tooltip:hover.tooltip,.visited:hover.tooltip { display: block; }
</style>
</head>
<body>
<center><h1>Cfg Node <a href="./../../InstallService.java.0c21e49787fa4d81ccc117c1ed75269a.html#LINE242">34</a></h1></center>PROC: <a href="./../com.zrlog.service.InstallService.insertNav%28java.sql.Connection%29%3Avoid.facc9355ba53c3ab5cbde109a4c0329e.html">void InstallService.insertNav(Connection)</a> LINE: <a href="./../../InstallService.java.0c21e49787fa4d81ccc117c1ed75269a.html#LINE242">242</a>
<br>PREDS:
<a href="./../nodes/com.zrlog.service.InstallService.insertNav%28java.sql.Connection%29%3Avoid.facc9355ba53c3ab5cbde109a4c0329e_node30.html"><span class='visited with_tooltip'>N_30<span class='tooltip'>node30 preds:27 succs:34 exn:3 </span></span></a><br>SUCCS:
<a href="./../nodes/com.zrlog.service.InstallService.insertNav%28java.sql.Connection%29%3Avoid.facc9355ba53c3ab5cbde109a4c0329e_node35.html"><span class='visited with_tooltip'>N_35<span class='tooltip'>node35 preds:34 33 31 28 succs:2 exn:3 </span></span></a><br>EXN:
<a href="./../nodes/com.zrlog.service.InstallService.insertNav%28java.sql.Connection%29%3Avoid.facc9355ba53c3ab5cbde109a4c0329e_node3.html"><span class='visited with_tooltip'>N_3<span class='tooltip'>node3 preds:91 88 85 80 succs:2 exn:2 </span></span></a><br>
<LISTING class='color_green'>n$55=*&amp;ps:java.sql.PreparedStatement* [line 242];
n$58=_fun___set_mem_attribute(n$55:java.sql.PreparedStatement*) [line 242];
_=*n$55:java.sql.PreparedStatement*(root java.sql.PreparedStatement) [line 242];
n$57=_fun_void PreparedStatement.close()(n$55:java.sql.PreparedStatement*) interface virtual [line 242];
</LISTING>
<hr width="100%">
<a name="session12" href="./../nodes/com.zrlog.service.InstallService.insertNav%28java.sql.Connection%29%3Avoid.facc9355ba53c3ab5cbde109a4c0329e_node34.html#session12">node34#session12</a>(<a href="./../../InstallService.java.0c21e49787fa4d81ccc117c1ed75269a.html#LINE242">242</a>) [compute pre] liveness 34
<LISTING class='color_black'>JOIN

LEFT:   { $bcvar6 }
RIGHT:  { }
RESULT: = LEFT

</LISTING>
<hr width="100%">
<a name="session13" href="./../nodes/com.zrlog.service.InstallService.insertNav%28java.sql.Connection%29%3Avoid.facc9355ba53c3ab5cbde109a4c0329e_node34.html#session13">node34#session13</a>(<a href="./../../InstallService.java.0c21e49787fa4d81ccc117c1ed75269a.html#LINE242">242</a>) [exec] liveness 34
<LISTING class='color_black'>PRE STATE:
{ $bcvar6 }

INSTR=  n$57=_fun_void PreparedStatement.close()(n$55:java.sql.PreparedStatement*) interface virtual [line 242]; 

STATE:
{ n$55, $bcvar6 }

INSTR=  _=*n$55:java.sql.PreparedStatement*(root java.sql.PreparedStatement) [line 242]; 

STATE UNCHANGED

INSTR=  n$58=_fun___set_mem_attribute(n$55:java.sql.PreparedStatement*) [line 242]; 

STATE UNCHANGED

INSTR=  n$55=*&amp;ps:java.sql.PreparedStatement* [line 242]; 

STATE:
{ $bcvar6, ps }

</LISTING>
<hr width="100%">
<a name="session571" href="./../nodes/com.zrlog.service.InstallService.insertNav%28java.sql.Connection%29%3Avoid.facc9355ba53c3ab5cbde109a4c0329e_node34.html#session571">node34#session571</a>(<a href="./../../InstallService.java.0c21e49787fa4d81ccc117c1ed75269a.html#LINE242">242</a>) [compute pre] nullify
<LISTING class='color_black'></LISTING>
<hr width="100%">
<a name="session572" href="./../nodes/com.zrlog.service.InstallService.insertNav%28java.sql.Connection%29%3Avoid.facc9355ba53c3ab5cbde109a4c0329e_node34.html#session572">node34#session572</a>(<a href="./../../InstallService.java.0c21e49787fa4d81ccc117c1ed75269a.html#LINE242">242</a>) [exec] nullify
<LISTING class='color_black'>PRE STATE:
({ $bcvar6, ps },{ n$45, $bcvar4, return })

INSTR=  n$55=*&amp;ps:java.sql.PreparedStatement