Encrypted.java

package checkers.util.test;

import checkers.quals.*;

/**
 * Denotes an object with a representation that has been encrypted.
 */
@TypeQualifier
@SubtypeOf(Unqualified.class)
public @interface Encrypted {}