<a href="https://github.com/kuuote/ddu-source-git_diff" target="_blank" rel="nofollow noopener noreferrer">ddu-source-git_diff</a>を実装しててUnified形式のdiffをパースする必要があったのでメモ
<ul>
<li>自分が必要な範囲でしか書いてないので参考資料の方が詳しい
<ul>
<li><a href="https://mizunashi-mana.github.io/blog/posts/2019/04/about-unified-diff-style/" target="_blank" rel="nofollow noopener noreferrer">unified 形式パッチの文法について</a></li>
<li>
<a href="https://www.gnu.org/software/diffutils/manual/diffutils.html#Output-Formats" target="_blank" rel="nofollow noopener noreferrer">Comparing and Merging Files</a>
<ul>
<li>diffutilsのマニュアル。上の記事で参照されているもので、多分一番これが詳しい</li>
</ul>
</li>
</ul>
</li>
<li>Unified形式はdiffutilsなどが出力するフォーマットの1つでこのような見た目をしている(データはdiffutilsのマニュアルより抜粋)<div class="code-block-container"><pre class="diff-highlight "><code class="diff-highlight ">--- lao	2002-02-21 23:30:39.942229878 -0800
+++ tzu	2002-02-21 23:30:50.442260588 -0800
@@ -1,7 +1,6 @@
-The Way that can be told of is not the eternal Way;
-The name that can be named is not the eternal name.
 The Nameless is the origin of Heaven and Earth;
-The Named is the mother of all things.
+The named is the mother of all things.
+
 Therefore let there always be non-being,
 so we may see their subtlety,
 And let there always be being,
@@ -9,3 +8,6 @@
 The two are the same,
 But after they are produced,
 they have different names.
+They both may be called deep and profound.
+Deeper and more profound,
+The door of all subtleties!
</code></pre></div>
<ul>
<li>diffutilsのマニュアル曰く<a href="https://github.com/WayneD" target="_blank" rel="nofollow noopener noreferrer">Wayne Davison</a>氏が設計した物らしい</li>
<li>人にも見やすいからか広く使われており、<code>git diff</code>などのツールは標準でこれを吐く
<ul>
<li>今回パースすることになったのは<code>git diff</code>の出力を扱いたかったため</li>
</ul>
</li>
</ul>
</li>
<li>このフォーマットはヘッダーとブロックのような構造から成り立つパッチを1つの単位とし、1つのファイルに複数のパッチを持てる
<ul>
<li>パッチは以下の定義から成る
<ul>
<li>
<code>---</code>及び<code>+++</code>で始まるファイル名の定義
<ul>
<li>ヘッダーみたいなもの</li>
<li>
<code>---</code>が旧ファイル、<code>+++</code>が新ファイル</li>
<li>次にファイル名。Tab以外の任意長の文字列(何を受け付けるのかは調べてない) + 任意でTabとコメントから成り立つ
<ul>
<li>上の例だと分かりづらいけど<code>lao</code>と日付の間にTabがある。日付はコメント
<ul>
<li>
<code>diffutils</code>は日付を入れるが<code>git diff</code>は入れない。gitにとってファイルのタイムスタンプは重要ではないということだろう多分</li>
</ul>
</li>
</ul>
</li>
</ul>
</li>
<li>
<code>@@</code>で始まるヘッダーと正規表現で言う所の<code>[ +-]</code>で始まるdiff本体から成るハンクが任意個
<ul>
<li>ヘッダーの意味はこう。<code>@@ -(古いファイルの位置),(古いファイルのハンクの長さ) +(新しいファイルの位置),(新しいファイルの長さ) @@</code>
<ul>
<li>長さについては1の場合は省略できる</li>
<li>
<code>git diff</code>も省略するので対応しないといけない</li>
</ul>
</li>
</ul>
</li>
<li>本体は先頭1文字が指示、その後は実際の行の中身
<ul>
<li>
<code>-</code>だと新しいファイルから削除される</li>
<li>
<code>+</code>だと新しいファイルに追記される</li>
<li>何も付いていない場合はそのまま使われる</li>
</ul>
</li>
</ul>
</li>
<li>
<code>git diff</code>の場合先頭に以下のような出力がくっついているがUnified形式のお気持ちからするとこれはコメント<div class="code-block-container"><pre class="diff-highlight "><code class="diff-highlight ">diff --git a/file b/file
index aaaaaaa..bbbbbbb 100644
</code></pre></div>
<ul>
<li>
<code>git</code>にとっては意味のある出力らしいので注意</li>
</ul>
</li>
</ul>
</li>
<li>意味のある単位で切り出すには以下のことをやるといい
<ul>
<li>フォーマットが正しいと仮定して行っているので人が編集しているのを想定するとエラーハンドリングなどの面で不適格
<ul>
<li>
<code>patch</code>や<code>git</code>などの正しく処理しているプログラムを参照すべし</li>
</ul>
</li>
<li>ファイルを先頭から走査し<code>---</code>で始まる行を探し出す</li>
<li>2行分切り出して飛ばす</li>
<li>
<code>@</code>で始まってるか見る。もしそうでなければ今まで切り出したデータを1つのパッチとして別の場所に切り出す。これを繰り返す
<ul>
<li>先頭行をパースしハンクの長さをそれぞれ取り出す</li>
<li>新旧それぞれ用にカウンタを用意する</li>
<li>各行に以下の処理を適用
<ul>
<li>
<code>-</code>だったら旧カウンタを+</li>
<li>
<code>+</code>だったら新カウンタを+</li>
<li>
<code> </code>だったら両方を+</li>
<li>カウンタがハンクの長さと全て一致したらハンクの終わりと見なし、それ以前の行を全て切り出す</li>
</ul>
</li>
</ul>
</li>
<li>パッチの切り出しが終わったら最初に戻って同じことをファイルの終端まで繰り返す</li>
<li>参照実装は<a href="https://github.com/kuuote/ddu-source-git_diff/blob/b7d8678666f26ce3fd1daf2fae2cf7a3d3424863/denops/%40ddu-sources/udiff/diff.ts#L12" target="_blank" rel="nofollow noopener noreferrer">ここ</a>にある</li>
</ul>
</li>
</ul>

Unified Diffに関する覚え書き

Discussion