001    package edu.rice.cs.cunit.threadCheck.subAnnot;
002    
003    import java.lang.annotation.RetentionPolicy;
004    import java.lang.annotation.Target;
005    import java.lang.annotation.ElementType;
006    import java.lang.annotation.Retention;
007    
008    /**
009     * This is the base annotation for all invariant annotations.
010     * All other invariant annotations have to extend this annotation.
011     *
012     * Note that this is not compatible with standard Java, but requires xajavac.
013     * For more information about xajavac, see http://ricken.us/research/xajavac
014     *
015     * @author Mathias Ricken
016     */
017    @Retention(RetentionPolicy.RUNTIME)
018    public @interface InvariantAnnotation { }