Question

我正在尝试使用Google图书馆Cofoja进行合约编程。我已经复制/粘贴了构建文件，因为我能够成功地编译我的库。

但是当我开始添加一个注释来指定一个简单的契约规则时，我再也无法编译并得到这个控制台输出：

build:
[javac] C:\Users\Admin\test\Seismi\build.xml:24: warning: 'includeantruntime' was not set, defaulting to build.sysclasspath=last; set to false for repeatable builds
[javac] Compiling 2 source files to C:\Users\Admin\test\Seismi\build\classes
[javac] C:\Users\Admin\test\Seismi\build.xml:31: warning: 'includeantruntime' was not set, defaulting to build.sysclasspath=last; set to false for repeatable builds
[javac] Compiling 9 source files to C:\Users\Admin\test\Seismi\build\contracts
[javac] error: error in contract: package com.google.java.contract does not exist
[javac] error: error in contract: package com.google.java.contract does not exist
[javac] error: error in contract: package com.google.java.contract does not exist
[javac] error: error in contract: package com.google.java.contract does not exist
[javac] error: error in contract: package com.google.java.contract does not exist
[javac] error: error in contract: package com.google.java.contract does not exist
[javac] error: error in contract: package com.google.java.contract.core.agent does not exist
[javac] error: error in contract: package com.google.java.contract.core.agent does not exist
[javac] error: error in contract: package com.google.java.contract.core.agent does not exist
[javac] C:\Users\Admin\test\Seismi\src\com\backpapp\requestmanager\IResult.java:7: error: error in contract: package com.google.java.contract does not exist
[javac]     @Ensures({"result != null","!result.isEmpty()"})
[javac]     ^
[javac]   clause: result != null
[javac]                         ^
[javac] 13 errors

这是IResult.java：

import com.google.java.contract.Ensures;

public interface IResult {
    @Ensures({"result != null","!result.isEmpty()"})
    public String getId();
}

我的蚂蚁档案：

<project name="Seismi" default="dist" basedir=".">

  <!-- Project directories. -->
  <property name="src.dir" location="src"/>
  <property name="dist.dir" location="dist"/>
  <property name="lib.dir" location="libs"/>
  <property name="build.dir" location="build"/>
  <property name="classes.dir" location="${build.dir}/classes"/>
  <property name="contracts.dir" location="${build.dir}/contracts"/>


  <property name="cofoja" value="cofoja.asm.jar"/>

   <path id="class.path">
     <pathelement location="${lib.dir}/${cofoja}"/>   
     <pathelement location="${lib.dir}/json-simple-1.1.1.jar"/>
   </path>

  <target name="build">
    <mkdir dir="${build.dir}"/>

    <!-- Compiles WITHOUT contracts. -->
    <mkdir dir="${classes.dir}"/>
    <javac srcdir="${src.dir}" destdir="${classes.dir}">
      <classpath refid="class.path"/>
      <compilerarg value="-proc:none"/>
    </javac>

    <!-- Compiles ONLY the contracts. -->
    <mkdir dir="${contracts.dir}"/>
    <javac srcdir="${src.dir}" destdir="${contracts.dir}">
      <classpath>
        <path refid="class.path"/>
        <!-- Add ${classes.dir} to the second compilation class path
             so that Cofoja finds your already compiled class files. -->
        <pathelement path="${classes.dir}"/>
      </classpath>
      <compilerarg value="-proc:only"/>
    </javac>
  </target>

  <target name="dist" depends="build">
    <mkdir dir="${dist.dir}"/>
    <jar destfile="${dist.dir}/${ant.project.name}.jar">
      <fileset dir="${classes.dir}"/>
      <fileset dir="${contracts.dir}"/>

    </jar>
  </target>


  <target name="clean">
    <delete dir="${build.dir}"/>
    <delete dir="${dist.dir}"/>
  </target>
</project>

任何线索都非常受欢迎，我一整天都在苦苦挣扎。

Answer 1

在这个问题上度过了最好的一天，以下是解决方案

将classpath，sourcepath和classoutput编译器args添加到仅用于契约的编译中（看起来像这样）

img = img.Resize(300, 300);

此致

Cofoja：错误：合同错误：包com.google.java.contract不存在

1 个答案: