MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

notnull

Browse Source
This commit is contained in:
Alexey Kudravtsev
2015-10-15 13:45:45 +03:00
parent ada6698a52
commit 7e4dd8d617
15 changed files with 79 additions and 47 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/execution/openapi/src/com/intellij/execution/filters/ExceptionExFilterFactory.java
+5 -3
View File
@@ -1,5 +1,5 @@
/*
* Copyright 2000-2012 JetBrains s.r.o.
* Copyright 2000-2015 JetBrains s.r.o.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
@@ -62,10 +62,10 @@ public class ExceptionExFilterFactory implements ExceptionFilterFactory {
}
@Override
public void applyHeavyFilter(final Document copiedFragment,
public void applyHeavyFilter(@NotNull final Document copiedFragment,
final int startOffset,
int startLineNumber,
final Consumer<AdditionalHighlight> consumer) {
@NotNull final Consumer<AdditionalHighlight> consumer) {
Map<String, Trinity<TextRange, TextRange, TextRange>> visited = new THashMap<String, Trinity<TextRange, TextRange, TextRange>>();
final Trinity<TextRange, TextRange, TextRange> emptyInfo = Trinity.create(null, null, null);
@@ -110,6 +110,7 @@ public class ExceptionExFilterFactory implements ExceptionFilterFactory {
int off = startOffset + lineStartOffset;
final Color color = UIUtil.getInactiveTextColor();
consumer.consume(new AdditionalHighlight(off + info.first.getStartOffset(), off + info.second.getEndOffset()) {
@NotNull
@Override
public TextAttributes getTextAttributes(@Nullable TextAttributes source) {
return new TextAttributes(null, null, color, EffectType.BOLD_DOTTED_LINE, Font.PLAIN);
@@ -118,6 +119,7 @@ public class ExceptionExFilterFactory implements ExceptionFilterFactory {
}
}
@NotNull
@Override
public String getUpdateMessage() {
return "Highlighting try blocks...";