Skip to main content

Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Eclipse Projects » Requirements Modeling Framework  » Comparing Specifications Error
Comparing Specifications Error [message #1701436] Mon, 13 July 2015 13:13 Go to next message
Aidan Courts is currently offline Aidan CourtsFriend
Messages: 3
Registered: July 2015
Junior Member

For a project I have been working on, I am modelling on Event-B. We are trying to decide if we are going to use ProR to manage our requirements.

When I attempt to compare two reqif files the differences are outlined, but when I attempt to find the properties of each object that has been change I get given the error: problems occurred when invoking code from plug-in: "org.eclipse.jface". I can then not find out what the difference are.

Is this a common error and if so what can I do to rectify the problem?

I am using rodin 3.2 on windows .

Re: Comparing Specifications Error [message #1701502 is a reply to message #1701436] Mon, 13 July 2015 18:16 Go to previous message
Michael Jastram is currently offline Michael JastramFriend
Messages: 235
Registered: April 2010
Location: Düsseldorf, Germany
Senior Member
Seems like a duplicate that I just answered here.
Previous Topic:How can I import a CSV file?
Next Topic:Using Type attribute
Goto Forum:

Current Time: Sat Dec 02 06:38:44 GMT 2023

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

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

Back to the top