001    package edu.rice.cs.cunit.threadCheck;
002    
003    import java.lang.annotation.Retention;
004    import java.lang.annotation.RetentionPolicy;
005    import java.lang.annotation.Target;
006    import java.lang.annotation.ElementType;
007    
008    /**
009     * Tells the Thread Checker to ignore subtyping warnings that may arise because this class or method
010     * has a certain annotation, but the superclass or method in the superclass does not.
011     * @author Mathias Ricken
012     */
013    @Retention(RetentionPolicy.CLASS)
014    @Target({ElementType.CONSTRUCTOR,ElementType.METHOD})
015    public @interface SuppressSubtypingWarning {
016        /**
017         * Optional message why subtyping warnings should be ignored.
018         * @return optional message
019         */
020        String value() default "";
021    }