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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
|
note
description: "[
Eiffel tests that can be executed by testing tool.
]"
author: "EiffelStudio test wizard"
date: "$Date$"
revision: "$Revision$"
testing: "type/manual"
class
TEST_PERSON
inherit
EQA_TEST_SET
feature -- Test routines
CREATE_EDIT_PERSON
local
person: PERSON
do
create person.make("SOME_SURNAME_1", "SOME_FIRSTNAME_1")
assert("CREATE_EDIT_PERSON_FIRSTNAME_1", person.firstname.is_equal("SOME_FIRSTNAME_1"))
assert("CREATE_EDIT_PERSON_SURNAME_1", person.surname.is_equal("SOME_SURNAME_1"))
person.set_firstname("SOME_FIRSTNAME_2")
assert("CREATE_EDIT_PERSON_FIRSTNAME_2", person.firstname.is_equal("SOME_FIRSTNAME_2"))
person.set_surname("SOME_SURENAME_2")
assert("CREATE_EDIT_PERSON_SURNAME_2", person.surname.is_equal("SOME_SURENAME_2"))
person.firstname := "SOME_FIRSTNAME_3"
assert("CREATE_EDIT_PERSON_FIRSTNAME_3", person.firstname.is_equal("SOME_FIRSTNAME_3"))
person.surname := "SOME_SURNAME_3"
assert("CREATE_EDIT_PERSON_SURNAME_3", person.surname.is_equal("SOME_SURNAME_3"))
end
CREATE_EDIT_PERSON_EMPTY_SURNAME
local
person: PERSON
retry_count: INTEGER
doretry: BOOLEAN
do
if retry_count = 0 then
doretry := True
create person.make("", "SOME_FIRSTNAME")
doretry := False
assert("CREATE_EDIT_PERSON_EMPTY_SURNAME_1", False)
elseif retry_count = 1 then
create person.make(void, "SOME_FIRSTNAME")
doretry := False
assert("CREATE_EDIT_PERSON_EMPTY_SURNAME_2", False)
elseif retry_count = 2 then
doretry := False
create person.make("SOME_SURNAME", "SOME_FIRSTNAME")
doretry := True
person.surname := ""
doretry := False
assert("CREATE_EDIT_PERSON_EMPTY_SURNAME_3", False)
elseif retry_count = 3 then
doretry := False
create person.make("SOME_SURNAME", "SOME_FIRSTNAME")
doretry := True
person.surname := void
doretry := False
assert("CREATE_EDIT_PERSON_EMPTY_SURNAME_4", False)
elseif retry_count = 4 then
doretry := False
create person.make("SOME_SURNAME", "SOME_FIRSTNAME")
doretry := True
person.set_surname("")
doretry := False
assert("CREATE_EDIT_PERSON_EMPTY_SURNAME_5", False)
elseif retry_count = 5 then
doretry := False
create person.make("SOME_SURNAME", "SOME_FIRSTNAME")
doretry := True
person.set_surname(void)
doretry := False
assert("CREATE_EDIT_PERSON_EMPTY_SURNAME_6", False)
else
doretry := False
end
rescue
if doretry then
retry_count := retry_count + 1
retry
end
end
CREATE_EDIT_PERSON_EMPTY_FIRSTNAME
local
person: PERSON
retry_count: INTEGER
doretry: BOOLEAN
do
if retry_count = 0 then
doretry := True
create person.make("SOME_SURNAME", "")
doretry := False
assert("CREATE_EDIT_PERSON_EMPTY_FIRSTNAME_1", False)
elseif retry_count = 1 then
create person.make("SOME_SURNAME", void)
doretry := False
assert("CREATE_EDIT_PERSON_EMPTY_FIRSTNAME_2", False)
elseif retry_count = 2 then
doretry := False
create person.make("SOME_SURNAME", "SOME_FIRSTNAME")
doretry := True
person.firstname := ""
doretry := False
assert("CREATE_EDIT_PERSON_EMPTY_FIRSTNAME_3", False)
elseif retry_count = 3 then
doretry := False
create person.make("SOME_SURNAME", "SOME_FIRSTNAME")
doretry := True
person.firstname := void
doretry := False
assert("CREATE_EDIT_PERSON_EMPTY_FIRSTNAME_4", False)
elseif retry_count = 4 then
doretry := False
create person.make("SOME_SURNAME", "SOME_FIRSTNAME")
doretry := True
person.set_firstname("")
doretry := False
assert("CREATE_EDIT_PERSON_EMPTY_FIRSTNAME_5", False)
elseif retry_count = 5 then
doretry := False
create person.make("SOME_SURNAME", "SOME_FIRSTNAME")
doretry := True
person.set_firstname(void)
doretry := False
assert("CREATE_EDIT_PERSON_EMPTY_FIRSTNAME_6", False)
else
doretry := False
end
rescue
if doretry then
retry_count := retry_count + 1
retry
end
end
end
|