Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

kernel.basic

Class KL_BOOLEAN_ROUTINES



Features

Invariants

indexing

description

Routines that ought to be in class BOOLEAN

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 2002, Berend de Boer and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2003/02/07 12:49:18 $

revision

$Revision: 1.2 $

class

KL_BOOLEAN_ROUTINES

feature -- Access

nxor (a_booleans: ARRAY [BOOLEAN]): BOOLEAN

-- N-ary exclusive or

require
a_booleans_not_void: a_booleans /= Void
ensure
zero: a_booleans.count = 0 implies not Result
unary: a_booleans.count = 1 implies Result = a_booleans.item (a_booleans.lower)
binary: a_booleans.count = 2 implies Result = (a_booleans.item (a_booleans.lower) xor a_booleans.item (a_booleans.upper))

invariant

-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

end