kaj*_*man 5 java android design-by-contract jvm-arguments
我最近对 DBC 方法产生了兴趣。由于 Java 是我的“本机”语言,我查看了cofoja和最近的java-on-contracts。我主要创建Android软件,所以我自然希望能够在我的手机上使用合同。
这两个项目都需要使用类似的东西
java -javaagent:path/to/cofoja-<version>.jar <someclass>
Run Code Online (Sandbox Code Playgroud)
作为JVM参数。是否可以使用此 JVM 参数在手机上启动 apk?dalvik 甚至支持这种参数吗?
我怎么能通过这个参数来启动一个应用程序?我不知道如何开始。也许通过蚂蚁脚本?
Android 上最接近 javaagent 的是 Instrumentation:
http://developer.android.com/reference/android/app/Instrumentation.html
但我怀疑 cofoja 是否会开箱即用地支持这一点。我认为可以实施这个,但不确定这样的项目是否已经开始
这是大致按照您想要的方向进行的项目:
http://code.google.com/p/droidbox/
| 归档时间: |
|
| 查看次数: |
1735 次 |
| 最近记录: |