// ************************************************************************
//    $Id: PriorityCeilingEmulation.java 561 2005-07-11 20:09:17Z mdeters $
// ************************************************************************
//
//                                jRate
//
//               Copyright (C) 2001-2005 by Angelo Corsaro.
//                         <corsaro@cse.wustl.edu>
//                          All Rights Reserved.
//
//   Permission to use, copy, modify, and distribute this software and
//   its  documentation for any purpose is hereby  granted without fee,
//   provided that the above copyright notice appear in all copies and
//   that both that copyright notice and this permission notice appear
//   in  supporting  documentation. I don't make  any  representations
//   about the  suitability  of this  software for any  purpose. It is
//   provided "as is" without express or implied warranty.
//
//
// *************************************************************************
//
// *************************************************************************

package javax.realtime;

/**
 * A monitor control class specifying the priority ceiling protocol as
 * a strategy to avoid deadlock.
 *
 * @see MonitorControl
 * @see PriorityInheritance
 * @author <a href="mailto:mdeters@morgandeters.com">Morgan Deters</a>
 * @version 1.0
 * @since 0.3.8
 */
public class PriorityCeilingEmulation extends MonitorControl {
    private int ceiling;

    /**
     * Construct a {@link PriorityCeilingEmulation} object.
     *
     * @param ceiling the ceiling priority to use
     */
    public PriorityCeilingEmulation(int ceiling) {
        this.ceiling = ceiling;
    }

    /**
     * Returns the ceiling priority for this {@link
     * PriorityCeilingEmulation} object.
     *
     * @return the ceiling priority for this {@link
     * PriorityCeilingEmulation} object
     */
    public int getDefaultCeiling() {
        return ceiling;
    }
}