Java Cofoja 在 eclipse 中不工作

Question

我尝试按照 here 所述在我的 eclipse 项目中设置 Cofoja。当我尝试使用 Cofoja 运行我的项目时，我总是得到一个 IllegalArgumentException。

[com.google.java.contract:agent FATAL ERROR while instrumenting cofoja/Main (stack trace follows)]
java.lang.IllegalArgumentException
    at org.objectweb.asm.ClassReader.<init>(Unknown Source)
    at org.objectweb.asm.ClassReader.<init>(Unknown Source)
    at org.objectweb.asm.ClassReader.<init>(Unknown Source)
    at com.google.java.contract.core.agent.ContractClassFileTransformer.analyze(ContractClassFileTransformer.java:354)
    at com.google.java.contract.core.agent.ContractClassFileTransformer.transform(ContractClassFileTransformer.java:267)
    at sun.instrument.TransformerManager.transform(TransformerManager.java:188)
    at sun.instrument.InstrumentationImpl.transform(InstrumentationImpl.java:428)
    at java.lang.ClassLoader.defineClass1(Native Method)
    at java.lang.ClassLoader.defineClass(ClassLoader.java:763)
    at java.security.SecureClassLoader.defineClass(SecureClassLoader.java:142)
    at java.net.URLClassLoader.defineClass(URLClassLoader.java:467)
    at java.net.URLClassLoader.access0(URLClassLoader.java:73)
    at java.net.URLClassLoader.run(URLClassLoader.java:368)
    at java.net.URLClassLoader.run(URLClassLoader.java:362)
    at java.security.AccessController.doPrivileged(Native Method)
    at java.net.URLClassLoader.findClass(URLClassLoader.java:361)
    at java.lang.ClassLoader.loadClass(ClassLoader.java:424)
    at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:338)
    at java.lang.ClassLoader.loadClass(ClassLoader.java:357)
    at sun.launcher.LauncherHelper.checkAndLoadMain(LauncherHelper.java:495)

我不知道我的设置有什么问题或问题出在哪里... 而且我也不确定是否在长期项目中使用 Cofoja，因为它对我来说看起来不太活跃。你对此有何看法？

Answer 1

我只是通过自己编译 Cofoja 让它工作。我认为 java 8 和提供的 jar 文件可能有问题。

Java Cofoja 在 eclipse 中不工作

Java Cofoja not working in eclipse

java

design-by-contract