34.6 式のパース

このセクションでは、バランスのとれた式の解析やスキャンを行う関数を説明します。たとえこれらの関数がLisp以外の言語にたいして作用可能であったとしても、Lisp用語にしたがい、そのような式のことはsexpsという用語で参照することにします。基本的にsexpは、バランスのとれたカッコによるグループ化、または文字列、“symbol”(構文が単語構成要素かシンボル構成要素である文字シーケンス)のいずれかです。しかし式プレフィクス構文(Syntax Class Tableを参照)の文字は、それらがsexpに隣接する場合は、sexpの一部として扱われます。

構文テーブルは文字の解釈を制御するので、これらの関数はLispモードでのLisp式、CモードでのCの式にたいして使用できます。バランスのとれた式にたいして有用な高レベル関数についてはList Motionを参照してください。

ある文字の構文は、パーサー自身の状態の記述ではなく、パーサー状態の変更方法を制御します。たとえば文字列区切り文字は、“in-string”と“in-code”,の間でパーサー状態をトグルしますが、文字の構文が直接文字列内部にあるかどうかを告げることはありません。たとえば(15は汎用文字列区切りの構文コードであることに注意)、

(put-text-property 1 9 'syntax-table '(15 . nil))

これはEmacsにたいしてカレントバッファーの最初の8文字が文字列であることを告げますが、それらはすべて文字列区切りです。結果としてEmacsはそれらを連続する4つの空文字列定数として扱います。