jSMTLIB / Tickets / #7 Problems with Eclipse Luna

Yann Thierry-Mieg - 2015-01-28

Hi all
I've run into the same issue and tracked it down with a debugger.

It is due to the "Version" class of SMTLib that throws ResourceBundleExceptions.
I believe it's an issue with the eclipse packaging, running from Jar with --version (which calls the same code) does not raise the exception.

Attached is a workaround, that just patches the preferences page to catch the exception, since that was why the whole bundle failed loading into Eclipse.

It alters org.smtlib.plugin.Preferences :

new Label(composite0, SWT.CENTER).setText("SMT version: " + org.smtlib.Version.version());

Becomes :

// Patched to handle uncaught exception
String version = "unknown version";
try {
version = org.smtlib.Version.version();
} catch (RuntimeException re) {
System.err.println("Obtaining version from bundle failed with error "+re.getMessage());
version = "JSMTLib: " + Activator.getDefault().getBundle().getVersion().toString();
}
new Label(composite0, SWT.CENTER).setText("SMT version: " + version);

It would be nice to patch this, as it means currently users downloading the tool for the first time just get an error log when eclipse opens, the editor crashes etc...

Preferences.java

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

ivcha - 2015-02-04

Great, I agree. Hopefully, davidcok will patch the sources and release a new version soon.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

maryam mehraban - 2016-04-14

hello Dears,
i have this problem but i don't understand how to use the attachments.
windows 7 ,eclipse 4.2
i add http://jsmtlib.sourceforge.net/jsmtlib-updatesite/ as a plugin url in eclipse.
but when i want to open smt2 file , encounter the above error.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Yann Thierry-Mieg - 2016-04-14

Hi,

Unfortunately, I don’t think the plugin is really maintained, my patch was used by downloading from source then patching source, but this means you need two eclipses :/ That’s why I submitted it, it needs to be applied on the depot really.

I have cloned the depot and patched it given lack of response by the maintainers, it’s not designed for it, but you can grab SMT plugin from my update site :
http://ddd.lip6.fr/update-site

Select in “Incubation” the feature gal2smt;
You’ll get some of my stuff for GAL verification which you don’t need, but you’ll also get plugins lip6.SMTXXX which are a fork off the jSMTLib code.

Avoid having both my plugin/fork and D. Cok's installed they will conflict, so uninstall those first.

So editor for .smt2 and calling SMT solver from menu will work from there.

If you actually use this, please tell me, I'll package a feature on my site that only includes the SMT fork, separate from my other stuff.

