note
    description : ""
    author      : ""
    date        : "$Date$"
    revision    : "$Revision$"

class
    BUTTON

inherit
    OBSERVABLE
        redefine
            make
        end -- redefine

create
    make

feature -- queries
    pressed : BOOLEAN

feature {NONE} -- initialisation
    make
        do
            precursor
            pressed := false
        end -- make

feature {SIMULATION} -- actions
    press
        do
            pressed := true
            notify
        ensure
            button_pressed: pressed
        end -- press

feature {CABIN, LIFT} -- Actions
    reset
        do
            pressed := false
            notify
        ensure
            button_resetted: not pressed
        end -- reset
end -- class BUTTON