INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Reference class for BOOLEAN"
project: "Eiffel Kernel Library"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: kernel
class BOOLEAN_REF
inherit

HASHABLE
redefine
out
end
feature -- Access

item: BOOLEAN

hash_code: INTEGER
-- Hash code value
-- (From HASHABLE)
feature -- Element change

set_item (b: BOOLEAN)
-- Make 'b' the associated boolean value
ensure
item_set: item = b
feature -- Basic operations

infix "and" (other: BOOLEAN): BOOLEAN
-- Boolean conjunction with 'other'
require
other_exists: other /= void
ensure
result_exists: Result /= void
de_morgan: Result = not (not Current or (not other))
commutative: Result = (other and item)
consistent_with_semi_strict: Result implies (Current and then other)

infix "and then" (other: BOOLEAN): BOOLEAN
-- Boolean semi-strict conjunction with 'other'
require
other_exists: other /= void
ensure
result_exists: Result /= void
de_morgan: Result = not (not Current or else (not other))

infix "implies" (other: BOOLEAN): BOOLEAN
-- Boolean implication of 'other' (semi-strict)
require
other_exists: other /= void
ensure
definition: Result = (not Current or else other)

prefix "not": BOOLEAN
-- Negation

infix "or" (other: BOOLEAN): BOOLEAN
-- Boolean disjunction with 'other'
require
other_exists: other /= void
ensure
result_exists: Result /= void
de_morgan: Result = not (not Current and (not other))
commutative: Result = (other or item)
consistent_with_semi_strict: Result implies (Current or else other)

infix "or else" (other: BOOLEAN): BOOLEAN
-- Boolean semi-strict disjunction with 'other'
require
other_exists: other /= void
ensure
result_exists: Result /= void
de_morgan: Result = not (not Current and then (not other))

infix "xor" (other: BOOLEAN): BOOLEAN
-- Boolean exclusive or with 'other'
require
other_exists: other /= void
ensure
definition: Result = ((Current or other) and not (Current and other))
feature -- Output

out: STRING
-- Printable representation of boolean
end -- class BOOLEAN_REF

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES