Aller au contenu

Points d'extension

phil/text-diff

La bibliothèque est du PHP simple : elle ne déclare aucun service ni aucun port, et ses classes sont finales. Ce que choisit une application passe par des arguments.

PointComment
La borne du travailLe $maxEdits de TextDiff : au-delà, ce qui reste est donné comme supprimé puis inséré en entier plutôt que calculé plus loin ; une paire de textes hostile coûte ainsi un temps borné
La façon de découper un texteLe Tokenizer donné à compare(), ou words(), lines(), paragraphs() et html()
La façon de montrer les différencestoHtml() donne <ins> et <del> ; une autre présentation lit les Operation d'un Diff, ou ses Change avec leurs positions
La façon de rendre les blocs d'un documentLe HtmlRenderer de phil/ujo donné à documentToHtml() : les moteurs de rendu de blocs de l'application rendent ses propres blocs dans une différence
Intercepter les erreurs de la bibliothèqueChaque exception implémente Phil\TextDiff\Exception\TextDiffException

L'algorithme est celui de Myers et ne se remplace pas ; les jetons qu'il compare sont ceux que choisit une application.