Menu

#1 [SEVERE] can't find startup class: null

v1.0 (example)
closed
nobody
5
2008-10-23
2008-10-22
No

I installed the VJPF Eclipse plugin in Eclipse 3.4.1 (on Linux) as instructed on http://visualjpf.sourceforge.net/infra.html (as for Eclipse 3.4, and remembering to restart Eclipse).

To try it out, I created a "Hello World!" Java project 'java1', and ran the main program to check that it would. With this project open I followed the instructions on http://visualjpf.sourceforge.net/Using_VJP.html - i.e. I created an empty java.jpf file in the (top-level of the) Eclipse project directory for 'java1' by clicking on the green "V" icon on Eclipse's toolbar. I then pressed "Run Verify". The message "No errors detected" appears in the 'JPF Output' window, but in the Console window I see:

[SEVERE] can't find startup class: null
[SEVERE] error initializing startup classes (check vm.[boot]classpath)

Any ideas?

Discussion

  • Sandro Badame

    Sandro Badame - 2008-10-22

    Hi John,
    Did you define a target class for the .jpf file?
    It currently isn't mentioned on the howto (I'm going to fix that very soon) but a 'target' attribute has to be defined. It's probably going to be something like 'target=HelloWord'
    As for the *.jpf files, Yes they can be anywhere in the project folder.

    Does right clicking on the class and selecting 'Verify...' work?

    Good Luck,
    --Sandro

     
  • Nobody/Anonymous

    >Hi John,
    >Did you define a target class for the .jpf file?

    Well, no, because http://visualjpf.sourceforge.net/Using_VJP.html didn't instruct me to do that. Now that I have added 'target=MyRaceCondition' and press the large green 'V' icon, I see Java Pathfinder run and results appear in the 'JPF Output' window of Eclipse. Unfortunately, I can't see all of the output and the scroll bar does not work until I click the console tab (which does contain the output) and then return to the 'JPF Output' tab.

    Apart from that, all seems well. Many thanks.

    John A. Murdie

     
  • Sandro Badame

    Sandro Badame - 2008-10-23

    Ok sorry about that. VJP still has a lot of growth and polishing ahead of it. I've already updated the website and I'll look into that scrolling issue.
    Thanks for trying it out!
    And please send me and suggestions that you have.

     
  • Sandro Badame

    Sandro Badame - 2008-10-23
    • status: open --> closed
     

Log in to post a comment.

Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.