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

Marker verschwinden jetzt.

Browse Source
This commit is contained in:
Michael Uhl 2019-01-15 23:21:25 +01:00
parent 07e034a638
commit 14c49c22a7
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -120,7 +120,7 @@ public class JavEditor extends TextEditor{
}catch(TypeinferenceException texc){ }catch(TypeinferenceException texc){
markers.add(new ErrorMarker(texc.getMessage(),new CodePoint(texc.getOffset()))); markers.add(new ErrorMarker(texc.getMessage(),new CodePoint(texc.getOffset())));
} }
//Anschlie<EFBFBD>end die TypeReplaceMarker im Quellcode anzeigen: https://stackoverflow.com/questions/8945371/how-to-implement-quick-fix-quick-assist-for-custom-eclipse-editor //Anschließend die TypeReplaceMarker im Quellcode anzeigen: https://stackoverflow.com/questions/8945371/how-to-implement-quick-fix-quick-assist-for-custom-eclipse-editor
System.out.println("Typinferez durchgef<65>hrt. Berechnete Marker:\n"+markers); System.out.println("Typinferez durchgef<65>hrt. Berechnete Marker:\n"+markers);
IResource activeDocument = extractResource(); IResource activeDocument = extractResource();
@ -130,6 +130,7 @@ public class JavEditor extends TextEditor{
this.placeMarkers(activeDocument, markers); this.placeMarkers(activeDocument, markers);
} }
this.sourceFile = typeinference.getSourceFile(); this.sourceFile = typeinference.getSourceFile();
this.errorMarkers.addAll(markers);
this.updateOutlinePage(); this.updateOutlinePage();
//this.outlinePage.update(this.sourceFile,this.markers); //this.outlinePage.update(this.sourceFile,this.markers);
} }
@ -155,7 +156,7 @@ public class JavEditor extends TextEditor{
String message = rm.getMessage(); String message = rm.getMessage();
m.setAttribute(IMarker.MESSAGE, message); m.setAttribute(IMarker.MESSAGE, message);
m.setAttribute(IMarker.SEVERITY, 1); m.setAttribute(IMarker.SEVERITY, 1);
//rm.setAnnotation(this.addAnnotation(m, point.getPositionInCode())); rm.setAnnotation(this.addAnnotation(m, point.getPositionInCode()));
} catch (CoreException e) { } catch (CoreException e) {
new ErrorOutput("Fehler beim Generieren eines Markers"); new ErrorOutput("Fehler beim Generieren eines Markers");
e.printStackTrace(); e.printStackTrace();
@ -188,7 +189,7 @@ public class JavEditor extends TextEditor{
} }
/** /**
* L<EFBFBD>scht die zu marker geh<EFBFBD>rende Annotation * Löscht die zu marker geh<EFBFBD>rende Annotation
* @param marker * @param marker
*/ */
private void deleteAnnotation(JavMarker marker){ private void deleteAnnotation(JavMarker marker){