1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-02 06:35:28 +02:00

Bug 244817 Add logic to support for a SourceElement of type LocalFileStorage.

This commit is contained in:
Marc Khouzam 2008-08-21 14:09:26 +00:00
parent 587c7cb6cc
commit 2367a57c48

View file

@ -11,6 +11,7 @@
*******************************************************************************/
package org.eclipse.dd.dsf.debug.ui.sourcelookup;
import java.io.File;
import java.net.URI;
import java.util.Arrays;
import java.util.HashSet;
@ -53,6 +54,7 @@ import org.eclipse.dd.dsf.service.DsfSession;
import org.eclipse.dd.dsf.ui.viewmodel.datamodel.IDMVMContext;
import org.eclipse.debug.core.sourcelookup.ISourceLookupDirector;
import org.eclipse.debug.core.sourcelookup.ISourceLookupParticipant;
import org.eclipse.debug.core.sourcelookup.containers.LocalFileStorage;
import org.eclipse.debug.ui.DebugUITools;
import org.eclipse.debug.ui.IDebugUIConstants;
import org.eclipse.debug.ui.sourcelookup.CommonSourceNotFoundEditorInput;
@ -200,6 +202,11 @@ public class DsfSourceDisplayAdapter implements ISourceDisplay, ISteppingControl
editorInput = new CommonSourceNotFoundEditorInput(dmc);
editorId = IDebugUIConstants.ID_COMMON_SOURCE_NOT_FOUND_EDITOR;
}
} else if (sourceElement instanceof LocalFileStorage) {
File file = ((LocalFileStorage)sourceElement).getFile();
IFileStore fileStore = EFS.getLocalFileSystem().fromLocalFile(file);
editorInput = new FileStoreEditorInput(fileStore);
editorId = getEditorIdForFilename(file.getPath());
}
result.setEditorInput(editorInput);
result.setEditorId(editorId);