无法在 Eclipse 上配置 cofoja答案

【问题标题】：not able to configure cofoja on eclipse无法在 Eclipse 上配置 cofoja
【发布时间】：2013-04-29 17:08:15
【问题描述】：

Eclipse 是最新的，cofoja 也是最新的，java jre/jdk 也是如此。 ASM 应该包含在 cofoja 中，但我下载了 3.3 以防万一。

我遵循了我在互联网上可以找到的所有程序，但是 eclipse 给出的第一个错误从未改变过第一步：“语法错误，插入“EnumBody”以完成 BlockStatements”。

代码很基础：

import java.io.whatever;
import java.net.whatever;
import com.google.java.contract.Requires;

public class ManageSocketServerExplicit{
    [...]

    public ManageSocketServerExplicit(String p_ipAddress, int p_port){
        @Requires("p_port >= 0")
        this(p_ipAddress,p_port,10,1000);
        [...]
    }
}

错误显然在Require的末尾。

配置目录中有几个项目。假设我只想在其中一个上使用 cofoja。
基目录是 C:\svn_java\Progetti_NET，其中有我想在其上使用 cofoja 的项目，即“Malu”。里面有多个源目录，不仅仅是一个通用的“src”，而且主要的叫做“代码”，它是主体。
所以路径是（用两个斜杠尝试它们，没有任何变化）：
类输出 C:\svn_java\Progetti_NET\Malu\bin
类路径 C:\svn_java\cofoja-1.1-r146.jar
源路径 C:\svn_java\Progetti_NET\Malu\Code
顺便说一下，Eclipse 理解 cofoja 的命名空间：如果我自动完成它们，我可以看到列出的对象。

所以“注释处理”已全部设置，“工厂路径”再次包含“c:\svn_java\cofoja-1.1-r146.jar”。当有变化时工作区会自动更新，并且 asmn 和 cofoja 都在“Java Build Path”的库中。

我尝试在 eclipse.ini 中添加 -vm 命令以使用 jdk (C:/Program Files (x86)/Java/jdk1.7.0_21/bin)，但同样没有任何改变。

由于配置非常简单，修复它应该不难，但我不知道如何。

【问题讨论】：

老实说，我已经摆弄了大约半个小时来搜索这个东西给出的“格式错误”......这样的设置就像“我不关心帖子中的错误，因为它们不是错误”会很有用！特别是在我匆忙的时候！

标签： java eclipse configuration design-by-contract

【解决方案1】：

我在 Eclipse 中使用了 Cofoja，并使用了 link 来配置它。但是它缺少工厂路径。您还需要说明源路径，如我的图像所示。如果使用 eclipse 运行它，则必须设置文件的运行配置并添加以下 VM 参数 -javaagent:JAR 路径/cofoja.jar

而@Requires 和@Ensures 是方法级别的契约。您不能在方法中编写它。相反，您需要编写如下

公共类 ManageSocketServerExplicit{

[...]
@Requires("p_port >= 0") // CONTRACT
public ManageSocketServerExplicit(String p_ipAddress, int p_port){

    this(p_ipAddress,p_port,10,1000);
    [...]
} }

希望对你有帮助：D

【讨论】：

感谢您的回答，但我已经明白我做错了什么:)

【解决方案2】：

好的，我明白出了什么问题：在将cofoja的源代码添加到项目中后，我明白我将@Requires放在了错误的位置......注释@Ensures给了我这个错误，但我忘记了。
:(

【讨论】：

【解决方案3】：

一个很好实现的教程：http://webcourse.cs.technion.ac.il/236700/Spring2013/ho/WCFiles/Contracts%20for%20Java.pdf

【讨论】：