(self, block_address, stmt_idx, target_ips)
Include an exit in the final slice.

        :param block_address:   Address of the basic block.
        :param stmt_idx:        ID of the exit statement.
        :param target_ips:      The target address of this exit statement.
Include an exit in the final slice.
Include an exit in the final slice .
def _pick_exit(self, block_address, stmt_idx, target_ips):
        """
        Include an exit in the final slice.

        :param block_address:   Address of the basic block.
        :param stmt_idx:        ID of the exit statement.
        :param target_ips:      The target address of this exit statement.
        """

        # TODO: Support context-sensitivity

        tpl = (stmt_idx, target_ips)
        if tpl not in self.chosen_exits[block_address]:
            self.chosen_exits[block_address].append(tpl)
def _pick_exit ( self , block_address , stmt_idx , target_ips ) : # TODO: Support context-sensitivity tpl = ( stmt_idx , target_ips ) if tpl not in self . chosen_exits [ block_address ] : self . chosen_exits [ block_address ] . append ( tpl )