JavaTX/Plugin_JCC
3
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

geändert: bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java

Browse Source 
typeinference = new Typinferenz(this); in doSave eingefuegt.
This commit is contained in:
pl@gohorb.ba-horb.de 2019-04-29 23:20:13 +02:00
parent 8df6de3228
commit 8f588df670
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java
View File

@ -112,6 +112,7 @@ public class JavEditor extends TextEditor implements UnifyResultListener {
public void doSave(IProgressMonitor monitor) { public void doSave(IProgressMonitor monitor) {
super.doSave(monitor); super.doSave(monitor);
// Wird aufgerufen, sobald das Dokument gespeichert wird. // Wird aufgerufen, sobald das Dokument gespeichert wird.
typeinference = new Typinferenz(this);
this.removeMarkers(); this.removeMarkers();
ResultPairMap.RESULT_PAIRS.clear(); ResultPairMap.RESULT_PAIRS.clear();
this.typeReconstruction(); this.typeReconstruction();