- ResourcesPlugin.getWorkspace().addResourceChangeListener(resChangedListener,
- IResourceChangeEvent.POST_BUILD | IResourceChangeEvent.POST_CHANGE | IResourceChangeEvent.PRE_BUILD
- | IResourceChangeEvent.PRE_CLOSE | IResourceChangeEvent.PRE_DELETE | IResourceChangeEvent.PRE_REFRESH);
- System.out.println("launch");
- // TODO start a machine
- ProcessBuilder pb = new ProcessBuilder("cmd", "/c", "\"echo Press Enter... &&pause>NUL && echo finished\"");
- try
- {
- launch.addProcess(DebugPlugin.newProcess(launch, pb.start(), ""));
- }
- catch (IOException e)
- {
- e.printStackTrace();
- }
+ String projName = configuration.getAttribute(PROJECT_ATTR, "");
+ IProject project = ResourcesPlugin.getWorkspace().getRoot().getProject(projName);
+ MachineContext machineContext = ProjectMachineContext.getMachineContextOf(project);
+ MachineDefinition machineDefinition = machineContext.getMachineDefinition().orElseThrow();
+
+ MachineDebugTarget debugTarget = new MachineDebugTarget(new MachineProcess(launch, machineDefinition));
+ debugTarget.setExecutionSpeed(10d);