sitelogo
述語定義(タグ)の検索
MINERVA superseeded IF/Prolog. Please see http://www.ifcomputer.co.jp/MINERVA for details.

We discontinued to sell IF/Prolog Dec 31. 2003. For current customers, we continue to provide professional support for IF/Prolog until Dec 31, 2008.

M−.    find-tag タグの入力を促し、現在のタグテーブルに定義されている場所に移動する。タグのデフォルトは、カ−ソルの前にある関数子。

M−,    tags-loop-continue 直前のタグと一致する次の場所に移動する。複数の定義を見つけるのに便利です。

M−1 M−. find-tag find-tagに前置引数が与えられると、これを正規表現として次に一致する場所を探す。これは、共通の部分文字列を持つ述語を捜す場合に便利です。(たとえば execute, execute_goalなど。前置引数は、M-<int>またはC-u<int>で与えられます。M-1,M-0などはタイプしやすく、その値は関係ありません。)

TAGSで大きなプログラムを扱う場合の注意点

Emacs/UNIXのタグテ−ブル機構は、大きなプログラムや複数のファイルにわたるプログラムのメンテナンスを簡単にします。タグテ−ブルは、タグと各ファイル中のタグの場所のインデックスです。このことによって、Emacs(ex/vi)は、ファイルとそのファイルにあるタグとを高速に探すことができます。タグテ−ブルは、C,Lisp,Prolog,Fortranのソ−スファイルに対して作ることができます。このためユ−ザは、これらの言語を組合せて、簡単にプログラムを保守することができます。

etags.cプログラムは、Prologのソ−スファイルで動くように改造し、ptags.cという名前を付けてあります。 ptagsは、EmacsやUNIX用のフォ−マットのタグテ−ブルを生成します。これらのファイル名のデフォルトは、それぞれTAGSとtagsです。

M-.(メタポイント)は、タグを検索します。必要ならば、Emacsは自動的にファイルを新しいバッファに読み込み、そのタグの場所にジャンプします。ファイルにいくらか変更が加えられていても、タグテ−ブルを作成し直す必要はありません。lispモ−ドでは、タグはデフォルトで直前のS式になります。Prologモ−ドでは、デフォルトはポイントの前の関数子です。


Up read on...
scroll to top managed with ubiCMS