이클립스에서 cofoja를 구성 할 수 없습니다.

Question

이클립스가 최신 상태이며, cofoja도 java jre/jdk입니다. ASM은 cofoja에 포함되어야하지만, 3.3을 다운로드했습니다.

나는 인터넷에서 찾을 수있는 모든 절차를 따랐지만 첫 번째 오류 일식은 첫 번째 단계에서 절대로 변경되지 않았습니다. "구문 오류,"BlockStatements를 완료하려면 "EnumBody"를 삽입하십시오.

코드

은 매우 기본적인 :

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); 
     [...] 
    } 
} 

오류는 필요의 말에 분명하다.

구성 디렉터리에 여러 프로젝트가 있습니다. 그 중 하나에서 cofoja를 사용하고 싶다고 가정 해 봅시다.
기본 디렉토리는 C : \ svn_java \ Progetti_NET이며 cofoja를 사용하려는 프로젝트는 'Malu'입니다. 거기에는 여러 가지 소스 디렉토리가 있지만 일반적인 'src'는 아니지만 주 코드는 '코드'라고하며 이는 주체입니다.
그래서 경로 (두 슬래시, 아무것도 변경되지 그들을 시도)됩니다
classoutput의 C : \ svn_java \ Progetti_NET 말루 \ 빈 \
클래스 경로 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'의 라이브러리에 있습니다.

또한 jdk (C :/Program Files (x86) /Java/jdk1.7.0_21/bin)를 사용하기 위해 eclipse.ini에서 -vm 명령을 추가하려고 시도했지만 아무 것도 변경되지 않았습니다.

구성이 매우 간단하기 때문에 수정하기가 너무 어렵지는 않지만 어떻게해야할지 모르겠다.

Answer 1

좋아, 내가 잘못 이해 : 프로젝트에 cofoja의 소스 코드를 추가 한 후 나는 @Requires를 잘못된 위치에 배치했다. 주석 @Ensures가 나에게이 오류를 주었지만 잊어 버렸다. . :(

Answer 2

내가 이클립스와 함께 Cofoja을 사용하고 나는 그것을 구성 할 수 있습니다. 을 내 이미지와 같이가. 당신은 너무 원본 경로를 상태로 누락 된 공장 경로 필요가있다 그러나이 link을 사용했다. 사용하여 실행하는 경우 일식, 파일의 실행 구성을 설정하고 다음과 같은 VM의 가지 인자를 -javaagent 추가 할 수 있습니다. /cofoja.jar

그리고 @Requires 및 @Ensures 메소드 수준의 계약이다 항아리 TO PATH를 당신은 캔트 메소드 내에서 작성하십시오.대신 당신은

공용 클래스 ManageSocketServerExplicit {

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

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

는 희망이 도움이 다음과 같이 작성해야합니다 : D를

Answer 3

매우 잘 실현 튜토리얼 : http://webcourse.cs.technion.ac.il/236700/Spring2013/ho/WCFiles/Contracts%20for%20Java.pdf