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

Outline repariert.

Browse Source
This commit is contained in:
Michael Uhl 2019-04-08 23:30:49 +02:00
parent 80f0708218
commit a6c93c8816
2 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/Typinferenz.java
View File

@ -62,7 +62,11 @@ public class Typinferenz {
try {
compiler = new JavaTXCompiler(editor.getFilePath().toFile(), false);
this.parsedSource = compiler.sourceFiles.get(editor.getFilePath().toFile());
SourceFile parsedSourceOrNull = compiler.sourceFiles.get(editor.getFilePath().toFile());
if (parsedSourceOrNull != null) {
this.parsedSource = parsedSourceOrNull;
}
return compiler.typeInferenceAsync(resultListener, new OutputStreamWriter(new NullOutputStream()));
} catch (ClassNotFoundException e) {

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

@ -352,7 +352,7 @@ public class JavEditor extends TextEditor implements UnifyResultListener {
typeinference.updateresultSets(new Vector(evt.getNewTypeResult()));
Set<JavMarker> markers = new HashSet<JavMarker>();
typeReplaceMarkers = typeinference.updateWithResult(new Vector(markers), evt.getNewTypeResult());
typeReplaceMarkers.addAll(typeinference.updateWithResult(new Vector(markers), evt.getNewTypeResult()));
for (TypeReplaceMarker m : this.getTypeReplaceMarkers()) {
markers.add(m);