逆検索

逆検索（「リバース検索」とも呼ばれる）^[1]は、 LaTeXやGNU LilyPondなどの非対話型タイプセッティングプログラムの機能です。これらのプログラムは、文書の抽象的なテキスト定義を入力として読み取り、これをDVIやPDFなどのグラフィカル形式に変換します。ウィンドウシステムでは、これは通常、ソースコードが1つのエディタウィンドウに入力され、結果の出力が別の出力ウィンドウに表示されることを意味します。逆検索とは、出力ウィンドウのグラフィカルオブジェクトがハイパーリンクとして機能し、クリックしたオブジェクトが定義されているエディタの行と列に戻ることを意味します。逆検索機能は、校正時に特に便利です。

実装

• TeXとLaTeXでは、パッケージsrcltxがDVI出力ファイル（例えばyapやXdvi）の逆検索機能を提供します。一方、vpe、pdfsync、SyncTeXはPDF出力に対して同様の機能を提供するなど、他の技術も提供しています。TeXエディタの比較には逆検索のサポートに関するコラムがあり、現在ではほとんどのTeXエディタがこの機能を提供しています。
• GNU LilyPondはバージョン2.6以降、PDF出力ファイルからの逆検索機能を提供しています。この機能は「ポイントアンドクリック」と呼ばれています。
• 多くのプログラミング統合開発環境では、逆検索を使用してコンパイルエラー メッセージを表示したり、ブレークポイントに到達したときにデバッグ中に使用したりします。

参考文献

1. sourceforge.net の Xdvi(k) による逆探索

参考文献

• Jérôme Laurens、「SyncTeXによる直接および逆同期」、TUGboat 29(3)、2008年、p365–371、PDF (532KB) — TeXによる同期技術の概要を含む

外部リンク

• xdviで逆検索を設定する方法