001    // Copyright 2008 Regents of the University of California.  May be used 
002    // under the terms of the revised BSD license.  See LICENSING for details.
003    /** 
004     * @author Adrian Mettler 
005     */
006    package org.joe_e;
007    import java.lang.annotation.*;
008    
009    /**
010     * Package annotation to use for packages containing Joe-E code. All classes in
011     * the package will be checked if this annotation is applied. (Package 
012     * annotations can be specified in a file named <code>package-info.java</code>
013     * with a line like "<code>@org.joe_e.IsJoeE package package.name;</code>".)
014     */
015    @Target(ElementType.PACKAGE)
016    @Retention(RetentionPolicy.RUNTIME)
017    public @interface IsJoeE {
018    
019    }