Java Branchの例

コード例 #1

ファイル: DUAAnalysis.java プロジェクト: pabloloyola/soot

 private boolean orderGuaranteed(CFGNode n1, Branch br2, boolean interproc) {
   return orderGuaranteed(
       Options.reachability()
           ? ReachabilityAnalysis.reachesFromTop(br2.getTgt(), n1, interproc)
           : true,
       n1,
       br2);
 }

コード例 #2

ファイル: DUAAnalysis.java プロジェクト: pabloloyola/soot

 private boolean orderGuaranteed(boolean secondReachesFirst, CFGNode n1, Branch br2) {
   return orderGuaranteed(secondReachesFirst, n1, br2.getSrc())
       && orderGuaranteed(secondReachesFirst, n1, br2.getTgt());
 }