コマンド

この章では、プログラムを対話形式で実行する際に使用するコマンドを定義する。

コマンド

Commands

Command*

Command

ResetCommand

ExitCommand

Statement

Commands: Command* の実行は次のように行われる:

1. Commands に Command が一つも含まれない場合は、[[初期の Void.void]] を返す。
2. Commands に含まれる Command の数を n とする。
3. i = 1, 2, …, n について、i = 1 から i = n まで順に以下の処理を行う:
   1. i 番目の Command を実行する。その結果が正常終了でなければ、直ちにそれを返す。
4. 最後に実行した Command (n 番目の Command) の結果を返す。

各 Command の実行は、その内容である文またはコマンドを実行し、その結果を返す。

リセットコマンド

ResetCommand

ResetKeyword EOS

ResetKeyword

@reset KD

ResetCommand を実行すると、次の処理を行う:

1. 基底実行コンテクストを初期状態に戻す。 初期状態とは、実行環境が起動されて、 基底実行コンテクストが作られた直後の状態である。
2. 実行環境のソースコードカウントの値を 1 にする。
3. [[初期の Void.void]] を返す。

終了コマンド

ExitCommand

ExitKeyword EOS

QuitKeyword EOS

ExitKeyword

@exit KD

QuitKeyword

@quit KD

ExitCommand を実行すると、このスクリプトプログラムの実行を中止し、 実行環境を直ちに終了する。