Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Newcomers » Newcomers » java.lang.NoClassDefFoundError(When I called this line, final IRodinDB rodinDB = RodinCore.valueOf(workspace.getRoot()), the java.lang.NoClassDefFoundError occurred.)
java.lang.NoClassDefFoundError [message #1297573] Tue, 15 April 2014 19:35 Go to next message
Tony Jiang is currently offline Tony JiangFriend
Messages: 7
Registered: February 2014
Junior Member
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
following problem?

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
at plugintest.actions.SampleAction.createRodinProject(SampleAction.java:44)

It seems that eclipse can not found my rodin dependencies? Does anybody know how to solve this?

Re: java.lang.NoClassDefFoundError [message #1297575 is a reply to message #1297573] Tue, 15 April 2014 19:39 Go to previous messageGo to next message
Tony Jiang is currently offline Tony JiangFriend
Messages: 7
Registered: February 2014
Junior Member
I should say that I have added the compiled jar dependencies, which I downloaded from the Rodin Event-B page, into the Referenced libraries. I thought it should find not report java.lang.NoClassDefFoundError. Can anybody help me?
Re: java.lang.NoClassDefFoundError [message #1297773 is a reply to message #1297575] Tue, 15 April 2014 22:33 Go to previous message
Russell Bateman is currently offline Russell BatemanFriend
Messages: 3798
Registered: July 2009
Location: Provo, Utah, USA
Senior Member

On 04/15/2014 01:39 PM, Tony Jiang wrote:
> I should say that I have added the compiled jar dependencies, which I
> downloaded from the Rodin Event-B page, into the Referenced libraries. I
> thought it should find not report java.lang.NoClassDefFoundError. Can
> anybody help me?

While built atop Eclipse, I don't think that Rodin/Event-B is an Eclipse
project. You should probably look to their community for help:

http://www.event-b.org/contact.html
Previous Topic:Re: Need Help : write data to CSV
Next Topic:Vogella RCP tutorial javax.annotation, javax.inject not available
Goto Forum:
  


Current Time: Wed Nov 25 18:14:42 GMT 2020

Powered by FUDForum. Page generated in 0.03199 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top