search

nasa / CertWare

50 stars 37 forks source link

CertWare Semi-Formal Proof #11

Closed jbpinch closed 8 years ago

jbpinch commented 10 years ago

Every time I try to create a new Semi-Formal Proof, I get a message that says.

"Problem Opening Wizard. The selected wizard could not be started. Plug-in net.certware.argument.sfp.ui was unable to load class net.certware.argument.sfp.ui.wizard.NewProofFileWizard. An error occurred while automatically activating bundle net.certware.argument.sfp.ui (295)."

I've tried uninstalling and reinstalling both Eclipse and CertWare, and I even tried using earlier version, Eclipse 3.7, all to no avail.

ghost commented 10 years ago

Not sure what's going on here. I've just run it successfully with both Eclipse 3.8/4.2 and Eclipse 4.3, but I'm running from the repository's product configuration. Are you using the repo or the update site?

jbpinch commented 10 years ago

I'm using the main Eclipse download site.

ghost commented 10 years ago

Sorry, maybe confused things. CertWare isn't at the Eclipse download site. I'm asking whether you obtained certware from the NASA GitHub update site, or by cloning the CertWare repository. The update site content is a bit stale but will be refreshed soon. The repository source is current, with work occurring mostly in the sacm branch. I used both branches this morning to check your issue and found no problem. So I'll guess you acquired the software from the update site.

jbpinch commented 10 years ago

Yes, I got the software from the update site. Do you suggest I try the repository? Do you have a link to that site? Thanks.

ghost commented 10 years ago

Sure. All of the code is out on GitHub. The master branch is stable. The sacm branch is new stuff soon to be merged into master.
https://github.com/nasa/CertWare

On Sep 18, 2013, at 1:35 PM, jbpinch notifications@github.com wrote:

Yes, I got the software from the update site. Do you suggest I try the repository? Do you have a link to that site? Thanks.

— Reply to this email directly or view it on GitHub.

jbpinch commented 10 years ago

Thanks, and I apologize for my confusion, but when I go to Install new software on Eclipse and it asks for the website and I give input the one you gave me, I get a notice that no software was found at that location. What is the proper way to install it from that site?

ghost commented 10 years ago

The link I provided was not to an "update site" for the Eclipse workbench new software installation. Instead, it is a link to the whole software repository where we do development. If you'd like to use the latest stuff you can clone that whole repository locally via GitHub then launch your Eclipse and use the local repository clone as your workspace. There's a CertWare product definition in there so if you open that product definition and then run it you'll get the CertWare product running locally.

On Sep 18, 2013, at 2:55 PM, jbpinch notifications@github.com wrote:

Thanks, and I apologize for my confusion, but when I go to Install new software on Eclipse and it asks for the website and I give input the one you gave me, I get a notice that no software was found at that location. What is the proper way to install it from that site?

— Reply to this email directly or view it on GitHub.

jbpinch commented 10 years ago

I'm having difficulty downloading GitHub, which may have something to do with the proxy settings here at work. Can I access it by downloading the zip in any way?

ghost commented 10 years ago

Yes, just download from the ZIP link at GitHub. That'll give you a copy but you won't be able to sync it with the repo for latest changes without downloading again. Unzip it and use as your Eclipse workspace.

On Sep 18, 2013, at 4:15 PM, jbpinch notifications@github.com wrote:

I'm having difficulty downloading GitHub, which may have something to do with the proxy settings here at work. Can I access it by downloading the zip in any way?

— Reply to this email directly or view it on GitHub.

jbpinch commented 10 years ago

Thanks, I really appreciate your help. Unfortunately, after all that, I still got the same exact error when I tried to open a new Semi-Formal Proof.

EmilyDimpfl commented 10 years ago

I'm having the same issue. With a fresh install of Eclipse (Eclipse Modeling Tools, Kepler, x64), installing CertWare from the update site (using CertWare Bayesian Reasoning Support v1.2.4.201203231213, v1.2.3.201203211405, or neither), I get a prompt for installing unsigned content, followed by a restart prompt. After restarting, I attempt to go to New... > Certware > Semi Formal Proof, and get the following error (with a different error code than jbpinch):

The selected wizard could not be started. Plug-in net.certware.argument.sfp.ui was unable to load class net.certware.argument.sfp.ui.wizard.NewProofFileWizard. An error occurred while automatically activating bundle net.certware.argument.sfp.ui (588).

