Eclipse Community Forums: Requirements Modeling Framework

Home » Eclipse Projects » Requirements Modeling Framework » Comparing Specifications Error

Comparing Specifications Error [message #1701436]

Mon, 13 July 2015 09:13

Eclipse User

Hi,

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 .

Thanks
Aidan

Re: Comparing Specifications Error [message #1701502 is a reply to message #1701436]

Mon, 13 July 2015 14:16

Eclipse User

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:

-=] Back to Top [=-

Current Time: Sun Jul 20 18:38:56 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter