-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathdes_tapi_sql_debug.ini
More file actions
83 lines (83 loc) · 3.13 KB
/
des_tapi_sql_debug.ini
File metadata and controls
83 lines (83 loc) · 3.13 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
/set_flag curr_output $output$
/set_flag curr_dup $duplicates$
/duplicates off
/abolish
% 4.1 Primera sesión
/output off
/process Debug/SQLDebugger/debug1.sql
/output $curr_output$
/tapi /debug_sql v1
/tapi /debug_sql_current_question
/tapi /debug_sql_answer all(v2) valid
/tapi /debug_sql_current_question
/tapi /debug_sql_answer all(v3) nonvalid
/tapi /debug_sql_current_question
/tapi /debug_sql_answer all(v4) valid
/tapi /debug_sql_current_question
/tapi /debug_sql_answer all(v5) valid
% 4.2 Segunda sesión
/tapi /debug_sql v1
/tapi /debug_sql_current_question
/tapi /debug_sql_set_node v2 valid
/tapi /debug_sql_current_question
/tapi /debug_sql_set_node v3 valid
% 4.3 Ejemplo del manual de DES en la sección 5.11
/abolish
/output off
/process examples/SQLDebugger/pets1.sql
/output $curr_output$
/tapi /debug_sql Guest
/tapi /debug_sql_current_question
/tapi /debug_sql_answer all(CatsAndDogsOwner) nonvalid
/tapi /debug_sql_current_question
/tapi /debug_sql_answer all(NoCommonName) nonvalid
/tapi /debug_sql_current_question
/tapi /debug_sql_answer all(LessThan6) valid
/tapi /debug_sql_current_question
/tapi /debug_sql_answer all(AnimalOwner) valid
/tapi /debug_sql_statistics
% 4.4 Ejemplo del manual de DES en la sección 5.11.1 (Trusted Files)
/output off
/process examples/SQLDebugger/pets2.sql
/output $curr_output$
/tapi /debug_sql Guest trust_file('examples/SQLDebugger/pets_trust')
/tapi /debug_sql_current_question
/tapi /debug_sql_answer all(CatsOrDogsOwner) valid
/tapi /debug_sql_statistics
% 4.5 Ejemplo del manual de DES en la sección 5.11.2.1 (Missing Tuples)
/output off
/process examples/SQLDebugger/awards1
/output $curr_output$
/tapi /debug_sql awards missing(awards('Anna'))
/tapi /debug_sql_current_question
/tapi /debug_sql_answer in(intensive('Anna'),intensive) nonvalid
/tapi /debug_sql_current_question
/tapi /debug_sql_answer in(standard('Anna',1,1),standard) valid
/tapi /debug_sql_current_question
/tapi /debug_sql_answer in(standard('Anna',2,1),standard) valid
/tapi /debug_sql_current_question
/tapi /debug_sql_answer in(standard('Anna',3,0),standard) valid
/tapi /debug_sql_statistics
% Ejemplo del manual de DES en la sección 5.11.2.2 (Wrong Tuples)
/output off
/process examples/SQLDebugger/awards2
/output $curr_output$
/tapi /debug_sql awards wrong(awards('Ana'))
/tapi /debug_sql_current_question
/tapi /debug_sql_answer all(intensiveStudents) valid
/tapi /debug_sql_current_question
/tapi /debug_sql_answer in(candidates('Ana'),candidates) nonvalid
/tapi /debug_sql_current_question
/tapi /debug_sql_answer in(basicLevelStudents('Ana'),basicLevelStudents) nonvalid
/tapi /debug_sql_current_question
/tapi /debug_sql_answer in(salsaStudents('Ana',1,'teach1'),salsaStudents) valid
/tapi /debug_sql_current_question
/tapi /debug_sql_answer in(salsaStudents('Ana',2,'teach2'),salsaStudents) valid
/tapi /debug_sql_current_question
/tapi /debug_sql_answer in(salsaStudents('Ana',3,'teach1'),salsaStudents) valid
/tapi /debug_sql_statistics
% Abort current debug session:
/tapi /debug_sql_answer in(salsaStudents('Ana',3,'teach1'),salsaStudents) abort
% This should be an error because session was aborted:
/tapi /debug_sql_current_question
/duplicates $curr_dup$