import java.lang.annotation.*;

/**
 * An annotation that can be used to indicate that a class
 * must have final attributes.
 * 
 * @author  Prof. David Bernstein, James Madison University
 * @version 1.0
 */
@Target(ElementType.TYPE)          // The annotation can be used anywhere a type is used
@Retention(RetentionPolicy.CLASS)  // Retained at compile-time; ignored at run-time
public @interface FinalAttributes 
{
  // No annotation type elements
}