If I simply make a new file, and use the .sfp extension, the error I get when trying to open that file is:

org.eclipse.core.runtime.CoreException: Plug-in net.certware.argument.sfp.ui was unable to load class net.certware.argument.sfp.ui.SemiFormalProofExecutableExtensionFactory. at org.eclipse.core.internal.registry.osgi.RegistryStrategyOSGI.throwException(RegistryStrategyOSGI.java:194) at org.eclipse.core.internal.registry.osgi.RegistryStrategyOSGI.createExecutableExtension(RegistryStrategyOSGI.java:176) at org.eclipse.core.internal.registry.ExtensionRegistry.createExecutableExtension(ExtensionRegistry.java:905) at org.eclipse.core.internal.registry.ConfigurationElement.createExecutableExtension(ConfigurationElement.java:243) at org.eclipse.core.internal.registry.ConfigurationElementHandle.createExecutableExtension(ConfigurationElementHandle.java:55) at org.eclipse.ui.internal.WorkbenchPlugin$1.run(WorkbenchPlugin.java:282) at org.eclipse.swt.custom.BusyIndicator.showWhile(BusyIndicator.java:70) at org.eclipse.ui.internal.WorkbenchPlugin.createExtension(WorkbenchPlugin.java:278) at org.eclipse.ui.internal.registry.EditorDescriptor.createEditor(EditorDescriptor.java:235) at org.eclipse.ui.internal.EditorReference.createPart(EditorReference.java:318) at org.eclipse.ui.internal.e4.compatibility.CompatibilityPart.createPart(CompatibilityPart.java:266) at org.eclipse.ui.internal.e4.compatibility.CompatibilityEditor.createPart(CompatibilityEditor.java:61) at org.eclipse.ui.internal.e4.compatibility.CompatibilityPart.create(CompatibilityPart.java:304) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source) at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source) at java.lang.reflect.Method.invoke(Unknown Source)

Log truncated because it was huge and long. Let me know if you would like to see the rest!

Now, if I use the repository (with a fresh copy of the same version of Eclipse mentioned above) from https://github.com/nasa/CertWare, I attempt to install the software, but get this error:

Cannot complete the install because one or more required items could not be found. Software being installed: CertWare Safety Case Workbench Core 1.2.3.201203211405 (net.certware.feature.feature.group 1.2.3.201203211405) Missing requirement: CertWare Safety Case Workbench Core 1.2.3.201203211405 (net.certware.feature.feature.group 1.2.3.201203211405) requires 'org.easymock 0.0.0' but it could not be found

Huh.

EmilyDimpfl commented 10 years ago

I also tried running net.certware.product through a fresh install of Eclipse, using the downloaded Certware repo as my workspace. I added net.certware.product as a java project, and when I just press F5/run it as an Eclipse Application, it launches another instance of Eclipse, but it doesn't seem to have Certware installed. However, it does have a different workspace layout than default Eclipse configurations, so that's something?

If I open certware.project in the project directory, and under Testing, click "Launch an eclipse application", I get the following error: https://www.dropbox.com/s/fofbu7x5jjse9w5/1379638449225.txt

ghost commented 10 years ago

The product launches from its own definition, not running as an Eclipse application. Since you have the net.certware.product project just open the product's xml file and click on the green launch button from there. That'll bring in all the CertWare plugins into the launch configuration.

On Sep 19, 2013, at 7:57 PM, edimpfl notifications@github.com wrote:

I also tried running net.certware.product through a fresh install of Eclipse, using the downloaded Certware repo as my workspace. I added net.certware.product as a java project, and when I just press F5/run it as an Eclipse Application, it launches another instance of Eclipse, but it doesn't seem to have Certware installed. However, it does have a different workspace layout than default Eclipse configurations, so that's something?

If I open certware.project in the project directory, and under Testing, click "Launch an eclipse application", I get the following error: https://www.dropbox.com/s/fofbu7x5jjse9w5/1379638449225.txt

— Reply to this email directly or view it on GitHub.

ghost commented 8 years ago

Just closing this off... the update site web page and software installation URL share the address http://updatesite.certware.net. There are many new features to CertWare and SFP has been stable for quite a while.