|
@@ -41,7 +41,7 @@ public abstract class AbstractSCTLaunchConfigurationDelegate extends LaunchConfi
|
|
|
public void launch(ILaunchConfiguration configuration, String mode, ILaunch launch, IProgressMonitor monitor)
|
|
|
throws CoreException {
|
|
|
String filename = configuration.getAttribute(FILE_NAME, DEFAULT_FILE_NAME);
|
|
|
- Statechart statechart = ResourceUtil.loadStatechart(filename);
|
|
|
+ Statechart statechart = loadStatechart(filename);
|
|
|
Assert.isNotNull(statechart);
|
|
|
SCTDebugTarget target = new SCTDebugTarget(launch, statechart, createExecutionContainer(launch, statechart));
|
|
|
launch.addDebugTarget(target);
|
|
@@ -49,6 +49,10 @@ public abstract class AbstractSCTLaunchConfigurationDelegate extends LaunchConfi
|
|
|
|
|
|
}
|
|
|
|
|
|
+ protected Statechart loadStatechart(String filename) {
|
|
|
+ return ResourceUtil.loadStatechart(filename);
|
|
|
+ }
|
|
|
+
|
|
|
@Override
|
|
|
protected IProject[] getProjectsForProblemSearch(ILaunchConfiguration configuration, String mode)
|
|
|
throws CoreException {
|