Repository navigation
Expand file tree
/
Copy pathproblems_objects.P
More file actions
296 lines (172 loc) · 11.3 KB
/
Copy pathproblems_objects.P
File metadata and controls
296 lines (172 loc) · 11.3 KB
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
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
isa_ext(cid(cellVendor,cdda),cid(allAtoms,cdfpt)).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(cellPhone,cdda),oid(problem_cellPhone,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(smartPhone,cdda),oid(problem_smartPhone,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(samGalaxy,cdda),oid(problem_samGalaxy,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(samGalaxyS2,cdda),oid(problem_samGalaxyS2,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(samGalaxyS3,cdda),oid(problem_samGalaxyS3,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(iPhone,cdda),oid(problem_iPhone,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(iPhone3G,cdda),oid(problem_iPhone3G,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(iPhone3GS,cdda),oid(problem_iPhone3GS,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(iPhone4G,cdda),oid(problem_iPhone4G,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(iPhone4GS,cdda),oid(problem_iPhone4GS,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(iPhone5G,cdda),oid(problem_iPhone5G,cdda),'C<r').
hasProblem(cid(iPhone5G,cdda),rid(hasIMEINo,cdda),
oid(problem_iPhone5G_IMEINo_invalid,cdda),'isIMEINoStolen()').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(cellOperatingSystem,cdda),oid(problem_cellOperatingSystem,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(cellVendor,cdda),oid(problem_cellVendor,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(android,cdda),oid(problem_android,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(iOS,cdda),oid(problem_iOS,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(cellVersion,cdda),oid(problem_cellVersion,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(cellIMEINo,cdda),oid(problem_cellIMEINo,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(lastUpdateDate,cdda),oid(problem_lastUpdateDate,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(lastUpdateTime,cdda),oid(problem_lastUpdateTime,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(connection,cdda),oid(problem_connection,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(wifiConnection,cdda),oid(problem_wifiConnection,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(cellularConnection,cdda),oid(problem_cellularConnection,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(connectionSpeed,cdda),oid(problem_connectionSpeed,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(connectionFlag,cdda),oid(problem_connectionFlag,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(connectionName,cdda),oid(problem_connectionName,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(company,cdda),oid(problem_company,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(carrierCo,cdda),oid(problem_carrierCo,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(homeCountry,cdda),oid(problem_homeCountry,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(range,cdda),oid(problem_range,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(frequency,cdda),oid(problem_frequency,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(application,cdda),oid(problem_application,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(emailClient,cdda),oid(problem_emailClient,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(defaultEmailClient,cdda),oid(problem_defaultEmailClient,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(gmailApp,cdda),oid(problem_gmailApp,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(yahooMApp,cdda),oid(problem_yahooMApp,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(carrierClientApplication,cdda),oid(problem_carrierClientApplication,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
/*hasProblem(cid(attClientApp,cdda),oid(problem_attClientApp,cdda),'false').
*/
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(lastTimeUsed,cdda),oid(problem_lastTimeUsed,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(lastDateUsed,cdda),oid(problem_lastDateUsed,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(initTime,cdda),oid(problem_initTime,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(initDate,cdda),oid(problem_initDate,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(periveledgeLevel,cdda),oid(problem_periveledgeLevel,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(lastTimeConnected,cdda),oid(problem_lastTimeConnected,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(lastDateConnected,cdda),oid(problem_lastDateConnected,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(applicationConfig,cdda),oid(problem_applicationConfig,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(emailClientConfig,cdda),oid(problem_emailClientConfig,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(isConfigFlag,cdda),oid(problem_isConfigFlag,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(portNo,cdda),oid(problem_portNo,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(incomingPort,cdda),oid(problem_incomingPort,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(outgoingPort,cdda),oid(problem_outgoingPort,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(serviceProvider,cdda),oid(problem_serviceProvider,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(serviceType,cdda),oid(problem_serviceType,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(domainName,cdda),oid(problem_domainName,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(exchangeServer,cdda),oid(problem_exchangeServer,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(numberOfConcurrentConnection,cdda),oid(problem_numberOfConcurrentConnection,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(serverSetting,cdda),oid(problem_serverSetting,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(serverConfig,cdda),oid(problem_serverConfig,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(person,cdda),oid(problem_person,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(nameID,cdda),oid(problem_nameID,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(firstName,cdda),oid(problem_firstName,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(middleName,cdda),oid(problem_middleName,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(lastName,cdda),oid(problem_lastName,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(address,cdda),oid(problem_address,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(zip,cdda),oid(problem_zip,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(country,cdda),oid(problem_country,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(emailContact,cdda),oid(problem_emailContact,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(phoneContact,cdda),oid(problem_phoneContact,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(dataPlan,cdda),oid(problem_dataPlan,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(loginInfo,cdda),oid(problem_loginInfo,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(loginId,cdda),oid(problem_loginId,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(password,cdda),oid(problem_password,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(phoneNumber,cdda),oid(problem_phoneNumber,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(phoneLocalCode,cdda),oid(problem_phoneLocalCode,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(phoneStateCode,cdda),oid(problem_phoneStateCode,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(phoneCountryCode,cdda),oid(problem_phoneCountryCode,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(internationalRoamingFlag,cdda),oid(problem_internationalRoamingFlag,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(activatedFlag,cdda),oid(problem_activatedFlag,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(callMinutesLeft,cdda),oid(problem_callMinutesLeft,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(dataAmountLeft,cdda),oid(problem_dataAmountLeft,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(totalCharge,cdda),oid(problem_totalCharge,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(callCharge,cdda),oid(problem_callCharge,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(textCharge,cdda),oid(problem_textCharge,cdda),'false').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
hasProblem(cid(dataCharge,cdda),oid(problem_dataCharge,cdda),'false').
% TODO: Check the type of the problem for this class product
%hasProblem(cid(cust_plan().oid(problem_cust_plan().cdda),rid(hasNumberOfOccurences,cdda),oid('1',cdda),'false').