blob: d1ccaefa89866105076414025477d09cf8943441 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
note
description: "Summary description for {STUDENTACCOUNT}."
author: ""
date: "$Date$"
revision: "$Revision$"
class
STUDENTACCOUNT
inherit
ACCOUNT
create
make
invariant
authorized_signers_only_one: authorized_signers.count = 1
authorized_signers_attached: authorized_signers.linear_representation /= Void
authorized_signers_only_students:
(attached authorized_signers.linear_representation as signers) implies signers.for_all(
agent (person: PERSON): BOOLEAN
do
Result := attached {STUDENT} person
end)
end
|