Regards

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
- maryam mehraban - 2016-04-14
  
  Dear Yann,
  
  i thanked so much for your attention.i try to use the plugin that you sent
  to me but i encounter the below problem.
  
  [image: Inline image 1]
  
  how can i resolve it?
  or isn't there any way to use D.cok jSMTLIB plugin that hosted in
  sourceforge(https://sourceforge.net/projects/jsmtlib/) or in github(
  https://github.com/smtlib/jSMTLIB).
  
  thanks so much.
  best regards.
  
  On Thu, Apr 14, 2016 at 1:32 AM, Yann Thierry-Mieg ythierry@users.sf.net
  wrote:
  
  Hi,
  
  Unfortunately, I don’t think the plugin is really maintained, my patch was
  used by downloading from source then patching source, but this means you
  need two eclipses :/ That’s why I submitted it, it needs to be applied on
  the depot really.
  
  I have cloned the depot and patched it given lack of response by the
  maintainers, it’s not designed for it, but you can grab SMT plugin from my
  update site :
  http://ddd.lip6.fr/update-site
  
  Select in “Incubation” the feature gal2smt;
  You’ll get some of my stuff for GAL verification which you don’t need, but
  you’ll also get plugins lip6.SMTXXX which are a fork off the jSMTLib code.
  
  Avoid having both my plugin/fork and D. Cok's installed they will
  conflict, so uninstall those first.
  
  So editor for .smt2 and calling SMT solver from menu will work from there.
  
  If you actually use this, please tell me, I'll package a feature on my
  site that only includes the SMT fork, separate from my other stuff.
  
  Regards
  
  [tickets:#7] https://sourceforge.net/p/jsmtlib/tickets/7/ Problems
  with Eclipse Luna*
  
  Status: open
  Milestone: 1.0
  Created: Sat Nov 01, 2014 06:00 PM UTC by ivcha
  Last Updated: Thu Apr 14, 2016 07:38 AM UTC
  Owner: nobody
  
  When opening an .smt2 file I get: "Plug-in org.smtlib.plugin.SMTPlugin was
  unable to load class org.smtlib.plugin.editor.SMTEditor."
  When opening settings of the plugin I get: "An error has occurred when
  creating this preference page."
  Platform: Arch Linux, Eclipse Luna, java-7-openjdk
  
  Sent from sourceforge.net because you indicated interest in
  https://sourceforge.net/p/jsmtlib/tickets/7/
  
  To unsubscribe from further messages, please visit
  https://sourceforge.net/auth/subscriptions/
  
  Related
  
  Tickets: #7
  
  If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
  - Yann Thierry-Mieg - 2016-04-14
    
    Hi again,
    Sorry, I can't see the screenshot, but I guess there is some GUI issue of some kind.
    Since I'm only using the kernel with SMT engine interaction rather than the graphical editor, I'm not surprised if it's broken in my distribution.
    
    Again, workaround is to go "developer" mode:
    
    checkout the two projects SMT and SMTplugin from the source depot into a running eclipse,
    patch the preference file as explained in my first post
    Run a new eclipse via the big green button, "Run eclipse application"
    In this new eclipse, SMTplugin should be active and not broken.
    
    If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
    - maryam mehraban - 2016-04-14
      
      Dear Yann
      
      what is your meant from "developer mode"?
      are you meant using GWT project in eclipse like the help in this url(
      http://stackoverflow.com/questions/18330001/super-dev-mode-in-gwt)
      
      i thanked so much again.
      
      best regards.
      
      On Thu, Apr 14, 2016 at 4:50 AM, Yann Thierry-Mieg ythierry@users.sf.net
      wrote:
      
      Hi again,
      Sorry, I can't see the screenshot, but I guess there is some GUI issue of
      some kind.
      Since I'm only using the kernel with SMT engine interaction rather than
      the graphical editor, I'm not surprised if it's broken in my distribution.
      
      Again, workaround is to go "developer" mode:
      
      checkout the two projects SMT and SMTplugin from the source depot into a
      running eclipse,
      patch the preference file as explained in my first post
      Run a new eclipse via the big green button, "Run eclipse application"
      In this new eclipse, SMTplugin should be active and not broken.
      
      [tickets:#7] https://sourceforge.net/p/jsmtlib/tickets/7/ Problems
      with Eclipse Luna*
      
      Status: open
      Milestone: 1.0
      Created: Sat Nov 01, 2014 06:00 PM UTC by ivcha
      Last Updated: Thu Apr 14, 2016 09:32 AM UTC
      Owner: nobody
      
      When opening an .smt2 file I get: "Plug-in org.smtlib.plugin.SMTPlugin was
      unable to load class org.smtlib.plugin.editor.SMTEditor."
      When opening settings of the plugin I get: "An error has occurred when
      creating this preference page."
      Platform: Arch Linux, Eclipse Luna, java-7-openjdk
      
      Sent from sourceforge.net because you indicated interest in
      https://sourceforge.net/p/jsmtlib/tickets/7/
      
      To unsubscribe from further messages, please visit
      https://sourceforge.net/auth/subscriptions/
      
      Related
      
      Tickets: #7
      
      alternate
      
      If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
      - David Cok - 2016-04-14
        
        Please note:- the current version of jSMTLIB is on github; the SF version is obsolete- the jSMTLIB library has been under development, particularly to incorporate SMTLIB 2.5, though this is in progress- the Eclipse plugin is admittedly a bit out of date; I expect some work on it in May, I will gladly consider and review any patches you have made.
        Thanks for your interest in jSMTLIB.
        - David
        
        From: maryam mehraban <mary95@users.sf.net>
        
        To: [jsmtlib:tickets] 7@tickets.jsmtlib.p.re.sf.net
        Sent: Thursday, April 14, 2016 10:46 AM
        Subject: [jsmtlib:tickets] Re: #7 Problems with Eclipse Luna
        
        Dear Yannwhat is your meant from "developer mode"?
        are you meant using GWT project in eclipse like the help in this url(
        http://stackoverflow.com/questions/18330001/super-dev-mode-in-gwt)i thanked so much again.best regards.On Thu, Apr 14, 2016 at 4:50 AM, Yann Thierry-Mieg ythierry@users.sf.net
        wrote:
        Hi again,
        Sorry, I can't see the screenshot, but I guess there is some GUI issue of
        some kind.
        Since I'm only using the kernel with SMT engine interaction rather than
        the graphical editor, I'm not surprised if it's broken in my distribution.Again, workaround is to go "developer" mode:checkout the two projects SMT and SMTplugin from the source depot into a
        running eclipse,
        patch the preference file as explained in my first post
        Run a new eclipse via the big green button, "Run eclipse application"
        In this new eclipse, SMTplugin should be active and not broken.
        - [tickets:#7] https://sourceforge.net/p/jsmtlib/tickets/7/ Problems
        with Eclipse Luna*
        Status: open
        Milestone: 1.0
        Created: Sat Nov 01, 2014 06:00 PM UTC by ivcha
        Last Updated: Thu Apr 14, 2016 09:32 AM UTC
        Owner: nobodyWhen opening an .smt2 file I get: "Plug-in org.smtlib.plugin.SMTPlugin was
        unable to load class org.smtlib.plugin.editor.SMTEditor."
        When opening settings of the plugin I get: "An error has occurred when
        creating this preference page."
        Platform: Arch Linux, Eclipse Luna, java-7-openjdkSent from sourceforge.net because you indicated interest in
        https://sourceforge.net/p/jsmtlib/tickets/7/To unsubscribe from further messages, please visit
        https://sourceforge.net/auth/subscriptions/
        [tickets:#7] Problems with Eclipse LunaStatus: open
        Milestone: 1.0
        Created: Sat Nov 01, 2014 06:00 PM UTC by ivcha
        Last Updated: Thu Apr 14, 2016 09:32 AM UTC
        Owner: nobodyWhen opening an .smt2 file I get: "Plug-in org.smtlib.plugin.SMTPlugin was unable to load class org.smtlib.plugin.editor.SMTEditor."
        When opening settings of the plugin I get: "An error has occurred when creating this preference page."
        Platform: Arch Linux, Eclipse Luna, java-7-openjdkSent from sourceforge.net because you indicated interest in https://sourceforge.net/p/jsmtlib/tickets/7/To unsubscribe from further messages, please visit https://sourceforge.net/auth/subscriptions/
        
        Related
        
        Tickets: #7
        
        alternate
        
        If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Problems with Eclipse Luna

Java API for checking, manipulating and translating SMTLIB

Milestone

Searches

Help

#7 Problems with Eclipse Luna

Related

Discussion

Regards

Related

Related

Related