@@ -34,14 +34,14 @@ TEST_CLASS(TestModifiesQuery) {
34
34
35
35
Assert::IsTrue (
36
36
pkb.getQueryInterface ()->modifies (setUpTests.c4 , setUpTests.variable ) ==
37
- STRING_SET {" y" }); // on assign statement
37
+ NAME_SET {" y" }); // on assign statement
38
38
Assert::IsTrue (pkb.getQueryInterface ()->modifies (setUpTests.c14 ,
39
39
setUpTests.variable ) ==
40
- STRING_SET {" q" , " t" }); // on while statement
40
+ NAME_SET {" q" , " t" }); // on while statement
41
41
Assert::IsTrue (
42
42
pkb.getQueryInterface ()->modifies (setUpTests.c7 , setUpTests.variable ) ==
43
- STRING_SET {" x" , " y" }); // on call statement
44
- } // namespace UnitTesting
43
+ NAME_SET {" x" , " y" }); // on call statement
44
+ } // namespace UnitTesting
45
45
46
46
TEST_METHOD (ModifiesLineNumberAndUnderscore) {
47
47
@@ -60,81 +60,81 @@ TEST_CLASS(TestModifiesQuery) {
60
60
61
61
Assert::IsTrue (
62
62
pkb.getQueryInterface ()->modifies (setUpTests.stmt , setUpTests.strm ) ==
63
- STRING_SET {setUpTests.l10 });
63
+ LINE_SET {setUpTests.l10 });
64
64
Assert::IsTrue (
65
65
pkb.getQueryInterface ()->modifies (setUpTests.stmt , setUpTests.strx ) ==
66
- STRING_SET {setUpTests.l1 , setUpTests.l7 , setUpTests.l8 });
66
+ LINE_SET {setUpTests.l1 , setUpTests.l7 , setUpTests.l8 });
67
67
68
68
Assert::IsTrue (
69
69
pkb.getQueryInterface ()->modifies (setUpTests.stmt , setUpTests.strk ) ==
70
- STRING_SET {}); // string var not modified
71
- } // namespace UnitTesting
70
+ LINE_SET {}); // string var not modified
71
+ } // namespace UnitTesting
72
72
73
73
TEST_METHOD (ModifiesStmtAndVariable) {
74
74
75
75
Assert::IsTrue (
76
76
pkb.getQueryInterface ()->modifies (setUpTests.stmt ,
77
77
setUpTests.variable ) ==
78
- STRING_PAIRS {
79
- STRING_VECTOR {
78
+ LINE_NAME_PAIRS {
79
+ LINE_VECTOR {
80
80
setUpTests.l9 , setUpTests.l1 , setUpTests.l2 , setUpTests.l3 ,
81
81
setUpTests.l4 , setUpTests.l5 , setUpTests.l7 , setUpTests.l7 ,
82
82
setUpTests.l8 , setUpTests.l10 , setUpTests.l11 , setUpTests.l11 ,
83
83
setUpTests.l12 , setUpTests.l13 , setUpTests.l14 , setUpTests.l14 ,
84
84
setUpTests.l15 , setUpTests.l15 , setUpTests.l16 , setUpTests.l17 ,
85
- setUpTests.l18 , setUpTests.l20 , setUpTests.l19 , setUpTests.l23 ,
85
+ setUpTests.l18 , setUpTests.l19 , setUpTests.l20 , setUpTests.l23 ,
86
86
setUpTests.l24 },
87
- STRING_VECTOR {" r" , " x" , " y" , " y" , " y" , " y" , " y" , " x" , " x" ,
88
- " m" , " q" , " t" , " q" , " t" , " q" , " t" , " q" , " t" ,
89
- " t" , " t" , " t" , " q" , " q" , " q" , " q" }});
87
+ NAME_VECTOR {" r" , " x" , " y" , " y" , " y" , " y" , " y" , " x" , " x" ,
88
+ " m" , " q" , " t" , " q" , " t" , " q" , " t" , " q" , " t" ,
89
+ " t" , " t" , " t" , " q" , " q" , " q" , " q" }});
90
90
91
91
} // namespace UnitTesting
92
92
93
93
TEST_METHOD (ModifiesStmtAndUnderscore) {
94
94
95
95
Assert::IsTrue (pkb.getQueryInterface ()->modifies (setUpTests.stmt ,
96
96
setUpTests.underscore ) ==
97
- STRING_SET {setUpTests.l1 , setUpTests.l2 , setUpTests.l3 ,
98
- setUpTests.l4 , setUpTests.l5 , setUpTests.l7 ,
99
- setUpTests.l8 , setUpTests.l9 , setUpTests.l10 ,
100
- setUpTests.l11 , setUpTests.l12 , setUpTests.l13 ,
101
- setUpTests.l14 , setUpTests.l15 , setUpTests.l16 ,
102
- setUpTests.l17 , setUpTests.l18 , setUpTests.l19 ,
103
- setUpTests.l20 , setUpTests.l23 , setUpTests.l24 });
97
+ LINE_SET {setUpTests.l1 , setUpTests.l2 , setUpTests.l3 ,
98
+ setUpTests.l4 , setUpTests.l5 , setUpTests.l7 ,
99
+ setUpTests.l8 , setUpTests.l9 , setUpTests.l10 ,
100
+ setUpTests.l11 , setUpTests.l12 , setUpTests.l13 ,
101
+ setUpTests.l14 , setUpTests.l15 , setUpTests.l16 ,
102
+ setUpTests.l17 , setUpTests.l18 , setUpTests.l19 ,
103
+ setUpTests.l20 , setUpTests.l23 , setUpTests.l24 });
104
104
} // namespace UnitTesting
105
105
106
106
TEST_METHOD (ModifiesStatementAndString) {
107
107
108
108
Assert::IsTrue (
109
109
pkb.getQueryInterface ()->modifies (setUpTests.a , setUpTests.strx ) ==
110
- STRING_SET {}); // no assignment modifies var x
110
+ LINE_SET {}); // no assignment modifies var x
111
111
Assert::IsTrue (
112
112
pkb.getQueryInterface ()->modifies (setUpTests.w , setUpTests.strt ) ==
113
- STRING_SET {setUpTests.l14 , setUpTests.l17 });
113
+ LINE_SET {setUpTests.l14 , setUpTests.l17 });
114
114
Assert::IsTrue (
115
115
pkb.getQueryInterface ()->modifies (setUpTests.c , setUpTests.strx ) ==
116
- STRING_SET {setUpTests.l7 });
116
+ LINE_SET {setUpTests.l7 });
117
117
} // namespace UnitTesting
118
118
119
119
TEST_METHOD (ModifiesStatementAndVariable) {
120
120
121
121
Assert::IsTrue (
122
122
pkb.getQueryInterface ()->modifies (setUpTests.a , setUpTests.variable ) ==
123
- STRING_PAIRS (STRING_VECTOR {setUpTests.l4 , setUpTests.l24 ,
124
- setUpTests.l10 , setUpTests.l18 ,
125
- setUpTests.l16 , setUpTests.l20 },
126
- STRING_VECTOR {" y" , " q" , " m" , " t" , " t" , " q" }));
123
+ LINE_NAME_PAIRS (LINE_VECTOR {setUpTests.l4 , setUpTests.l20 ,
124
+ setUpTests.l10 , setUpTests.l18 ,
125
+ setUpTests.l16 , setUpTests.l24 },
126
+ NAME_VECTOR {" y" , " q" , " m" , " t" , " t" , " q" }));
127
127
} // namespace UnitTesting
128
128
129
129
TEST_METHOD (ModifiesStatementAndUnderscore) {
130
130
131
131
Assert::IsTrue (pkb.getQueryInterface ()->modifies (setUpTests.w ,
132
132
setUpTests.underscore ) ==
133
- STRING_SET {setUpTests.l3 , setUpTests.l14 , setUpTests.l17 ,
134
- setUpTests.l23 });
133
+ LINE_SET {setUpTests.l3 , setUpTests.l14 , setUpTests.l17 ,
134
+ setUpTests.l23 });
135
135
Assert::IsTrue (pkb.getQueryInterface ()->modifies (setUpTests.c ,
136
136
setUpTests.underscore ) ==
137
- STRING_SET {setUpTests.l7 , setUpTests.l11 });
137
+ LINE_SET {setUpTests.l7 , setUpTests.l11 });
138
138
139
139
} // namespace UnitTesting
140
140
@@ -155,16 +155,15 @@ TEST_CLASS(TestModifiesQuery) {
155
155
156
156
TEST_METHOD (ModifiesStringAndVariable) {
157
157
158
- Assert::IsTrue (
159
- pkb.getQueryInterface ()->modifies (setUpTests.strpaux ,
160
- setUpTests.variable ) ==
161
- STRING_SET{" x" , " y" }); // no calls, only vars modified directly
158
+ Assert::IsTrue (pkb.getQueryInterface ()->modifies (setUpTests.strpaux ,
159
+ setUpTests.variable ) ==
160
+ NAME_SET{" x" , " y" }); // no calls, only vars modified directly
162
161
Assert::IsTrue (
163
162
pkb.getQueryInterface ()->modifies (setUpTests.strpmain ,
164
163
setUpTests.variable ) ==
165
- STRING_SET {" x" , " y" , " r" , " q" , " t" ,
166
- " m" }); // proc main modifies all vars directly & indirectly
167
- } // namespace UnitTesting
164
+ NAME_SET {" x" , " y" , " r" , " q" , " t" ,
165
+ " m" }); // proc main modifies all vars directly & indirectly
166
+ } // namespace UnitTesting
168
167
169
168
TEST_METHOD (ModifiesStringAndUnderscore) {
170
169
@@ -184,28 +183,28 @@ TEST_CLASS(TestModifiesQuery) {
184
183
185
184
Assert::IsTrue (pkb.getQueryInterface ()->modifies (setUpTests.procedure ,
186
185
setUpTests.strx ) ==
187
- STRING_SET {" aux" , " main" });
186
+ NAME_SET {" aux" , " main" });
188
187
Assert::IsTrue (pkb.getQueryInterface ()->modifies (setUpTests.procedure ,
189
188
setUpTests.strq ) ==
190
- STRING_SET {" main" , " complicate" });
189
+ NAME_SET {" main" , " complicate" });
191
190
} // namespace UnitTesting
192
191
193
192
TEST_METHOD (ModifiesProcedureAndVariable) {
194
193
195
194
Assert::IsTrue (
196
195
pkb.getQueryInterface ()->modifies (setUpTests.procedure ,
197
196
setUpTests.variable ) ==
198
- STRING_PAIRS (
199
- STRING_VECTOR {" aux" , " aux" , " main" , " main" , " main" , " main" , " main" ,
200
- " main" , " complicate" , " complicate" },
201
- STRING_VECTOR {" y" , " x" , " x" , " r" , " m" , " y" , " q" , " t" , " q" , " t" }));
197
+ NAME_NAME_PAIRS (
198
+ NAME_VECTOR {" aux" , " aux" , " main" , " main" , " main" , " main" , " main" ,
199
+ " main" , " complicate" , " complicate" },
200
+ NAME_VECTOR {" y" , " x" , " x" , " r" , " m" , " y" , " q" , " t" , " q" , " t" }));
202
201
} // namespace UnitTesting
203
202
204
203
TEST_METHOD (ModifiesProcedureAndUnderscore) {
205
204
206
205
Assert::IsTrue (pkb.getQueryInterface ()->modifies (setUpTests.procedure ,
207
206
setUpTests.underscore ) ==
208
- STRING_SET {" aux" , " main" , " complicate" });
207
+ NAME_SET {" aux" , " main" , " complicate" });
209
208
} // namespace UnitTesting
210
209
};
211
210
0 commit comments