Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLorenzo Bettini2015-11-07 18:07:00 +0000
committerLorenzo Bettini2015-11-07 18:07:00 +0000
commit090de5c3bf2c5a6b9e25b576eb8ab6284ef36a82 (patch)
tree11b3e23b4dc6c49a0af0e1d303e882bc31cc82d7
parentd206592c25fe23bd960c7a09d1acd268f60227df (diff)
downloadorg.eclipse.emf-parsley-090de5c3bf2c5a6b9e25b576eb8ab6284ef36a82.tar.gz
org.eclipse.emf-parsley-090de5c3bf2c5a6b9e25b576eb8ab6284ef36a82.tar.xz
org.eclipse.emf-parsley-090de5c3bf2c5a6b9e25b576eb8ab6284ef36a82.zip
extracted method reloadResources
-rw-r--r--plugins/org.eclipse.emf.parsley.editors.common/src/org/eclipse/emf/parsley/editors/EmfAbstractEditor.java34
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 -->

Back to the top