001    // Copyright 2005-06 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    
008    /**
009     * Marker interface for annotating classes that transitively do not contain any
010     * mutable state or tokens.  Joe-E requires that classes that implement this 
011     * interface meet the obligation that they do not extend Token, and that all
012     * fields must be (1) final and (2) of a declared type that implements 
013     * Powerless in the overlay type system.
014     * <p> 
015     * This interface contains no members.
016     * 
017     * @see Token
018     */
019    public interface Powerless extends Immutable {
020    
021    }