コード例 #1
0
ファイル: DUAAnalysis.java プロジェクト: pabloloyola/soot
 private boolean orderGuaranteed(boolean secondReachesFirst, CFGNode n1, Branch br2) {
   return orderGuaranteed(secondReachesFirst, n1, br2.getSrc())
       && orderGuaranteed(secondReachesFirst, n1, br2.getTgt());
 }