'; $highlight_c = ''; $is_html = false; if ($str instanceof PhutilSafeHTML) { $is_html = true; $str = $str->getHTMLContent(); } $n = strlen($str); for ($i = 0; $i < $n; $i++) { if ($p == $e) { do { if (empty($intra_stack)) { $buf .= substr($str, $i); break 2; } $stack = array_shift($intra_stack); $s = $e; $e += $stack[1]; } while ($stack[0] == 0); } if (!$highlight && !$tag && !$ent && $p == $s) { $buf .= $highlight_o; $highlight = true; } if ($str[$i] == '<') { $tag = true; if ($highlight) { $buf .= $highlight_c; } } if (!$tag) { if ($str[$i] == '&') { $ent = true; } if ($ent && $str[$i] == ';') { $ent = false; } if (!$ent) { $p++; } } $buf .= $str[$i]; if ($tag && $str[$i] == '>') { $tag = false; if ($highlight) { $buf .= $highlight_o; } } if ($highlight && ($p == $e || $i == $n - 1)) { $buf .= $highlight_c; $highlight = false; } } if ($is_html) { return phutil_safe_html($buf); } return $buf; } private static function collapseIntralineRuns($runs) { $count = count($runs); for ($ii = 0; $ii < $count - 1; $ii++) { if ($runs[$ii][0] == $runs[$ii + 1][0]) { $runs[$ii + 1][1] += $runs[$ii][1]; unset($runs[$ii]); } } return array_values($runs); } public static function buildLevenshteinDifferenceString($o, $n) { $olt = strlen($o); $nlt = strlen($n); if (!$olt) { return str_repeat('i', $nlt); } if (!$nlt) { return str_repeat('d', $olt); } if ($o === $n) { return str_repeat('s', $olt); } $ov = str_split($o); $nv = str_split($n); return id(new PhutilEditDistanceMatrix()) ->setComputeString(true) ->setAlterCost(0.001) ->setReplaceCost(2) ->setMaximumLength(80) ->setSequences($ov, $nv) ->getEditString(); } public static function generateUTF8IntralineDiff($o, $n) { if (!strlen($o) || !strlen($n)) { return array( array(array(0, strlen($o))), array(array(0, strlen($n))) ); } // Breaking both the strings into their component characters $old_characters = phutil_utf8v($o); $new_characters = phutil_utf8v($n); $old_count = count($old_characters); $new_count = count($new_characters); $prefix_match_length = 0; $suffix_match_length = 0; // Prefix matching. for ($i = 0; $i < $old_count; $i++) { if ($old_characters[$i] != $new_characters[$i]) { $prefix_match_length = $i; break; } } // Return no change. if ($old_count == $new_count && $i == $old_count) { return array( array(array(0, strlen($o))), array(array(0, strlen($n))) ); } // Suffix Matching. $i = $old_count - 1; $j = $new_count - 1; while ($i >= 0 && $j >= 0) { if ($old_characters[$i] != $new_characters[$j]) { break; } $i--; $j--; $suffix_match_length++; } // Just a temporary fix for the edge cases where, the strings differ // only at beginnning, only in the end and both at the beginning and end. if (!$prefix_match_length || !$suffix_match_length) { return array( array(array(1, strlen($o))), array(array(1, strlen($n))) ); } $old_length = strlen($o); $new_length = strlen($n); return array( array( array(0, $prefix_match_length), array(1, $old_length - $prefix_match_length - $suffix_match_length), array(0, $suffix_match_length), ), array( array(0, $prefix_match_length), array(1, $new_length - $prefix_match_length - $suffix_match_length), array(0, $suffix_match_length), ) ); } }