public class Ideas_2011_10_24 { @Documented @TypeQualifier() @Retention(RetentionPolicy.RUNTIME) public @interface PK {} @NoWarning("TQ") @PK int asPK(int v) { return v; } @ExpectWarning("TQ") @PK int asPK(boolean b, int v) { if (b) System.out.println("true"); return v; } @NoWarning("TQ") boolean isFive(@PK int v) { return v == 5; } @ExpectWarning("TQ") boolean isFive(@PK int v, int x) { return v == x; } }
public class Ideas_2012_12_03 { @Documented @Retention(RetentionPolicy.RUNTIME) @TypeQualifier public @interface PK { } @Documented @TypeQualifier(applicableTo = CharSequence.class) @Retention(RetentionPolicy.RUNTIME) public @interface SlashedClassName { public static final String NOT_AVAILABLE = "./."; When when() default When.ALWAYS; } @NoWarning("TQ") @PK int foo(@PK int x, int y) { return x; } @NoWarning("TQ") @SlashedClassName String foo() { return null; } }
public class Ideas_2012_02_01 { @TypeQualifier(applicableTo = Integer.class) @Retention(RetentionPolicy.RUNTIME) public @interface Foo { @TypeQualifier(applicableTo = Integer.class) @Retention(RetentionPolicy.RUNTIME) public @interface Bar {
@TypeQualifier(applicableTo = Number.class) @Retention(RetentionPolicy.RUNTIME) static public @interface Even {
public class Ideas_2011_01_17 { @Documented @TypeQualifier(applicableTo = Integer.class) @Retention(RetentionPolicy.RUNTIME) public @interface PK {
public class Ideas_2011_09_24 { @Documented @TypeQualifier(applicableTo = Integer.class) @Retention(RetentionPolicy.RUNTIME) public @interface PK {} @TypeQualifier(applicableTo = CharSequence.class) @Retention(RetentionPolicy.RUNTIME) public @interface SlashedClassName {
public class Ideas_2011_08_31 { @TypeQualifier(applicableTo = Integer.class) @Retention(RetentionPolicy.RUNTIME) public @interface PK {
public class Ideas_2013_05_06 { @TypeQualifier(applicableTo = Long.class) @Retention(RetentionPolicy.RUNTIME) public @interface PK {
@TypeQualifier public @interface PK { @Documented @Retention(RetentionPolicy.RUNTIME) @TypeQualifier public @interface PK2 {
@TypeQualifier(applicableTo = Integer.class) @Retention(RetentionPolicy.RUNTIME) public @interface Type {
public class Ideas_2013_01_29 { @TypeQualifier @Retention(RetentionPolicy.RUNTIME) public @interface Foo {
@TypeQualifier(applicableTo = Integer.class) @Retention(RetentionPolicy.RUNTIME) public @interface AnalysisFeature {
@TypeQualifier(applicableTo = Integer.class) @Retention(RetentionPolicy.RUNTIME) public @interface SpecialKind {
@TypeQualifier(applicableTo = Integer.class) @Retention(RetentionPolicy.RUNTIME) public @interface Type {
@TypeQualifier(applicableTo = Integer.class) @Retention(RetentionPolicy.RUNTIME) public @interface AnalysisFeature {
public static class Item { @TypeQualifier(applicableTo = Integer.class) @Retention(RetentionPolicy.RUNTIME) public @interface SpecialKind {