我最近对 DBC 方法很感兴趣。由于 Java 是我的“本机”语言,我查看了cofoja和最近的 java-on-contracts。我主要是开发安卓软件,所以我自然希望能在我的手机上使用合约。
这两个项目都需要使用类似的东西
java -javaagent:path/to/cofoja-<version>.jar <someclass>
作为 JVM 参数。是否可以使用此 JVM 参数在手机上启动 apk?dalvik 甚至支持这种参数吗?
我怎么能传递这个参数来启动应用程序?我不知道如何开始。也许通过蚂蚁脚本?