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.  Joe-E requires that classes that implement this interface
011     * meet the obligation that all fields must be (1) final and (2) of a declared type
012     * that implements this interface in the overlay type system.
013     * <p>
014     * This interface contains no members.
015     */
016    public interface Immutable {
017    
018    }