Checker Framework Eclipse Plugin이로드 될 때 예외가 발생합니다.

Eclipse 4.6.2와 "Checker Framework Feature"2.1.7 플러그인이 설치되어 있습니다. 플러그인이 처음 사용 Checker Framework Eclipse Plugin이로드 될 때 예외가 발생합니다.

(예를 들어, 내가 마우스 오른쪽 버튼으로 클릭하고 상황에 맞는 메뉴 항목 위에 마우스를 가져 가면 "검사기 프레임 워크/검사기 내장 실행") 다음 오류가 이클립스 오류 로그에 나타납니다 :

Plug-in checker.framework.eclipse.plugin was unable to load class org.checkerframework.eclipse.actions.CheckerActions$signednessAction. 

java.lang.NoClassDefFoundError: org/checkerframework/eclipse/actions/CheckerActions$signednessAction (wrong name: org/checkerframework/eclipse/actions/CheckerActions$SignednessAction) 
    at java.lang.ClassLoader.defineClass1(Native Method) 
    at java.lang.ClassLoader.defineClass(Unknown Source) 
...

이

사람이 도와 드릴까요 ... 클래스 SignednessAction의 대문자/소문자에 문제가있는 것 같아? Checker Framework를 사용하고 싶습니다.

감사합니다.

출처

2017-01-05 MonitorLizard

두 번째 오류 메시지가 있습니다. ' 'org.checkerframework.eclipse.actions.CheckerActions $ signednessAction'에 대한 프록시 처리기를로드 할 수 없습니다. org.eclipse.core.runtime.CoreException : 플러그인 checker.framework.eclipse.plugin이 org.checkerframework.eclipse.actions.CheckerActions $ signednessAction 클래스를로드 할 수 없습니다. org.eclipse.core.internal.registry.osgi.RegistryStrategyOSGI.throwException (RegistryStrategyOSGI.java:194) at org.eclipse.core.internal.registry.osgi.RegistryStrategyOSGI.createExecutableExtension (RegistryStrategyOSGI.java:178) ' – MonitorLizard

자본화 불일치에 대한 귀하의 분석이 정확합니다. 커밋 fa8ee98은 버그를 수정합니다. 버전 관리 저장소에서 Checker Framework Eclipse Plugin을 다시 빌드 할 수 있습니다. 또는 Checker Framework 개발자는 종종 버그를 수정하는 비공개 릴리스로 만들려고하므로 다음 릴리스까지 기다릴 필요가 없습니다. [email protected]에서 이메일을 보내주십시오.

출처

2017-01-05 16:22:41 mernst

감사합니다. 잔뜩, 그거 멋지다! 그들은 꽤 정기적으로 석방됩니다. 나는 기다릴 것 같아. – MonitorLizard

Checker Framework Eclipse Plugin이로드 될 때 예외가 발생합니다.

답변

관련 문제