From 8f588df670601ca874d339a78165be79df75b246 Mon Sep 17 00:00:00 2001 From: "pl@gohorb.ba-horb.de" Date: Mon, 29 Apr 2019 23:20:13 +0200 Subject: [PATCH] =?UTF-8?q?=09ge=C3=A4ndert:=20=20=20=20=20=20=20bundles/J?= =?UTF-8?q?avaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor?= =?UTF-8?q?.java=20typeinference=20=3D=20new=20Typinferenz(this);=20in=20d?= =?UTF-8?q?oSave=20eingefuegt.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../src/typinferenzplugin/editor/JavEditor.java | 1 + 1 file changed, 1 insertion(+) diff --git a/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java b/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java index a01307f..6ecada4 100644 --- a/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java +++ b/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java @@ -112,6 +112,7 @@ public class JavEditor extends TextEditor implements UnifyResultListener { public void doSave(IProgressMonitor monitor) { super.doSave(monitor); // Wird aufgerufen, sobald das Dokument gespeichert wird. + typeinference = new Typinferenz(this); this.removeMarkers(); ResultPairMap.RESULT_PAIRS.clear(); this.typeReconstruction();