bank-eiffel/studentaccount.e


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

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

class
	STUDENTACCOUNT

inherit
	ACCOUNT

invariant
	authorized_signers_only_one: authorized_signers.count = 1
end