Mini Shell

Direktori : /home/admin/web/mcpv.demarco.ddnsfree.com/public_html/wp-includes/Text/Diff/Engine/
Upload File :
Current File : /home/admin/web/mcpv.demarco.ddnsfree.com/public_html/wp-includes/Text/Diff/Engine/shell.php

<?php
/**
 * Class used internally by Diff to actually compute the diffs.
 *
 * This class uses the Unix `diff` program via shell_exec to compute the
 * differences between the two input arrays.
 *
 * Copyright 2007-2010 The Horde Project (http://www.horde.org/)
 *
 * See the enclosed file COPYING for license information (LGPL). If you did
 * not receive this file, see http://opensource.org/licenses/lgpl-license.php.
 *
 * @author  Milian Wolff <mail@milianw.de>
 * @package Text_Diff
 * @since   0.3.0
 */
class Text_Diff_Engine_shell {

    /**
     * Path to the diff executable
     *
     * @var string
     */
    var $_diffCommand = 'diff';

    /**
     * Returns the array of differences.
     *
     * @param array $from_lines lines of text from old file
     * @param array $to_lines   lines of text from new file
     *
     * @return array all changes made (array with Text_Diff_Op_* objects)
     */
    function diff($from_lines, $to_lines)
    {
        array_walk($from_lines, array('Text_Diff', 'trimNewlines'));
        array_walk($to_lines, array('Text_Diff', 'trimNewlines'));

        $temp_dir = Text_Diff::_getTempDir();

        // Execute gnu diff or similar to get a standard diff file.
        $from_file = tempnam($temp_dir, 'Text_Diff');
        $to_file = tempnam($temp_dir, 'Text_Diff');
        $fp = fopen($from_file, 'w');
        fwrite($fp, implode("\n", $from_lines));
        fclose($fp);
        $fp = fopen($to_file, 'w');
        fwrite($fp, implode("\n", $to_lines));
        fclose($fp);
        $diff = shell_exec($this->_diffCommand . ' ' . $from_file . ' ' . $to_file);
        unlink($from_file);
        unlink($to_file);

        if (is_null($diff)) {
            // No changes were made
            return array(new Text_Diff_Op_copy($from_lines));
        }

        $from_line_no = 1;
        $to_line_no = 1;
        $edits = array();

        // Get changed lines by parsing something like:
        // 0a1,2
        // 1,2c4,6
        // 1,5d6
        preg_match_all('#^(\d+)(?:,(\d+))?([adc])(\d+)(?:,(\d+))?$#m', $diff,
            $matches, PREG_SET_ORDER);

        foreach ($matches as $match) {
            if (!isset($match[5])) {
                // This paren is not set every time (see regex).
                $match[5] = false;
            }

            if ($match[3] == 'a') {
                $from_line_no--;
            }

            if ($match[3] == 'd') {
                $to_line_no--;
            }

            if ($from_line_no < $match[1] || $to_line_no < $match[4]) {
                // copied lines
                assert($match[1] - $from_line_no == $match[4] - $to_line_no);
                array_push($edits,
                    new Text_Diff_Op_copy(
                        $this->_getLines($from_lines, $from_line_no, $match[1] - 1),
                        $this->_getLines($to_lines, $to_line_no, $match[4] - 1)));
            }

            switch ($match[3]) {
            case 'd':
                // deleted lines
                array_push($edits,
                    new Text_Diff_Op_delete(
                        $this->_getLines($from_lines, $from_line_no, $match[2])));
                $to_line_no++;
                break;

            case 'c':
                // changed lines
                array_push($edits,
                    new Text_Diff_Op_change(
                        $this->_getLines($from_lines, $from_line_no, $match[2]),
                        $this->_getLines($to_lines, $to_line_no, $match[5])));
                break;

            case 'a':
                // added lines
                array_push($edits,
                    new Text_Diff_Op_add(
                        $this->_getLines($to_lines, $to_line_no, $match[5])));
                $from_line_no++;
                break;
            }
        }

        if (!empty($from_lines)) {
            // Some lines might still be pending. Add them as copied
            array_push($edits,
                new Text_Diff_Op_copy(
                    $this->_getLines($from_lines, $from_line_no,
                                     $from_line_no + count($from_lines) - 1),
                    $this->_getLines($to_lines, $to_line_no,
                                     $to_line_no + count($to_lines) - 1)));
        }

        return $edits;
    }

