2

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 の最後にあります。

構成 ディレクトリにはいくつかのプロジェクトがあります。そのうちの1つだけでcofojaを使用したいとしましょう。
ベース ディレクトリは C:\svn_java\Progetti_NET で、そこには cofoja を使用したいプロジェクト、'Malu' があります。その中には、一般的な「src」だけでなく、メインは「コード」と呼ばれる複数のソースディレクトリがあり、それがプリンシパルです。
したがって、パスは次のとおりです (両方のスラッシュで試してみましたが、何も変わりませ ん
)
。 ちなみに、Eclipse は cofoja の名前空間を認識します。オブジェクトをオートコンプリートすると、リストされているオブジェクトを見ることができます。

「注釈処理」がすべて設定され、「Factory Path」には「c:\svn_java\cofoja-1.1-r146.jar」が含まれます。ワークスペースは変更があると自動的に更新され、asmn と cofoja の両方が「Java ビルド パス」のライブラリにあります。

jdk (C:/Program Files (x86)/Java/jdk1.7.0_21/bin) を使用するために eclipse.ini に -vm コマンドも追加しようとしましたが、やはり何も変わりませんでした。

構成は非常に単純なので、修正するのはそれほど難しいことではありませんが、方法がわかりません。

4

3 に答える 3

0

非常によく理解されたチュートリアル: http://webcourse.cs.technion.ac.il/236700/Spring2013/ho/WCFiles/Contracts%20for%20Java.pdf

于 2015-02-27T11:42:46.663 に答える
0

わかりました、何が問題なのか理解しました: プロジェクトに cofoja のソース コードを追加した後、@Requires を間違った場所に配置したことを理解しました... 注釈 @Ensures によってこのエラーが発生しましたが、それを忘れていました。
:(

于 2013-04-30T08:24:57.167 に答える