I recently became interested in the DBC methodology. Since Java is my native language, I looked through cofoja and most recently java-on-contracts . I mainly create software for Android, so naturally, I would like to be able to use contracts on my phone.
Both projects require the use of something similar to
java -javaagent:path/to/cofoja-<version>.jar <someclass>
as a JVM parameter. Can I use this JVM parameter to run apk on the phone? Does Dalwick even support such parameters?
How can I pass this parameter to run the application? I do not know how to start. Perhaps through an ant script?
source share