|java.lang.NoClassDefFoundError [message #1297573]
||Tue, 15 April 2014 19:35
| Tony Jiang
Registered: February 2014
I came across a problem while using your java code to incrementally add some more features for EVENT-B.|
I tried several days and did not found a solution. Since I have little experience about the Maven mechanism
and some of you have a lot experience in it. May I kindly ask for your help to check whether you know the solution to the
I added a new java file named HierarchicalGridEventBGenerator in my project. In this
new java file I try to get the workspace of the current project, as following.
final IWorkspace workspace = ResourcesPlugin.getWorkspace();
at first, we use IntelliJ IDE and got some error like "Workspace closed". We thought there was no workspace in the IntelliJ IDE.
Therefore, we switched to eclipse IDE which definitely has workspace. But In the eclipse we have one more problem.
In the beginning, we just simply added the org.eclipse.core.resources jar to the Maven project dependency. It did not work.
And we also tried many other solutions after then. Like try to change the POM file etc, but all the solutions failed. The final
error is like this "error: cannot access Plugin". I just confused. Is it because we need a eclipse plug in project to access the
"ResourcesPlugin.getWorkspace()" function but we used the maven project ? Or we configure something wrong? Could somebody give us some guidance? Any kind of hints would be greatly appreciated since I am stuck now and could not move on
for the project. Thanks a lot for your time and attention for reading this.
The error info is just "cannot access Plugin"
Hi ,everybody, I have solved the above problem, but One more problem comes. When I wrote the following code.
final IRodinDB rodinDB = RodinCore.valueOf(workspace.getRoot());
I got an error, java.lang.NoClassDefFoundError: org/rodinp/core/RodinCore
It seems that eclipse can not found my rodin dependencies? Does anybody know how to solve this?
Powered by FUDForum
. Page generated in 0.02433 seconds