if (asstmt.containsInvokeExpr()) { if (asstmt.containsInvokeExpr()) { killallarrayref = true;
public FlowFunction<Pair<Value, Type>> getNormalFlowFunction(Unit src, Unit dest) { if (src instanceof DefinitionStmt) { DefinitionStmt defnStmt = (DefinitionStmt) src; if (defnStmt.containsInvokeExpr()) { return Identity.v();
if (asstmt.containsInvokeExpr()) if (asstmt.containsInvokeExpr())
if (asstmt.containsInvokeExpr()) if (asstmt.containsInvokeExpr())
private void translateDefinitionStmt(DefinitionStmt def) { if (def.containsInvokeExpr()) { translateMethodInvokation(def, def.getLeftOp(), def.getInvokeExpr()); return;