モジュール内のテキストの検索と置換

フォーマル・モジュールでは、指定したテキストを持つすべてのオブジェクトを検索できます。検索には正規表現を使用できます。

手順

  1. モジュール・ウィンドウで、「編集」>「置換」の順にクリックします。
  2. 検索する文字列 」ボックスで、検索したいテキストを入力し、「置換後のストリング 」ボックスで置き換えたいテキストを入力します。 検索テキストには正規表現を含めることができます。
  3. デフォルト・オプションを変更する場合は、「詳細設定」をクリックします。
  4. モジュール内を 1 ストリングずつ移動するには、「次を検索」ボタンと「前を検索」ボタンを使用します。
  5. 現行オブジェクト内でそのテキストをすべて置換するには、「置換」をクリックします。モジュールを通してそのテキストすべて置換するには、「すべて置換」をクリックします。
  6. 検索と置換が終了したら、「閉じる」をクリックします。

フィードバック