- mpmFile = project.getFile(configuration.getAttribute(MPM_FILE_ATTR, ""));
-
- String initialRAMFileName = configuration.getAttribute(INITIAL_RAM_FILE_ATTR, "");
- Optional<IFile> memFile = Optional.empty();
- if (!"".equals(initialRAMFileName))
- {
- memFile = Optional.of(project.getFile(initialRAMFileName));
- }
- MachineDebugTarget debugTarget = new MachineDebugTarget(launch, mpmFile, memFile, machineDefinition);
+ IFile mpmFile = project.getFile(configuration.getAttribute(MPM_FILE_ATTR, ""));
+ Optional<IFile> mpromFile = fileOptional(project, configuration.getAttribute(MPROM_FILE_ATTR, ""));
+ Optional<IFile> memFile = fileOptional(project, configuration.getAttribute(INITIAL_RAM_FILE_ATTR, ""));
+ MachineDebugTarget debugTarget = new MachineDebugTarget(launch, mpmFile, mpromFile, memFile, machineDefinition);