class
	RETIREEACCOUNT

inherit
	ACCOUNT
		redefine
			add_authorized_signer,
			set_default_transfer_minamount
		end

create
	make

feature -- Basic operations

	add_authorized_signer (an_authorized_signer: PERSON)
		do
			check
				authorized_signers_only_one: get_authorized_signers.count = 0
			end
			Precursor (an_authorized_signer)
		end

feature {NONE} -- Implementation

	set_default_transfer_minamount
		do
			set_transfer_minamount (1.0)
		end

invariant
	authorized_signers_only_one: authorized_signers.count = 1
	authorized_signers_attached: authorized_signers.linear_representation /= Void
	authorized_signers_only_retirees:
		(attached authorized_signers.linear_representation as signers) implies signers.for_all(
			agent (person: PERSON): BOOLEAN
				do
					Result := attached {RETIREE} person
				end)
end