私は最近、DBC の方法論に興味を持つようになりました。Java は私の「ネイティブ」言語なので、 cofojaと最近ではjava-on-contractsを調べました。主にAndroidのソフトを作っているので、当然スマホでも契約できるようにしたいです。
どちらのプロジェクトでも、次のようなものを使用する必要があります
java -javaagent:path/to/cofoja-<version>.jar <someclass>
JVM パラメータとして。この JVM パラメータを使用して電話で apk を起動することはできますか? dalvik はこの種のパラメータをサポートしていますか?
このパラメーターを渡してアプリケーションを開始するにはどうすればよいでしょうか? どうやって始めたらいいのかわからない。多分antスクリプトを介して？