📄 dbdesignerdocumentprovider.java
字号:
.validateEditRule(
(IFile[]) files.toArray(new IFile[files.size()]));
}
return null;
}
/**
* @generated
*/
private ISchedulingRule computeSchedulingRule(IResource toCreateOrModify) {
if (toCreateOrModify.exists())
return ResourcesPlugin.getWorkspace().getRuleFactory().modifyRule(
toCreateOrModify);
IResource parent = toCreateOrModify;
do {
/*
* XXX This is a workaround for
* https://bugs.eclipse.org/bugs/show_bug.cgi?id=67601
* IResourceRuleFactory.createRule should iterate the hierarchy
* itself.
*/
toCreateOrModify = parent;
parent = toCreateOrModify.getParent();
} while (parent != null && !parent.exists());
return ResourcesPlugin.getWorkspace().getRuleFactory().createRule(
toCreateOrModify);
}
/**
* @generated
*/
protected void doSynchronize(Object element, IProgressMonitor monitor)
throws CoreException {
ResourceSetInfo info = getResourceSetInfo(element);
if (info != null) {
for (Iterator it = info.getResourceSet().getResources().iterator(); it
.hasNext();) {
Resource nextResource = (Resource) it.next();
handleElementChanged(info, nextResource, monitor);
}
return;
}
super.doSynchronize(element, monitor);
}
/**
* @generated
*/
protected void doSaveDocument(IProgressMonitor monitor, Object element,
IDocument document, boolean overwrite) throws CoreException {
ResourceSetInfo info = getResourceSetInfo(element);
if (info != null) {
if (!overwrite && !info.isSynchronized()) {
throw new CoreException(
new Status(
IStatus.ERROR,
DbdesignerDiagramEditorPlugin.ID,
IStatus.OK,
Messages.DbdesignerDocumentProvider_UnsynchronizedFileSaveError,
null));
}
info.stopResourceListening();
fireElementStateChanging(element);
List resources = info.getResourceSet().getResources();
try {
monitor.beginTask(
Messages.DbdesignerDocumentProvider_SaveDiagramTask,
resources.size() + 1); //"Saving diagram"
for (Iterator it = resources.iterator(); it.hasNext();) {
Resource nextResource = (Resource) it.next();
monitor
.setTaskName(NLS
.bind(
Messages.DbdesignerDocumentProvider_SaveNextResourceTask,
nextResource.getURI()));
if (nextResource.isLoaded()
&& !info.getEditingDomain()
.isReadOnly(nextResource)) {
try {
nextResource.save(DbdesignerDiagramEditorUtil
.getSaveOptions());
} catch (IOException e) {
fireElementStateChangeFailed(element);
throw new CoreException(new Status(IStatus.ERROR,
DbdesignerDiagramEditorPlugin.ID,
EditorStatusCodes.RESOURCE_FAILURE, e
.getLocalizedMessage(), null));
}
}
monitor.worked(1);
}
monitor.done();
} catch (RuntimeException x) {
fireElementStateChangeFailed(element);
throw x;
} finally {
info.startResourceListening();
}
}
}
/**
* @generated
*/
protected void handleElementChanged(ResourceSetInfo info,
Resource changedResource, IProgressMonitor monitor) {
IFile file = WorkspaceSynchronizer.getFile(changedResource);
if (file != null) {
try {
file.refreshLocal(IResource.DEPTH_INFINITE, monitor);
} catch (CoreException ex) {
DbdesignerDiagramEditorPlugin
.getInstance()
.logError(
Messages.DbdesignerDocumentProvider_handleElementContentChanged,
ex);
// Error message to log was initially taken from org.eclipse.gmf.runtime.diagram.ui.resources.editor.ide.internal.l10n.EditorMessages.FileDocumentProvider_handleElementContentChanged
}
}
changedResource.unload();
fireElementContentAboutToBeReplaced(info.getEditorInput());
removeUnchangedElementListeners(info.getEditorInput(), info);
info.fStatus = null;
try {
setDocumentContent(info.fDocument, info.getEditorInput());
} catch (CoreException e) {
info.fStatus = e.getStatus();
}
if (!info.fCanBeSaved) {
info.setModificationStamp(computeModificationStamp(info));
}
addUnchangedElementListeners(info.getEditorInput(), info);
fireElementContentReplaced(info.getEditorInput());
}
/**
* @generated
*/
protected void handleElementMoved(IEditorInput input, URI uri) {
if (input instanceof FileEditorInput) {
IFile newFile = ResourcesPlugin.getWorkspace().getRoot().getFile(
new Path(URI.decode(uri.path())).removeFirstSegments(1));
fireElementMoved(input, newFile == null ? null
: new FileEditorInput(newFile));
return;
}
// TODO: append suffix to the URI! (use diagram as a parameter)
fireElementMoved(input, new URIEditorInput(uri));
}
/**
* @generated
*/
public IEditorInput createInputWithEditingDomain(IEditorInput editorInput,
TransactionalEditingDomain domain) {
return editorInput;
}
/**
* @generated
*/
public IDiagramDocument getDiagramDocument(Object element) {
IDocument doc = getDocument(element);
if (doc instanceof IDiagramDocument) {
return (IDiagramDocument) doc;
}
return null;
}
/**
* @generated
*/
protected IRunnableContext getOperationRunner(IProgressMonitor monitor) {
return null;
}
/**
* @generated
*/
protected class ResourceSetInfo extends ElementInfo {
/**
* @generated
*/
private long myModificationStamp = IResource.NULL_STAMP;
/**
* @generated
*/
private WorkspaceSynchronizer mySynchronizer;
/**
* @generated
*/
private Collection myUnSynchronizedResources = new ArrayList();
/**
* @generated
*/
private IDiagramDocument myDocument;
/**
* @generated
*/
private IEditorInput myEditorInput;
/**
* @generated
*/
private boolean myUpdateCache = true;
/**
* @generated
*/
private boolean myModifiable = false;
/**
* @generated
*/
private boolean myReadOnly = true;
/**
* @generated
*/
private ResourceSetModificationListener myResourceSetListener;
/**
* @generated
*/
public ResourceSetInfo(IDiagramDocument document,
IEditorInput editorInput) {
super(document);
myDocument = document;
myEditorInput = editorInput;
startResourceListening();
myResourceSetListener = new ResourceSetModificationListener(this);
getResourceSet().eAdapters().add(myResourceSetListener);
}
/**
* @generated
*/
public long getModificationStamp() {
return myModificationStamp;
}
/**
* @generated
*/
public void setModificationStamp(long modificationStamp) {
myModificationStamp = modificationStamp;
}
/**
* @generated
*/
public TransactionalEditingDomain getEditingDomain() {
return myDocument.getEditingDomain();
}
/**
* @generated
*/
public ResourceSet getResourceSet() {
return getEditingDomain().getResourceSet();
}
/**
* @generated
*/
public IEditorInput getEditorInput() {
return myEditorInput;
}
/**
* @generated
*/
public void dispose() {
stopResourceListening();
getResourceSet().eAdapters().remove(myResourceSetListener);
for (Iterator it = getResourceSet().getResources().iterator(); it
.hasNext();) {
Resource resource = (Resource) it.next();
resource.unload();
}
}
/**
* @generated
*/
public boolean isSynchronized() {
return myUnSynchronizedResources.size() == 0;
}
/**
* @generated
*/
public void setUnSynchronized(Resource resource) {
myUnSynchronizedResources.add(resource);
}
/**
* @generated
*/
public void setSynchronized(Resource resource) {
myUnSynchronizedResources.remove(resource);
}
/**
* @generated
*/
public final void stopResourceListening() {
mySynchronizer.dispose();
mySynchronizer = null;
}
/**
* @generated
*/
public final void startResourceListening() {
mySynchronizer = new WorkspaceSynchronizer(getEditingDomain(),
new SynchronizerDelegate());
}
/**
* @generated
*/
public boolean isUpdateCache() {
return myUpdateCache;
}
/**
* @generated
*/
public void setUpdateCache(boolean update) {
myUpdateCache = update;
}
/**
* @generated
*/
public boolean isModifiable() {
return myModifiable;
}
/**
* @generated
*/
public void setModifiable(boolean modifiable) {
myModifiable = modifiable;
}
/**
* @generated
*/
public boolean isReadOnly() {
return myReadOnly;
}
/**
* @generated
*/
public void setReadOnly(boolean readOnly) {
myReadOnly = readOnly;
}
/**
* @generated
*/
private class SynchronizerDelegate implements
WorkspaceSynchronizer.Delegate {
/**
* @generated
*/
public void dispose() {
}
/**
* @generated
*/
public boolean handleResourceChanged(final Resource resource) {
synchronized (ResourceSetInfo.this) {
if (ResourceSetInfo.this.fCanBeSaved) {
ResourceSetInfo.this.setUnSynchronized(resource);
return true;
}
}
Display.getDefault().asyncExec(new Runnable() {
public void run() {
handleElementChanged(ResourceSetInfo.this, resource,
null);
}
});
return true;
}
/**
* @generated
*/
public boolean handleResourceDeleted(Resource resource) {
synchronized (ResourceSetInfo.this) {
if (ResourceSetInfo.this.fCanBeSaved) {
ResourceSetInfo.this.setUnSynchronized(resource);
return true;
}
}
Display.getDefault().asyncExec(new Runnable() {
public void run() {
fireElementDeleted(ResourceSetInfo.this
.getEditorInput());
}
});
return true;
}
/**
* @generated
*/
public boolean handleResourceMoved(Resource resource,
final URI newURI) {
synchronized (ResourceSetInfo.this) {
if (ResourceSetInfo.this.fCanBeSaved) {
ResourceSetInfo.this.setUnSynchronized(resource);
return true;
}
}
if (myDocument.getDiagram().eResource() == resource) {
Display.getDefault().asyncExec(new Runnable() {
public void run() {
handleElementMoved(ResourceSetInfo.this
.getEditorInput(), newURI);
}
});
} else {
handleResourceDeleted(resource);
}
return true;
}
}
}
/**
* @generated
*/
private class ResourceSetModificationListener extends EContentAdapter {
/**
* @generated
*/
private NotificationFilter myModifiedFilter;
/**
* @generated
*/
private ResourceSetInfo myInfo;
/**
* @generated
*/
public ResourceSetModificationListener(ResourceSetInfo info) {
myInfo = info;
myModifiedFilter = NotificationFilter.createEventTypeFilter(
Notification.SET).or(
NotificationFilter
.createEventTypeFilter(Notification.UNSET)).and(
NotificationFilter.createFeatureFilter(Resource.class,
Resource.RESOURCE__IS_MODIFIED));
}
/**
* @generated
*/
public void notifyChanged(Notification notification) {
if (notification.getNotifier() instanceof ResourceSet) {
super.notifyChanged(notification);
}
if (!notification.isTouch()
&& myModifiedFilter.matches(notification)) {
if (notification.getNotifier() instanceof Resource) {
Resource resource = (Resource) notification.getNotifier();
if (resource.isLoaded()) {
boolean modified = false;
for (Iterator it = myInfo.getResourceSet()
.getResources().iterator(); it.hasNext()
&& !modified;) {
Resource nextResource = (Resource) it.next();
if (nextResource.isLoaded()) {
modified = nextResource.isModified();
}
}
boolean dirtyStateChanged = false;
synchronized (myInfo) {
if (modified != myInfo.fCanBeSaved) {
myInfo.fCanBeSaved = modified;
dirtyStateChanged = true;
}
if (!resource.isModified()) {
myInfo.setSynchronized(resource);
}
}
if (dirtyStateChanged) {
fireElementDirtyStateChanged(myInfo
.getEditorInput(), modified);
if (!modified) {
myInfo
.setModificationStamp(computeModificationStamp(myInfo));
}
}
}
}
}
}
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -