Moveコントラクトの操作
Aptos CLIは主に、Moveコントラクトのコンパイル、テスト、形式検証に使用されます。まだ Aptos CLIをインストールし ていない場合は、以下でインストール出来ます。 Install the Aptos CLI.
ここからセクションへジャンプできます:
CLIを使用してMoveコントラクトをオンチェーンで連鎖させる方法は"CLI引数"チュートリアルを御覧下さい。
このドキュメントは全体的に、コマンドを状況で変更しなくてはならない部分が有ります。それらの変数は<この様な>三角括弧で囲まれます。
1. Moveのコンパイル
以下のコマンドを実行してMoveパッケージをコンパイル出来ます。
aptos move compile --package-dir <your-package-directory>
パッケージ ディレクトリは、Move.tomlファイルが含まれるフォルダーです。
Move.tomlファイル内の設定を基準として、コンパイルコマンドへ追加情報を渡す必要がある場合が有ります。
例えばhello_blockchainサンプルのMoveコントラクトを見ると、Move.tomlファイル内でhello_blockchainという名前の変数が指定されています。
[addresses]
hello_blockchain = "_"
これをコンパイルするには、--named-addressesパラメータを使用してhello_blockchainの値を渡す必要があります。
aptos move compile --package-dir aptos-move/move-examples/hello_blockchain/ --named-addresses hello_blockchain=superuser
Moveコントラクトをコンパイルする際のオプションパラメータの詳細については、aptos move compile --helpを実行して下さい。
2. Moveコントラクトのユニットテスト
AptosCLIを使用すると、以下のコマンドの実行でローカルでユニットテストをコンパイル、実行する事も出来ます。
aptos move test --package-dir <your-package-directory>
このコマンドはコンパイルとテストの実行の両方を行うため、コンパイル時に使用するのと同じオプションパラメータが全て必要となります。
aptos move test --helpを実行すると、moveコントラクトをテストするためのオプションパラメータの詳細を学習出来ます。
デバッグ情報の出力
テストを書く時、デバッグ情報やスタックトレースを出力すると便利です。aptos move testを使う時、debug::printとdebug::print_stack_traceを使用して情報を出力する事でこれを実現出来ます。
DebugDemo.moveでの使用方法の例を御覧下さい。
DebugDemo.moveパッケージのテストの出力を確認するなら、
[aptos-core](https://github.com/aptos-labs/aptos-core)をクローンします。cd crates/aptos/debug-move-exampleを実行してdebug-move-exampleへ移動します。aptos move testを実行します。
以下も御覧下さい。
Running Move unit tests
[debug] 0000000000000000000000000000000000000000000000000000000000000001
Call Stack:
[0] 0000000000000000000000000000000000000000000000000000000000000001::Message::sender_can_set_message
Code:
[4] CallGeneric(0)
[5] MoveLoc(0)
[6] LdConst(0)
> [7] Call(1)
[8] Ret
Locals:
[0] -
[1] 0000000000000000000000000000000000000000000000000000000000000001
Operand Stack:
このMove チュートリアルに従ってください(手順 2 では単体テストに焦点を当てています)。
Moveを使用して単体テストを記述する方法の詳細はMoveチュートリアルを御覧下さい。(ステップ2で単体テストへ焦点を当てています)。
3. テスト範囲レポートの作成
Aptos CLIを使用するとMoveモジュールのテスト分析と改善が出来ます。この機能を使用するには、
テストのコード範囲を確認するには、Moveパッケージのディレクトリから以下のコマンドを実行します。
aptos move test --coverage
特定のパ ッケージへ範囲を絞り込みたい場合は、--filterオプションを使用します。更に特定のMoveモジュールへ絞り込む場合は--moduleパラメータを使用します。
より詳細で高度な範囲情報(コンパイルされたバイトコード内のテスト範囲など)はaptos move coverageを実行出来ます。このコマンドを使用すると、どのような範囲情報を知りたいのか具体的な詳細情報の入力をCLIが指示します。
aptos move test --help及びaptos move coverage --helpを実行すると、テストする範囲のオプションパラメータの詳細を学習出来ます。
4. Moveコントラクトの公開
Moveコントラクトを公開する場合、以下を実行する必要があります。
aptos move publish --package-dir <your-package-directory>
注意。メインネットワークで公開する場合、オプション パラメーターに渡す--named-addressesの様な資格情報は、テスト資格情報ではなく、ネットワーク上のアカウントを反映する必要が有ります。
パッケージはCLIのデフォルトプロファイルへ公開されます。
これを無視して、--profileコマンドを使用してどのアカウントで公開するか特定出来ます。特定のアカウントの新しいプロファイルを生成するには、aptos init --profile <name_of_profile>を使用してプロンプトへ従います。
Moveモジュールを公開する際、1つのパッケージに複数のモジュールが含まれている場合、そのパッケージの全モジュールが同じアカウントを使用する必要がある事にも注意して下さい。 異なるアカウントを使用すると、トランザクションレベルで公開が失敗します。
Gas Profilerを使用すると、Moveコントラクトの公開に関連するガス料金を見積もる事が出来ます。
デフォルトでは、Moveコント ラクトはソースコードを公開します。ソースコードでの公開を回避するには、--included-artifacts none引数を使用して公開します。
Aptosブロックチェーンは設計上本質的にオープンであるため、ソースアクセスがなくても、公開された MoveバイトコードからMoveソースを再生成できる事に注意してください。
5. 公開されたコントラクトの実行
Moveパッケージを公開したので、CLIから直接実行できます。
まず、以下を組み合わせてfunction-idを構築する必要が有ります。
<the-address-you-published-to>::<module_name>::<function_name>
次に、--argsパラメータを使用して引数を渡す事ができます。
例えば、hello_blockchainサンプルパッケージを
b9bd2cfa58ca29bce1d7add25fce5c62220604cd0236fe3f90d9de91ed9fb8cbアドレスのアカウントへ公開した場合、以下のコマンドでそのset_message関数を実行出来ます。
aptos move run --function-id 0xb9bd2cfa58ca29bce1d7add25fce5c62220604cd0236fe3f90d9de91ed9fb8cb::message::set_message --args string:hello!
結果は:
{
"Result": {
"changes": [
{
"address": "b9bd2cfa58ca29bce1d7add25fce5c62220604cd0236fe3f90d9de91ed9fb8cb",
"data": {
"authentication_key": "0xb9bd2cfa58ca29bce1d7add25fce5c62220604cd0236fe3f90d9de91ed9fb8cb",
"self_address": "0xb9bd2cfa58ca29bce1d7add25fce5c62220604cd0236fe3f90d9de91ed9fb8cb",
"sequence_number": "3"
},
"event": "write_resource",
"resource": "0x1::account::Account"
},
{
"address": "b9bd2cfa58ca29bce1d7add25fce5c62220604cd0236fe3f90d9de91ed9fb8cb",
"data": {
"coin": {
"value": "9777"
},
"deposit_events": {
"counter": "1",
"guid": {
"id": {
"addr": "0xb9bd2cfa58ca29bce1d7add25fce5c62220604cd0236fe3f90d9de91ed9fb8cb",
"creation_num": "1"
}
}
},
"withdraw_events": {
"counter": "1",
"guid": {
"id": {
"addr": "0xb9bd2cfa58ca29bce1d7add25fce5c62220604cd0236fe3f90d9de91ed9fb8cb",
"creation_num": "2"
}
}
}
},
"event": "write_resource",
"resource": "0x1::coin::CoinStore<0x1::aptos_coin::AptosCoin>"
},
{
"address": "b9bd2cfa58ca29bce1d7add25fce5c62220604cd0236fe3f90d9de91ed9fb8cb",
"data": {
"counter": "4"
},
"event": "write_resource",
"resource": "0x1::guid::Generator"
},
{
"address": "b9bd2cfa58ca29bce1d7add25fce5c62220604cd0236fe3f90d9de91ed9fb8cb",
"data": {
"message": "hello!",
"message_change_events": {
"counter": "0",
"guid": {
"id": {
"addr": "0xb9bd2cfa58ca29bce1d7add25fce5c62220604cd0236fe3f90d9de91ed9fb8cb",
"creation_num": "3"
}
}
}
},
"event": "write_resource",
"resource": "0xb9bd2cfa58ca29bce1d7add25fce5c62220604cd0236fe3f90d9de91ed9fb8cb::Message::MessageHolder"
}
],
"gas_used": 41,
"success": true,
"version": 3488,
"vm_status": "Executed successfully"
}
}
6. (オプション)Moveスクリプトの形式検証
ユニットテストを超えてコードが期待どおり動作する事を保証したい場合はMove Proverを使用してMoveコントラクトコードを形式検証できます。
Move Proverはこれらの手順でインストール出来ます。
Move Proverをインストールしたら、以下を実行してAptos CLIから使用出来ます。
aptos move prove --package-dir <your-package-directory>
コードを形式検証する方法の学習は、ここにある詳細な Move チュートリアルに従ってください(手順 7 と 8 では、Move Proverの使用方法とサンプル コードでの形式の特定方法を解説します)。 コードを形式検証する方法の学習はここの詳細な Move チュートリアルに従って下さい。(手順 7と8では、Move Proverの使用方法とサンプルコードでの形式の特定方法を解説します)。