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

Marker verschwinden jetzt. (Zunächst ohne Annotation).

Browse Source
This commit is contained in:
Michael Uhl 2019-01-15 23:12:53 +01:00
parent 269209f068
commit 07e034a638
3 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JafCompletionProcess.java
View File

@ -1,7 +1,6 @@
package typinferenzplugin.editor; package typinferenzplugin.editor;
import static org.eclipse.core.runtime.IStatus.ERROR; import static org.eclipse.core.runtime.IStatus.*;
import static org.eclipse.core.runtime.IStatus.WARNING;
import static typinferenzplugin.Activator.PLUGIN_ID; import static typinferenzplugin.Activator.PLUGIN_ID;
import java.lang.reflect.Field; import java.lang.reflect.Field;
@ -43,7 +42,7 @@ public class JafCompletionProcess implements IContentAssistProcessor {
public ICompletionProposal[] computeCompletionProposals(ITextViewer viewer, int offset) { public ICompletionProposal[] computeCompletionProposals(ITextViewer viewer, int offset) {
try { try {
IDocument doc = viewer.getDocument(); IDocument doc = viewer.getDocument();
if (isAfterDotOper(offset, doc)) { if (isAfterDotOper(offset, doc)) {
String prefix = lastWord(doc, offset); String prefix = lastWord(doc, offset);

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

@ -155,7 +155,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();
@ -183,6 +183,7 @@ public class JavEditor extends TextEditor{
iamf.connect(document); iamf.connect(document);
iamf.addAnnotation(ma,new Position(offset,1)); iamf.addAnnotation(ma,new Position(offset,1));
iamf.disconnect(document); iamf.disconnect(document);
return ma; return ma;
} }

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

@ -125,6 +125,7 @@ public IPresentationReconciler getPresentationReconciler(ISourceViewer sourceVie
QuickAssistAssistant ret = new QuickAssistAssistant(); QuickAssistAssistant ret = new QuickAssistAssistant();
ret.setQuickAssistProcessor(new QuickAssistProcessor(this.editor)); ret.setQuickAssistProcessor(new QuickAssistProcessor(this.editor));
ret.setInformationControlCreator(getInformationControlCreator(sourceViewer)); ret.setInformationControlCreator(getInformationControlCreator(sourceViewer));
return ret; return ret;
} }