コンパイラ（onionc）¶
onionc コマンドは、OnionのソースファイルをJVMの .class ファイルにコンパイルします。
使い方¶
オプション¶
-classpath <classpath>¶
コンパイル時のクラスパスを設定します。外部のJavaライブラリや、他のコンパイル済みOnionクラスを参照する場合に使います。
-encoding <encoding>¶
ソースファイルの文字エンコーディングを指定します。未指定時はプラットフォーム依存のデフォルトが使われます。
-d <出力ディレクトリ>¶
生成されたクラスファイルの出力先を設定します。未指定時はカレントディレクトリに出力されます。
クラスファイルはモジュール名に応じて整理されます。
- Unix系: org/onion_lang/MyClass.class
- Windows: org\onion_lang\MyClass.class
-maxErrorReport <count>¶
報告するコンパイルエラーの最大数を制限します。大量のエラーがある大規模プロジェクトで便利です。
-super <super class>¶
トップレベルのスクリプトが生成するクラスの親クラスを指定します。明示的なクラス宣言が ない場合にのみ意味を持ちます。
--verbose¶
各コンパイルフェーズ（構文解析、書き換え、型検査、コード生成）の所要時間を実行時に 表示します。
--dump-ast¶
構文解析後のASTを標準エラー出力に出力します。構文やパースのデバッグに便利です。
--dump-typed-ast¶
型付きASTの概要（クラス、フィールド、メソッド）を標準エラー出力に出力します。
--profile-compile¶
各フェーズの所要時間、ソース数、クラスパスサイズ、生成クラス数を含むコンパイルプロファイルを出力します。
--profile-format <text|json>¶
コンパイルプロファイルの出力形式を選択します。
--profile-output <target>¶
コンパイルプロファイルを stderr、stdout、またはファイルパスに出力します。
onionc --profile-compile --profile-format json \
--profile-output target/profile.json \
MyProgram.on
--warn <off|on|error>¶
警告の扱いを制御します。error を指定すると警告をコンパイルエラーとして扱います。
--Wno <codes>¶
特定の警告カテゴリをコードまたは名前で抑制します。
各コードは W#### 形式、または以下に示す --Wno 用の名前のどちらでも指定できます。
| コード | 名前 | 説明 |
|---|---|---|
W0001 |
unused-variable |
未使用の変数 |
W0002 |
unused-import |
未使用の import |
W0003 |
unreachable-code |
到達不能コード |
W0004 |
deprecated, deprecated-feature |
非推奨の機能 |
W0005 |
shadowed-variable |
変数のシャドーイング |
W0006 |
unused-parameter |
未使用の引数 |
W0007 |
empty-block |
空のブロック |
W0008 |
redundant-cast |
冗長なキャスト |
W0009 |
possible-null-deref, null-deref |
null 参照の可能性 |
W0010 |
unnecessary-conversion |
不要な型変換 |
W0011 |
unchecked-cast |
未検査キャスト |
W0012 |
null-to-non-nullable |
非 null 型への null 代入 |
W0013 |
suspicious-interpolation |
疑わしい文字列補間構文 |
W0014 |
discarded-toplevel |
main が定義されているためトップレベル文が無視された |
W0015 |
platform-unboxing |
ボックス化されたプラットフォーム値が非 null プリミティブへ暗黙的にアンボックスされた |
--no-check-laws¶
レコードの law / example 句を実行しません。
既定ではコンパイル時に実行される——つまりコンパイラがそのコードを走らせます。
実行したくないファイルをコンパイルする場合に指定してください。引き換えに
parse ∘ format == id のような不変条件は検査されなくなります。
--law-seed <n> / --law-samples <n>¶
law のサンプル生成を制御します。law が反例で否定されたときは、その反例を生んだ設定が
メッセージに出るので、同じ実行を再現できます。サンプル数を増やせば別の反例を探せます。
--effects¶
コンパイルされた各メソッドの推論済みエフェクト集合（read write net exec env clock rand console unknown。空はpureを意味する）を標準エラー出力に表示します。
例¶
基本的なコンパイル¶
1つのファイルをコンパイルします。
これにより、カレントディレクトリに Hello.class が作成されます。
複数ファイルのコンパイル¶
複数のソースファイルを同時にコンパイルします。
出力ディレクトリの指定¶
出力を整理します。
クラスファイルは out/classes/ に出力されます。
クラスパス付きのコンパイル¶
外部ライブラリを参照します。
完全な例¶
onionc \
-d build/classes \
-classpath lib/external.jar \
-encoding UTF-8 \
-maxErrorReport 20 \
src/*.on
コンパイル後の実行¶
コンパイル後は、Javaで実行します。
またはJARで実行します。
# コンパイル
onionc -d build Main.on Helper.on
# JARの作成
jar cvfe program.jar Main -C build .
# JARの実行
java -jar program.jar
モジュール構成¶
OnionはJavaと同様のモジュール名（パッケージ）を使用します。
MyClass.on:
module com.example.myapp
class MyClass {
public:
static def main(args :String[]): void {
println("Hello")
}
}
コンパイル:
出力:
実行:
コンパイルエラー¶
よくあるエラー¶
型の不一致:
未定義の変数:
メソッドが見つからない:
インクリメンタルコンパイル¶
onionc は指定したファイルを毎回すべてコンパイルします。大規模プロジェクトでは以下を検討してください。
- 変更されたファイルのみをコンパイルする
- ビルドツールを使う（Make、SBT、Gradleなど）
- コードをモジュールに分割する
ビルドツールとの統合¶
Makefileの例¶
SRC_DIR = src
OUT_DIR = build/classes
SOURCES = $(wildcard $(SRC_DIR)/*.on)
all: compile
compile:
mkdir -p $(OUT_DIR)
onionc -d $(OUT_DIR) $(SOURCES)
clean:
rm -rf $(OUT_DIR)
run: compile
java -cp $(OUT_DIR) Main
シェルスクリプトの例¶
#!/bin/bash
SRC_DIR="src"
OUT_DIR="build/classes"
CLASSPATH="lib/*"
mkdir -p "$OUT_DIR"
echo "Compiling Onion sources..."
onionc -d "$OUT_DIR" -classpath "$CLASSPATH" "$SRC_DIR"/*.on
if [ $? -eq 0 ]; then
echo "Compilation successful"
echo "Running program..."
java -cp "$OUT_DIR:$CLASSPATH" Main
else
echo "Compilation failed"
exit 1
fi
コンパイラ出力¶
成功時のコンパイル¶
通常、成功時は何も出力されません。
コンパイルエラー¶
エラーは標準エラー出力に書き出されます。
$ onionc BadProgram.on
Error: Type mismatch at BadProgram.on:5
Error: Undefined variable at BadProgram.on:10
Compilation failed with 2 errors
分割コンパイルとリンク¶
Onion のユニットは独立してコンパイルでき、クラスパスを介してロード時にリンクされます
——すべてのソースを 1 回の onionc 呼び出しに含める必要はありません。ライブラリを先に
コンパイルし、生成された .class に対してクライアントをコンパイルします。
# ライブラリを先にコンパイル
onionc -d out/lib greeter/Greeter.on
# ライブラリ出力をクラスパスに置いてクライアントをコンパイル
onionc -d out/app -classpath out/lib app/Main.on
# リンクは JVM の仕事——全出力ディレクトリ（と onion.jar）をクラスパスに
java -cp onion.jar:out/lib:out/app Main # => Hello, Onion
クラス・インターフェース・レコード・enum・継承・静的メンバ、そしてジェネリック型が
ユニット境界を越えられます。onionc が .class に JVM ジェネリックシグネチャを書き込むため、
ジェネリック型は型パラメータを保持します（別ユニットの new Container[String](x) が解決）。
ユニットは依存順にコンパイルします（参照先を先にコンパイル）。インクリメンタルビルドの キャッシュは無いため、ユニットの公開 API が変わったら依存側を再コンパイルしてください。