Cofoja:错误:合同错误:包com.google.java.contract不存在 [英] Cofoja : error: error in contract: package com.google.java.contract does not exist

问题描述

我正在尝试使用Google Cofoja(用于合同编程的Google库). 我已经复制/粘贴了构建文件，直到能够成功编译我的库.

I'm trying to use Cofoja, the Google library for contract programming. I've copied/pasted the build file wich I'm able to compile my library with succesfully.

但是当我开始添加一个注释以指定一个简单的合同规则时，我将无法再进行编译并获得以下控制台输出:

But when I start adding one annotation to specify a simple contract rule, I cannot compile anymore and get this console output :

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:

Here is the IResult.java :

import com.google.java.contract.Ensures;

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

还有我的ant文件:

<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>

任何线索都值得欢迎，我整天都在为此苦苦挣扎.

Any clue is more than welcome, I've been struggling all day on this.

推荐答案

在这一问题上花费了一天的大部分时间之后，以下是解决方案

After spending best part of a day on this issue, the following was the solution

仅将针对合同的类路径，源路径和类输出编译器args添加到您的编译器中(看起来像这样)

Add the classpath, sourcepath and classoutput compiler args to your compile only for contracts (will look like this)

<!-- 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="-Acom.google.java.contract.classpath=${classpathBuild}" />
  <compilerarg value="-Acom.google.java.contract.sourcepath=${src.dir}" />
  <compilerarg value="-Acom.google.java.contract.classoutput=${classes.dir}"/>
  <compilerarg value="-proc:only" />
</javac>

致谢

这篇关于Cofoja:错误:合同错误:包com.google.java.contract不存在的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！