note
	description: "Summary description for {RETIREEACCOUNT}."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class
	RETIREEACCOUNT

inherit
	ACCOUNT

create
	make

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