１．言語仕様

１−１．仕様概要

• SphereEngine向けスクリプト言語
• 関数型、構造化言語
• 中間コードコンパイル方式
• 仮想マシンインタープリタ方式
※擬似的なスタックマシンとして実装
• 変数最大数：上限なし
• コード長：上限なし
• 1行の最大長：上限なし
• リンクファイル数：上限なし
• 最大ネスト数：上限なし
• スレッド数：上限なし
※上記の「上限なし」の項目は全てメモリリソースにより実用上の限界はあります
• 整数型、単精度小数型、文字列型、関数型が取り扱い可能

１−２．コンパイル手順

コンパイルは以下のステージで処理されます。

===============
（以下をリンクされた全コード分繰り返す）
[ファイル読み込み]
↓
[プリプロセッサ解釈]
↓
[字句解析]
↓
[デバッグ情報埋め込み]
↓
[構文解析]
↓
[中間コード生成]
↓
[グローバル変数生成]（必要に応じて）
↓
[プログラムカウンタ設定]（必要に応じて）
===============

１−３．実行手順

メモリ上にあるコンパイル済みの中間コードを以下の手順で実行します。中間コードはマシン語に直接変換されるわけではなく、インタプリタ方式の仮想マシンにより解釈及び実行されます。

===============
[プログラムカウンタの中間コードを取り込み]
↓
[プログラムカウンタを加算]
↓
[命令解釈]
↓
[オペランド取り込み]
↓
[演算]
↓
[結果の適用]
===============

１−４．システムコールとシステム割り込み

システムコールは字句解析時点でシステムコールとして認識されます。見た目は似ていますが関数とは異なる実装であり、「システムコール型」という変数はありません。そのため、関数型変数にシステムコールを代入することは出来ません。

SphereScript仮想マシンに対して直接命令を発行する『システム割り込み』が存在します。システム割り込みの構文は以下の通りです。パラメータの数はシステム割り込みによって変わります。

===============
__system_interrupt__("システム割り込み名称");
__system_interrupt__(パラメータ1, "システム割り込み名称");
__system_interrupt__(パラメータ1, パラメータ2, "システム割り込み名称");
===============

===============
システム割り込み名称：wait
パラメータ１　　　　：(int)フレーム
説明　　　　　　　　：スクリプト動作を中断し、エンジンに制御を返します。「フレーム」だけ処理を進めると、本割り込みの次の処理からスクリプトは再開されます。

システム割り込み名称：create_thread
パラメータ１　　　　：(string | function)ラベル名もしくは関数
パラメータ２　　　　：(valiable)引数
説明　　　　　　　　：スレッドを新たに生成し、実行可能状態にします。スレッドは「ラベル名もしくは関数」で定義されるラベルもしくは関数より実行されます。
　　　　　　　　　　　関数の場合「引数」に指定した値がその関数に第1引数として代入されています。
　　　　　　　　　　　作成されたスレッドが実行されるタイミングは「１−５．スレッド」を参照してください。

システム割り込み名称：get_thread_id
説明　　　　　　　　：スレッド識別子を取得します。

システム割り込み名称：exit_thread
パラメータ１　　　　：(int)スレッド識別子
説明　　　　　　　　：「スレッド識別子」に該当するスレッドを終了します。自分自身のスレッドを終了させることも可能です。
　　　　　　　　　　　「スレッド識別子」に負の値を設定した場合は、システムコール実行元を含めて全てのスレッドを終了します。

システム割り込み名称：pause_thread
パラメータ１　　　　：(int)スレッド識別子
パラメータ２　　　　：(int)フラグ
説明　　　　　　　　：上位のシステムが定義する「ポーズ」状態に対して、「スレッド識別子」に該当するスレッドを停止させなくします。
　　　　　　　　　　　「フラグ」がTRUEならば非停止、FALSEならば停止します。スレッドの初期値はFALSEです。

システム割り込み名称：exist_value
パラメータ１　　　　：(string)変数名
説明　　　　　　　　：「変数名」で定義される変数の実態が存在する場合はTRUEを取得できます。存在しない場合はFALSEを取得できます。
===============

１−５．スレッド

１−５−１．生成方法

スレッドを生成する方法は以下の３つです。

1. 関数名「main」の関数を定義する
例）function main() {...}
2. 関数の定義にautorun属性を付与する
例）function autorun myfunc() {...}
3. スクリプト動作中ぬcreate_threadシステム割り込みを使用する
例）create_thread(myfunc, 0);

create_threadシステム割り込み（を内包したcreate_thread関数）を使用する場合は、その場で実行可能なスレッドが一つ作成されます。複数回create_threadを呼ぶことで、一つの関数から複数のスレッドを作り、並列動作させることが出来ます。

１−５−２．スコープ

スレッドごとにスタックは別々に保持しています。異なるスレッドのローカル変数にはアクセスできず、また自身のスレッドのローカル変数は他のスレッドから保護されています。 グローバル変数はスレッド間で共有です。

１−５−３．実行順序

スレッドは作成された順番に実行されます。この事項順序が途中で変わることはありません。

===============
上位システムが処理を行う
↓
最初に作成されたスレッドが処理を行う
↓
２番目に作成されたスレッドが処理を行う
↓
３番目に作成されたスレッドが処理を行う
↓
４番目に...
↓
最初に戻る
===============