    /**
     * Get lines from either the old or new text
     *
     * @access private
     *
     * @param array $text_lines Either $from_lines or $to_lines (passed by reference).
     * @param int   $line_no    Current line number (passed by reference).
     * @param int   $end        Optional end line, when we want to chop more
     *                          than one line.
     *
     * @return array The chopped lines
     */
    function _getLines(&$text_lines, &$line_no, $end = false)
    {
        if (!empty($end)) {
            $lines = array();
            // We can shift even more
            while ($line_no <= $end) {
                array_push($lines, array_shift($text_lines));
                $line_no++;
            }
        } else {
            $lines = array(array_shift($text_lines));
            $line_no++;
        }

        return $lines;
    }

}
Not only does Rally House have an expansive selection of – Base de données MCPV "Prestataires"

Not only does Rally House have an expansive selection of

Nfl jerseys Officially Licensed College, NFL, MLB, NHL nfl jerseys, NBA, and MLS apparel and gifts nfl jerseys.

Cheap jerseys In addition to our cheap NFL jerseys cheap jerseys, we also offer wholesale custom NFL jerseys. Our custom jerseys can be designed to your exact specifications, including team logos, player names and numbers cheap nfl jerseys, and even custom designs. Our commitment to customer service means that our friendly and knowledgeable staff are always here to help you with any questions or concerns you may have. Welcome to our online shop specializing in cheap NFL jerseys! We are proud to offer a wide selection of high-quality jerseys at affordable prices. Whether you’re a die-hard fan of your favorite team or just looking for a great deal wholesale nfl jerseys, our shop has something for everyone cheap jerseys.

Cheap jerseys Find authentic jerseys for your favorite team in our official NFL Jersey shop. Explore our collection to equip yourself with the latest jerseys from these top NFL stars and showcase your team with pride. With our fast and reliable shipping options, you can be sure that your cheap NFL jersey or wholesale custom NFL jersey will arrive in plenty of time for the big game. So whether you’re looking for a great deal on a high-quality NFL jersey or a customized jersey that’s uniquely your own, our shop has everything you need. Let us help you take your football fandom to the next level with replica jerseys of the highest quality cheap jerseys.

Nfl jerseys Rally House is your go-to destination for finding gear from top collegiate conferences like the Big Ten, Big 12, ACC, and SEC. With a diverse selection of local and exclusive products cheap jerseys cheap nfl jerseys, including RALLY Brand apparel and gear, Rally House is where hometown pride meets quality merchandise. Not only does Rally House have an expansive selection of collegiate and professional gear, but we also provide a ton of Local exclusive products. If you love where you’re from and want to share that pride with the world, Rally House is a premier destination for you. We have local t-shirts featuring your state’s most famous landmarks, accessories decorated with city backdrops wholesale nfl jerseys, local drinkware and some renditions of your hometown’s popular foods. In addition to carrying items for your favorite city or state, Rally House also has a line of RALLY Brand apparel and gear that’s exclusive to us and makes for the perfect gift nfl jerseys.

Cheap jerseys Is a leading worldwide wholesaler company. We supply more than 10,000 high-quality merchandise and famous brand name products all at wholesale prices. Since 2006, we have served more than 15 nfl jerseys,000 worldwide customers and Jerseys wholesalers with qualified jerseys products and considerate services. All of our cheap NFL jerseys are made from high-quality materials that are both comfortable and durable, ensuring that you’ll be able to wear them season after season cheap jerseys.

Cheap jerseys Here at Rally House, we take great pride in providing our customers with one of the largest selections of officially licensed College, NFL, MLB, NHL nfl jerseys, NBA and MLS apparel, gear, gifts and other merchandise. With Rally House, you can rest assured knowing that supporting your favorite local, collegiate and professional sports teams is easy, exciting and affordable. Whether you’d like to represent your No. 1 player with a jersey or establish your team pride with a hat or cap, Rally House allows you to do that. Looking for accessories for your home and car? Cement your status as a true fan with drinkware or a cool flag, or make your neighbors jealous by showing off some of our lawn and garden pieces. Looking to represent your favorite college team? cheap jerseys.

Nfl jerseys Officially Licensed College, NFL, MLB, NHL nfl jerseys, NBA, and MLS apparel and gifts nfl jerseys. Cheap jerseys In addition to our cheap NFL jerseys cheap jerseys, we also offer wholesale custom NFL jerseys. Our custom jerseys can be designed to your exact specifications, including team logos, player names and numbers cheap nfl…

Leave a Reply

Your email address will not be published. Required fields are marked *