boolean (Set<Statement> setNodes) { // check exit nodes for (Statement stat : setNodes) { if (stat.isMonitorEnter()) { List<StatEdge> lstSuccs = stat.getSuccessorEdges(EdgeType.DIRECT_ALL); if (lstSuccs.size() != 1 || lstSuccs.get(0).getType() != EdgeType.REGULAR) { return false; } if (!setNodes.contains(lstSuccs.get(0).getDestination())) { return false; } } } return true; }