moving tests to CE

This commit is contained in:
Dmitry Jemerov
2009-09-25 21:07:37 +04:00
parent 8a4939e31f
commit 19e9b897aa
11 changed files with 6 additions and 0 deletions
@@ -0,0 +1,33 @@
<?xml version="1.0" encoding="UTF-8"?>
<problems>
<problem>
<file>Test.java</file>
<line>11</line>
<method>
<name>void setB(B b)</name>
<display_name>setB(B)</display_name>
<package>&lt;default&gt;</package>
<class>
<name>B</name>
<display_name>B</display_name>
</class>
</method>
<problem_class severity="WARNING" attribute_key="WARNING_ATTRIBUTES">@NotNull/@Nullable problems</problem_class>
<description>Setter parameter for @NotNull field might be annotated @NotNull itself</description>
</problem>
<problem>
<file>Test.java</file>
<line>7</line>
<method>
<name>B getB()</name>
<display_name>getB()</display_name>
<package>&lt;default&gt;</package>
<class>
<name>B</name>
<display_name>B</display_name>
</class>
</method>
<problem_class severity="WARNING" attribute_key="WARNING_ATTRIBUTES">@NotNull/@Nullable problems</problem_class>
<description>Getter for @NotNull field might be annotated @NotNull itself</description>
</problem>
</problems>
@@ -0,0 +1,21 @@
import org.jetbrains.annotations.NotNull;
class B {
@NotNull
B b;
public B getB() {
return b;
}
public void setB(B b) {
this.b = b;
}
@NotNull
private String bug = "true";
public boolean getBug() {
return Boolean.valueOf(bug);
}
}
@@ -0,0 +1,4 @@
<?xml version="1.0" encoding="UTF-8"?>
<problems>
</problems>
@@ -0,0 +1,26 @@
import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.Nullable;
class B {
public void f(@NotNull String p){}
@NotNull
public String nn(@Nullable String param) {
return "";
}
}
public class Y extends B {
@NotNull @Nullable String s;
public void f(String p){}
public String nn(@NotNull String param) {
return "";
}
void p(@NotNull @Nullable String p2){}
@Nullable int f;
@NotNull void vf(){}
void t(@NotNull double d){}
}
@@ -0,0 +1,43 @@
<?xml version="1.0" encoding="UTF-8"?>
<problems>
<problem>
<file>Test.java</file>
<line>17</line>
<problem_class severity="WARNING" attribute_key="WARNING_ATTRIBUTES">@NotNull/@Nullable problems</problem_class>
<description>Not annotated method overrides method annotated with @NotNull</description>
</problem>
<problem>
<file>Test.java</file>
<line>17</line>
<problem_class severity="WARNING" attribute_key="WARNING_ATTRIBUTES">@NotNull/@Nullable problems</problem_class>
<description>Not annotated parameter overrides @NotNull parameter</description>
</problem>
<problem>
<file>Test.java</file>
<line>4</line>
<problem_class severity="WARNING" attribute_key="WARNING_ATTRIBUTES">@NotNull/@Nullable problems</problem_class>
<description>Overridden methods are not annotated</description>
</problem>
<problem>
<file>Test.java</file>
<line>5</line>
<problem_class severity="WARNING" attribute_key="WARNING_ATTRIBUTES">@NotNull/@Nullable problems</problem_class>
<description>Overridden method parameters are not annotated</description>
</problem>
<problem>
<file>Test.java</file>
<line>11</line>
<problem_class severity="WARNING" attribute_key="WARNING_ATTRIBUTES">@NotNull/@Nullable problems</problem_class>
<description>Not annotated method overrides method annotated with @NotNull</description>
</problem>
<problem>
<file>Test.java</file>
<line>11</line>
<problem_class severity="WARNING" attribute_key="WARNING_ATTRIBUTES">@NotNull/@Nullable problems</problem_class>
<description>Not annotated parameter overrides @NotNull parameter</description>
</problem></problems>
@@ -0,0 +1,31 @@
import org.jetbrains.annotations.NotNull;
abstract class P2 {
@NotNull
String foo(@NotNull P p) {
return "";
}
}
class PPP extends P2 {
String foo(P p) {
return super.foo(p);
}
}
class PPP2 extends P2 {
String foo(P p) {
return super.foo(p);
}
}
/////// in library
interface Foo {
@NotNull
String getTitle();
}
class FooImpl extends java.awt.Frame implements Foo {
// public String getTitle() {
// return super.getTitle(); //To change body of overridden methods use File | Settings | File Templates.
// }
}
@@ -0,0 +1,169 @@
<?xml version="1.0" encoding="UTF-8"?>
<problems>
<problem>
<file>Test.java</file>
<line>14</line>
<method>
<name>void f(String p)</name>
<display_name>f(String)</display_name>
<package>&lt;default&gt;</package>
<class>
<name>Y</name>
<display_name>Y</display_name>
</class>
</method>
<description>Not annotated parameter overrides @NotNull parameter</description>
</problem>
<problem>
<file>Test.java</file>
<line>17</line>
<text_range start="361" end="363" />
<method>
<name>String nn(String param)</name>
<display_name>nn(String)</display_name>
<package>&lt;default&gt;</package>
<class>
<name>Y</name>
<display_name>Y</display_name>
</class>
</method>
<description>Not annotated method overrides method annotated with @NotNull</description>
</problem>
<problem>
<file>Test.java</file>
<line>17</line>
<text_range start="380" end="385" />
<method>
<name>String nn(String param)</name>
<display_name>nn(String)</display_name>
<package>&lt;default&gt;</package>
<class>
<name>Y</name>
<display_name>Y</display_name>
</class>
</method>
<description>Parameter annotated @NonNull must not override @Nullable parameter</description>
</problem>
<problem>
<file>Test.java</file>
<line>13</line>
<text_range start="291" end="292" />
<field>
<name>String s</name>
<display_name>s</display_name>
<package>&lt;default&gt;</package>
<class>
<name>Y</name>
<display_name>Y</display_name>
</class>
</field>
<description>Cannot annotate with both @Nullable and @NotNull</description>
</problem>
<problem>
<file>Test.java</file>
<line>13</line>
<field>
<name>String s</name>
<display_name>s</display_name>
<package>&lt;default&gt;</package>
<class>
<name>Y</name>
<display_name>Y</display_name>
</class>
</field>
<problem_class severity="WARNING" attribute_key="WARNING_ATTRIBUTES">@NotNull/@Nullable problems</problem_class>
<description>Cannot annotate with both @Nullable and @NotNull</description>
</problem>
<problem>
<file>Test.java</file>
<line>20</line>
<text_range start="452" end="454" />
<method>
<name>void p(String p2)</name>
<display_name>p(String)</display_name>
<package>&lt;default&gt;</package>
<class>
<name>Y</name>
<display_name>Y</display_name>
</class>
</method>
<description>Cannot annotate with both @Nullable and @NotNull</description>
</problem>
<problem>
<file>Test.java</file>
<line>23</line>
<text_range start="476" end="477" />
<field>
<name>int f</name>
<display_name>f</display_name>
<package>&lt;default&gt;</package>
<class>
<name>Y</name>
<display_name>Y</display_name>
</class>
</field>
<description>Primitive type members cannot be Nullable/NotNull annotated</description>
</problem>
<problem>
<file>Test.java</file>
<line>24</line>
<text_range start="492" end="496" />
<method>
<name>void vf()</name>
<display_name>vf()</display_name>
<package>&lt;default&gt;</package>
<class>
<name>Y</name>
<display_name>Y</display_name>
</class>
</method>
<description>Primitive type members cannot be Nullable/NotNull annotated</description>
</problem>
<problem>
<file>Test.java</file>
<line>25</line>
<text_range start="531" end="532" />
<method>
<name>void t(double d)</name>
<display_name>t(double)</display_name>
<package>&lt;default&gt;</package>
<class>
<name>Y</name>
<display_name>Y</display_name>
</class>
</method>
<description>Primitive type members cannot be Nullable/NotNull annotated</description>
</problem>
<problem>
<file>Test.java</file>
<line>20</line>
<method>
<name>void p(String p2)</name>
<name>p(String)</name>
<package>&lt;default&gt;</package>
<class>
<name>Y</name>
<display_name>Y</display_name>
</class>
</method>
<problem_class severity="WARNING" attribute_key="WARNING_ATTRIBUTES">@NotNull/@Nullable problems</problem_class>
<description>Cannot annotate with both @Nullable and @NotNull</description>
</problem>
</problems>
@@ -0,0 +1,26 @@
import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.Nullable;
class B {
public void f(@NotNull String p){}
@NotNull
public String nn(@Nullable String param) {
return "";
}
}
public class Y extends B {
@NotNull @Nullable String s;
public void f(String p){}
public String nn(@NotNull String param) {
return "";
}
void p(@NotNull @Nullable String p2){}
@Nullable int f;
@NotNull void vf(){}
void t(@NotNull double d){}
}
@@ -0,0 +1,85 @@
<?xml version="1.0" encoding="UTF-8"?>
<problems>
<problem>
<file>Test.java</file>
<line>23</line>
<text_range start="556" end="557" />
<method>
<name>String f()</name>
<display_name>f()</display_name>
<package>&lt;default&gt;</package>
<class>
<name>CC</name>
<display_name>CC</display_name>
</class>
</method>
<description>Cannot annotate with both @Nullable and @NotNull</description>
</problem>
<problem>
<file>Test.java</file>
<line>23</line>
<method>
<name>String f()</name>
<name>f()</name>
<package>&lt;default&gt;</package>
<class>
<name>CC</name>
<display_name>CC</display_name>
</class>
</method>
<problem_class severity="WARNING" attribute_key="WARNING_ATTRIBUTES">@NotNull/@Nullable problems</problem_class>
<description>Cannot annotate with both @Nullable and @NotNull</description>
</problem>
<problem>
<file>Test.java</file>
<line>16</line>
<text_range start="368" end="373" />
<method>
<name>C getC2()</name>
<display_name>getC2()</display_name>
<package>&lt;default&gt;</package>
<class>
<name>CC</name>
<display_name>CC</display_name>
</class>
</method>
<description>Not annotated method overrides method annotated with @NotNull</description>
</problem>
<problem>
<file>Test.java</file>
<line>18</line>
<text_range start="417" end="418" />
<method>
<name>void f1(C p)</name>
<display_name>f1(C)</display_name>
<package>&lt;default&gt;</package>
<class>
<name>CC</name>
<display_name>CC</display_name>
</class>
</method>
<description>Parameter annotated @NonNull must not override @Nullable parameter</description>
</problem>
<problem>
<file>Test.java</file>
<line>15</line>
<text_range start="338" end="342" />
<method>
<name>C getC()</name>
<display_name>getC()</display_name>
<package>&lt;default&gt;</package>
<class>
<name>CC</name>
<display_name>CC</display_name>
</class>
</method>
<description>Method annotated with @Nullable must not override @NotNull method</description>
</problem>
</problems>
@@ -0,0 +1,24 @@
import org.jetbrains.annotations.*;
class C {
public static C C = null;
@NotNull public C getC() {return C;}
@NotNull public C getC2() {return C;}
public void f1(@Nullable C p) {}
public void f2(@NotNull C p) {}
public void f3(@Nullable C p) {}
public void f4(@NotNull C p) {}
}
class CC extends C {
@Nullable public C getC() {return C;}
public C getC2() {return C;}
public void f1(@NotNull C p) {}
public void f2(@NotNull C p) {}
public void f3(@Nullable C p) {}
public void f4(@Nullable C p) {}
@Nullable @NotNull String f() { return null;}
}