package gizmoball.game;

/**
 * Build options for the gizmoball.game module. This class contains
 * only static final fields.
 *
 * @author <a href="mailto:drkp@mit.edu">Dan R. K. Ports</a>
 * @version $Id: BuildOptions.java,v 1.2 2004/04/24 11:53:58 dan Exp $
 */
public class BuildOptions {
    private BuildOptions() {
        // Do not ever construct a BuildOptions
    } // BuildOptions constructor

    /**
     * If enabled, representation invariant checking is optimized for
     * speed rather than correctness. This should be disabled during
     * testing of this module and enabled for production releases.
     */
    public static final boolean FAST_CHECK_REP = false;
} // BuildOptions