解析・ビルド・最適化

​

操作の選択

いずれもLuaを実行しません。ファイルを読み込んだり、VMを作ったり、ゲームのtickを進めたりする処理も含みません。passMetadata()の件数と登録パス総数は同じではありません。 コンパイラの対象は現在Vehicleのみです。target: "addon"は解析・非短縮ビルドを含めて拒否します。Addonを実行できることとは別の対応範囲です。

​

論理プロジェクト

プロジェクトはentry、modules、任意のambientを持ちます。modulesは論理モジュール名からLuaソースへの対応表です。例えば、{entry:"main", modules:{main:"local m=require('util') return m.value", util:"return {value=7}"}}です。 ファイルパス、保存、監視、エディタの未保存バッファはホスト側が管理します。単一ソースを短縮するだけなら、プロジェクトを作る必要はありません。 ambientは名前空間ごとに、注入可能なモジュールや実行環境専用の定義を指定します。非短縮リンクと最適化ビルドは、同じモジュール構造・注入規則を使用します。

​

Rustから使用する

解析はstorm_lua_analysis::analyze(&project, &options)、プロジェクトビルドはstorm_lua_build::build(&project, &options)、単一ソースはstorm_lua_build::minify(source, &options)です。 これらは同期的で、ファイルシステムやLua VMを必要としません。通常のホストは上位APIを使い、明示的な候補処理が必要な場合だけstorm-lua-minifyを参照します。ASTを直接作る低レベル利用者は、ノードIDと構造の契約を守る必要があります。 Nativeの実行例は、2モジュールをビルドし、生成物を明示的にVehicleへロードして出力を確認します。利用アプリがconformanceクレートへ依存する必要はありません。

​

TypeScriptから使用する

@stormcat-works/storm-lua-engine/compilerからloadCompilerをimportし、await loadCompiler()でコンパイラだけを初期化します。この入口のimportだけではWASMをロードせず、初期化しても実行系・描画系のWASMは読み込みません。 単一ソースにはcompiler.minify(source, {target:"vehicle", numericMode:"exact", zeroCostNewlines:false})を使います。複数ソースには、非短縮のcompiler.build(project, {minify:false})、またはcompiler.build(project, {minify:true, targetSize:8192})を使います。編集中の診断はcompiler.analyze(project)として分離します。 Nodeでは選択したWASMファイルをホストで読み、wasmBinaryとして渡せます。ブラウザでは既定の同梱アセット、wasmUrl、またはbytesを指定します。moduleUrlは信頼した生成JSアダプタの場所です。wasmUrlとwasmBinaryは同時に指定しません。 初期化後の処理は同期的です。ブラウザではホストが作ったWorkerから呼び、UIやシミュレーションと分離します。/compiler-workerのCompilerWorkerClientとserveCompilerは通信を共有するためのアダプタです。Workerを自動で作らず、終了・中断はホストが決めます。環境ガイドを参照してください。

​

出力と適用条件

コンパイル成功と目標文字数達成は別です。ok、diagnostics、code、size、search.targetMetを確認し、ホストが表示・保存・エクスポートの可否を判断します。文字数未達を構文エラーへ置き換えることはありません。 numericMode: "exact"と"tolerant"は数値変換の契約です。mode:"safe"を指定することとexactを指定することは同義ではありません。assumptions、disabledPasses、propertyModeなどの結果も確認してください。 非短縮ビルドでは、ソース内容を含む行単位のソースマップを返します。元ファイルで指定したブレークポイント、停止位置、runtime errorの戻し方は非短縮ソースマップを参照してください。合成行には架空の元位置を割り当てません。短縮後のマップや、消えた変数・実行順を原文へ完全に復元するデバッグ情報は提供しません。生成物のロードや差し替えはホストの明示操作です。

​

環境と動的参照

既定の環境はgameです。既知の不在機能への依存は、編集時の解析では警告、単一・複数ソースの生成ではエラーになります。nil/typeによる存在確認や、自分で定義した同名ローカルは名前だけで拒否しません。 ソースに代入がない外部グローバルは勝手に改名・nil化しません。_ENVへのアクセス・再束縛、extended環境、ホスト関数の置換を使うコードは、識別子・リテラル・トークン順序・行位置を保持する字句短縮を行います。 この経路ではconservative-minificationとsearch.mode:"lexical"を返し、property固定化やAST最適化は行いません。目標文字数を超えても危険な変換へ切り替えません。 開発用のrequireLoaderと、コンパイラの静的リンクは別の仕組みです。ビルドがruntimeのホストローダーを呼び出すことはありません。読み込み方式の違いはrequireと複数チャンクにまとめています。

​

廃止設定

general-expression-factoring、repeated-expression-factoring、scalar-vector-loop-synthesis、redundant-nil-fallback-eliminationは削除済みです。未知または廃止されたパスIDは、true/falseのどちらでもunknown-optimization-passになります。数値モードによる正当な除外とは別の扱いです。 実行可能なconsumerと適合性試験はSDKリポジトリで管理します。利用者向けの手順はこのサイトを正本とし、コード内部の実装仕様・テスト記録とは分離しています。