mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
notnull
GitOrigin-RevId: d0fe27129a67ead672b5dbd658e1b67a43329a6a
This commit is contained in:
committed by
intellij-monorepo-bot
parent
a331743dcd
commit
34a76dfe82
@@ -168,6 +168,7 @@ public interface AnnotationHolder {
|
||||
*/
|
||||
@Contract(pure=true)
|
||||
@ApiStatus.Experimental
|
||||
@NotNull
|
||||
default AnnotationBuilder newAnnotation(@NotNull TextRange range, @NotNull HighlightSeverity severity, @NotNull String message) {
|
||||
throw new IllegalStateException("Please do not override AnnotationHolder, use standard provided one instead");
|
||||
}
|
||||
|
||||
+1
@@ -169,6 +169,7 @@ public class AnnotationHolderImpl extends SmartList<Annotation> implements Annot
|
||||
void queueToUpdateIncrementally() {
|
||||
}
|
||||
|
||||
@NotNull
|
||||
@Override
|
||||
public AnnotationBuilder newAnnotation(@NotNull TextRange range, @NotNull HighlightSeverity severity, @NotNull String message) {
|
||||
return new B(this, range, severity, message);
|
||||
|
||||
Reference in New Issue
Block a user