diff --git a/java/java-tests/testData/codeInsight/javadocIG/documentationForUncheckedExceptionsInSupers.html b/java/java-tests/testData/codeInsight/javadocIG/documentationForUncheckedExceptionsInSupers.html index 61a8c084c3de..4b6984dd8a4d 100644 --- a/java/java-tests/testData/codeInsight/javadocIG/documentationForUncheckedExceptionsInSupers.html +++ b/java/java-tests/testData/codeInsight/javadocIG/documentationForUncheckedExceptionsInSupers.html @@ -1,7 +1,8 @@ - java.util.Collection
public abstract boolean contains(Object o)
+ My
@org.jetbrains.annotations.Contract(pure = true) 
+boolean contains(Object o)
Description copied from interface: java.util.Collection
Returns true if this collection contains the specified element. More formally, returns true if and only if this collection contains at least one element e such that (o==null ? e==null : o.equals(e)). -
Parameters:
o - element whose presence in this collection is to be tested.
Returns:
true if this collection contains the specified element
Throws:
ClassCastException - if the type of the specified element is incompatible with this collection (optional).
NullPointerException - if the specified element is null and this collection does not support null elements (optional).
\ No newline at end of file +
Overrides:
contains in interface Collection
contains in interface I
Parameters:
o - element whose presence in this collection is to be tested.
Returns:
true if this collection contains the specified element
Throws:
ClassCastException - if the type of the specified element is incompatible with this collection (optional).
NullPointerException - if the specified element is null and this collection does not support null elements (optional).
\ No newline at end of file diff --git a/java/java-tests/testData/codeInsight/javadocIG/documentationForUncheckedExceptionsInSupers.java b/java/java-tests/testData/codeInsight/javadocIG/documentationForUncheckedExceptionsInSupers.java index 34f042686d51..62ea8ad32c5a 100644 --- a/java/java-tests/testData/codeInsight/javadocIG/documentationForUncheckedExceptionsInSupers.java +++ b/java/java-tests/testData/codeInsight/javadocIG/documentationForUncheckedExceptionsInSupers.java @@ -2,9 +2,11 @@ interface I { /** * @throws NullPointerException blah-blah */ - boolean contains(Object o) {} + boolean contains(Object o); +} +interface My extends java.util.Collection, I { + boolean contains(Object o); } -interface My extends java.util.Collection, I {} class C { { My m = null;