// Create the program manager using the repository provider.
// Override the machine type if given.
ProgramResourceRepository.Provider carAwareProgramResourceRepositoryProvider =
workspace.getProviderForCarAwareProgramResourceRepository(programResourceRepositoryProvider);
ProgramManager programManager = machineTypeOverride == null ?
ProgramManager.getProgramManager(carAwareProgramResourceRepositoryProvider, workspace) :
ProgramManager.getProgramManager(machineTypeOverride, carAwareProgramResourceRepositoryProvider, workspace);
// Note: if the g-machine also uses a resource manager, we can remove the if test.
final MachineType realMachineType = programManager.getMachineType();
if (realMachineType == MachineType.LECC) {
// Register the program resource manager so that the resources can be managed by the workspace.
// Override default if the source generation root is overridden.
final ResourceManager fileSystemBasedProgramResourceManager;
if (sourceGenerationRootOverride != null) {