INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Check box which has 3 states (on, off, indeterminate). ", "WEL: library of reusable components for Eiffel. ", "Based on WEL library for ISE Eiffel, used with permission. "
project: "Windows Eiffel Library"
copyright: "(c) 1986-1997 Interactive Software Engineering Inc. ", "Modifications and extensions: ", "(c) 1997 Object Tools ", "All rights reserved. Duplication and distribution prohibited", "May be used only with Visual Eiffel under terms of user ", "license "
cluster: wel
class WEL_CHECK_BOX_3_STATE
inherit

WEL_CHECK_BOX
redefine
default_style
end
creation

make,
make_by_id
feature -- Status setting

set_indeterminate
-- Set the indeterminate state.
require
exists: exists
ensure
indeterminate: indeterminate
feature -- Status report

indeterminate: BOOLEAN
-- Is the state indeterminate?
require
exists: exists
invariant

consistent_state: exists and then checked implies not indeterminate
end -- class WEL_CHECK_BOX_3_STATE

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES