Checker Framework Eclipse-Plugin löst Ausnahme beim Laden

Ich habe Eclipse 4.6.2 und das Plugin "Checker Framework Feature" 2.1.7 installiert.Checker Framework Eclipse-Plugin löst Ausnahme beim Laden

Wenn die Plug-in zum ersten Mal verwendet wird (zB wenn ich mit dem rechten Maustaste und über den Kontextmenüpunkt schweben „Checker-Framework/Lauf Built-in Checker“) erscheint der folgende Fehler in dem Protokoll Eclipse Fehler:

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

Es scheint, als gäbe es Probleme mit der Groß-/Kleinschreibung der Klasse SignednessAction ist ...

Kann jemand helfen? Ich würde gerne das Checker Framework verwenden!

Thanks so much!

Quelle

2017-01-05 MonitorLizard

Es gibt auch eine zweite Fehlermeldung: 'Der Proxy-Handler für 'org.checkerframework.eclipse.actions.CheckerActions $ signednessAction' konnte nicht geladen werden. org.eclipse.core.runtime.CoreException: Plug-in checker.framework.eclipse.plugin konnte die Klasse org.checkerframework.eclipse.actions.CheckerActions $ signednessAction nicht laden. an org.eclipse.core.internal.registry.osgi.RegistryStrategyOSGI.throwException (RegistryStrategyOSGI.java:194) bei org.eclipse.core.internal.registry.osgi.RegistryStrategyOSGI.createExecutableExtension (RegistryStrategyOSGI.java:178) ' – MonitorLizard

Ihre Analyse über die Nichtübereinstimmung der Großschreibung ist korrekt. Commit fa8ee98 behebt den Fehler. Sie können das Checker Framework Eclipse-Plugin aus dem Versionskontroll-Repository neu erstellen. Alternativ dazu sind die Checker Framework-Entwickler oft bereit, Ihnen eine private Version zu erstellen, die den Fehler behebt, sodass Sie nicht bis zur nächsten Veröffentlichung warten müssen. Sie können sie per E-Mail an [email protected] senden.

Quelle

2017-01-05 16:22:41 mernst

Danke a Haufen, das ist großartig! Sie veröffentlichen ziemlich regelmäßig. Ich denke, ich werde warten – MonitorLizard

Checker Framework Eclipse-Plugin löst Ausnahme beim Laden

Antwort

Verwandte Themen