search

team-worthwhile / worthwhile

PSE am KIT 2011/12: Programmverifikation (Team 2)
BSD 3-Clause "New" or "Revised" License
5 stars 3 forks source link

IllegalArgumentException when launching configuration with empty file name #86

Closed jspam closed 12 years ago

jspam commented 12 years ago

Try to launch a launch configuration with empty file name. Result: An eror message is shown, but not with the desired message File not found, instead:

!ENTRY org.eclipse.core.jobs 4 2 2012-02-21 21:20:49.269
!MESSAGE An internal error occurred during: "Launching New_configuration".
!STACK 0
java.lang.IllegalArgumentException: Path must include project and resource name: /
    at org.eclipse.core.runtime.Assert.isLegal(Assert.java:63)
    at org.eclipse.core.internal.resources.Workspace.newResource(Workspace.java:2169)
    at org.eclipse.core.internal.resources.Container.getFile(Container.java:208)
    at edu.kit.iti.formal.pse.worthwhile.ui.launching.WorthwhileLaunchConfigurationDelegate.getFile(WorthwhileLaunchConfigurationDelegate.java:97)
    at edu.kit.iti.formal.pse.worthwhile.ui.launching.WorthwhileExecuteLaunchConfigurationDelegate.launch(WorthwhileExecuteLaunchConfigurationDelegate.java:38)
    at org.eclipse.debug.internal.core.LaunchConfiguration.launch(LaunchConfiguration.java:854)
    at org.eclipse.debug.internal.core.LaunchConfiguration.launch(LaunchConfiguration.java:703)
    at org.eclipse.debug.internal.ui.DebugUIPlugin.buildAndLaunch(DebugUIPlugin.java:928)
    at org.eclipse.debug.internal.ui.DebugUIPlugin$8.run(DebugUIPlugin.java:1132)
    at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54)