diff options
author | Lorenzo Bettini | 2015-11-07 18:07:00 +0000 |
---|---|---|
committer | Lorenzo Bettini | 2015-11-07 18:07:00 +0000 |
commit | 090de5c3bf2c5a6b9e25b576eb8ab6284ef36a82 (patch) | |
tree | 11b3e23b4dc6c49a0af0e1d303e882bc31cc82d7 | |
parent | d206592c25fe23bd960c7a09d1acd268f60227df (diff) | |
download | org.eclipse.emf-parsley-090de5c3bf2c5a6b9e25b576eb8ab6284ef36a82.tar.gz org.eclipse.emf-parsley-090de5c3bf2c5a6b9e25b576eb8ab6284ef36a82.tar.xz org.eclipse.emf-parsley-090de5c3bf2c5a6b9e25b576eb8ab6284ef36a82.zip |
extracted method reloadResources
Change-Id: I4804582652429c9548a1dc17dc06d23982af0e92
-rw-r--r-- | plugins/org.eclipse.emf.parsley.editors.common/src/org/eclipse/emf/parsley/editors/EmfAbstractEditor.java | 34 |
1 files changed, 19 insertions, 15 deletions
diff --git a/plugins/org.eclipse.emf.parsley.editors.common/src/org/eclipse/emf/parsley/editors/EmfAbstractEditor.java b/plugins/org.eclipse.emf.parsley.editors.common/src/org/eclipse/emf/parsley/editors/EmfAbstractEditor.java index 353bc529b..c0c87f777 100644 --- a/plugins/org.eclipse.emf.parsley.editors.common/src/org/eclipse/emf/parsley/editors/EmfAbstractEditor.java +++ b/plugins/org.eclipse.emf.parsley.editors.common/src/org/eclipse/emf/parsley/editors/EmfAbstractEditor.java @@ -380,21 +380,7 @@ public abstract class EmfAbstractEditor extends MultiPageEditorPart implements editingDomain.getCommandStack().flush(); updateProblemIndication = false; - for (Resource resource : changedResources) { - if (resource.isLoaded()) { - resource.unload(); - try { - resource.load(Collections.emptyMap()); - } catch (IOException exception) { - if (!resourceToDiagnosticMap.containsKey(resource)) { - resourceToDiagnosticMap - .put(resource, - analyzeResourceProblems(resource, - exception)); - } - } - } - } + reloadChangedResources(); if (AdapterFactoryEditingDomain.isStale(editorSelection)) { setSelection(StructuredSelection.EMPTY); @@ -405,6 +391,24 @@ public abstract class EmfAbstractEditor extends MultiPageEditorPart implements } } + protected void reloadChangedResources() { + for (Resource resource : changedResources) { + if (resource.isLoaded()) { + resource.unload(); + try { + resource.load(Collections.emptyMap()); + } catch (IOException exception) { + if (!resourceToDiagnosticMap.containsKey(resource)) { + resourceToDiagnosticMap + .put(resource, + analyzeResourceProblems(resource, + exception)); + } + } + } + } + } + /** * Updates the problems indication with the information described in the * specified diagnostic. <!-- begin-user-doc --> <!-- end-user-doc --> |