Statement
スマートコントラクト内の変更可な変数の読み書きは以下となります。
x <- f
変更可なフィールド変数fを変数xに代入します。
f := x
変数xを変更可なフィールド変数fに代入します。
※fはContractにて以下のように宣言される変更可な変数です。
field f : Int32 = 1
x <- & BLOCKNUMBER
ブロックチェーンの状態も読み込むことができます。
ブロックチェーンのブロック番号の読み込みは、特別なキーワード&が必要となり、ブロック番号はBLOCKNUMBERと宣言する必要があります。
accept
送金されたZILトークンを受け取る場合はacceptの記述が必要です。