1349
by Matt Giuca
Added sample data infrastructure, with a little bit of sample data. The sample data is in examples/db/sample.sql. Documentation in doc/man/sample.rst details the infrastructure for importing and exporting sample data. |
1 |
--
|
2 |
-- PostgreSQL database dump
|
|
3 |
--
|
|
4 |
||
5 |
SET client_encoding = 'UTF8'; |
|
6 |
SET standard_conforming_strings = off; |
|
7 |
SET check_function_bodies = false; |
|
8 |
SET client_min_messages = warning; |
|
9 |
SET escape_string_warning = off; |
|
10 |
||
11 |
SET search_path = public, pg_catalog; |
|
12 |
||
13 |
--
|
|
14 |
-- Name: assessed_assessedid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
|
|
15 |
--
|
|
16 |
||
1486
by Matt Giuca
Sample database: Added a sample worksheet. |
17 |
SELECT pg_catalog.setval('assessed_assessedid_seq', 1, true); |
1349
by Matt Giuca
Added sample data infrastructure, with a little bit of sample data. The sample data is in examples/db/sample.sql. Documentation in doc/man/sample.rst details the infrastructure for importing and exporting sample data. |
18 |
|
19 |
||
20 |
--
|
|
21 |
-- Name: login_unixid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
|
|
22 |
--
|
|
23 |
||
1380
by Matt Giuca
Sample data: Added a new user, Terry Tutor, enrolled as a tutor in one of the subject, to test tutor permissions as distinct from lecturer permissions. |
24 |
SELECT pg_catalog.setval('login_unixid_seq', 5004, true); |
1349
by Matt Giuca
Added sample data infrastructure, with a little bit of sample data. The sample data is in examples/db/sample.sql. Documentation in doc/man/sample.rst details the infrastructure for importing and exporting sample data. |
25 |
|
26 |
||
27 |
--
|
|
28 |
-- Name: login_loginid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
|
|
29 |
--
|
|
30 |
||
1380
by Matt Giuca
Sample data: Added a new user, Terry Tutor, enrolled as a tutor in one of the subject, to test tutor permissions as distinct from lecturer permissions. |
31 |
SELECT pg_catalog.setval('login_loginid_seq', 5, true); |
1349
by Matt Giuca
Added sample data infrastructure, with a little bit of sample data. The sample data is in examples/db/sample.sql. Documentation in doc/man/sample.rst details the infrastructure for importing and exporting sample data. |
32 |
|
33 |
||
34 |
--
|
|
35 |
-- Name: offering_offeringid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
|
|
36 |
--
|
|
37 |
||
38 |
SELECT pg_catalog.setval('offering_offeringid_seq', 6, true); |
|
39 |
||
40 |
||
41 |
--
|
|
42 |
-- Name: project_extension_extensionid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
|
|
43 |
--
|
|
44 |
||
45 |
SELECT pg_catalog.setval('project_extension_extensionid_seq', 1, false); |
|
46 |
||
47 |
||
48 |
--
|
|
49 |
-- Name: project_group_groupid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
|
|
50 |
--
|
|
51 |
||
1369
by Matt Giuca
Sample data: Added project sets, projects, groups and members. |
52 |
SELECT pg_catalog.setval('project_group_groupid_seq', 1, true); |
1349
by Matt Giuca
Added sample data infrastructure, with a little bit of sample data. The sample data is in examples/db/sample.sql. Documentation in doc/man/sample.rst details the infrastructure for importing and exporting sample data. |
53 |
|
54 |
||
55 |
--
|
|
56 |
-- Name: project_projectid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
|
|
57 |
--
|
|
58 |
||
1369
by Matt Giuca
Sample data: Added project sets, projects, groups and members. |
59 |
SELECT pg_catalog.setval('project_projectid_seq', 3, true); |
1349
by Matt Giuca
Added sample data infrastructure, with a little bit of sample data. The sample data is in examples/db/sample.sql. Documentation in doc/man/sample.rst details the infrastructure for importing and exporting sample data. |
60 |
|
61 |
||
62 |
--
|
|
63 |
-- Name: project_set_projectsetid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
|
|
64 |
--
|
|
65 |
||
1369
by Matt Giuca
Sample data: Added project sets, projects, groups and members. |
66 |
SELECT pg_catalog.setval('project_set_projectsetid_seq', 2, true); |
1349
by Matt Giuca
Added sample data infrastructure, with a little bit of sample data. The sample data is in examples/db/sample.sql. Documentation in doc/man/sample.rst details the infrastructure for importing and exporting sample data. |
67 |
|
68 |
||
69 |
--
|
|
70 |
-- Name: project_submission_submissionid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
|
|
71 |
--
|
|
72 |
||
73 |
SELECT pg_catalog.setval('project_submission_submissionid_seq', 1, false); |
|
74 |
||
75 |
||
76 |
--
|
|
77 |
-- Name: semester_semesterid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
|
|
78 |
--
|
|
79 |
||
80 |
SELECT pg_catalog.setval('semester_semesterid_seq', 4, true); |
|
81 |
||
82 |
||
83 |
--
|
|
84 |
-- Name: subject_subjectid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
|
|
85 |
--
|
|
86 |
||
87 |
SELECT pg_catalog.setval('subject_subjectid_seq', 4, true); |
|
88 |
||
89 |
||
90 |
--
|
|
91 |
-- Name: suite_variable_varid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
|
|
92 |
--
|
|
93 |
||
1436
by Matt Giuca
Sample data: Added an exercise which demonstrates exercises, test suites, test cases and test case parts. |
94 |
SELECT pg_catalog.setval('suite_variable_varid_seq', 2, true); |
1349
by Matt Giuca
Added sample data infrastructure, with a little bit of sample data. The sample data is in examples/db/sample.sql. Documentation in doc/man/sample.rst details the infrastructure for importing and exporting sample data. |
95 |
|
96 |
||
97 |
--
|
|
98 |
-- Name: test_case_part_partid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
|
|
99 |
--
|
|
100 |
||
1436
by Matt Giuca
Sample data: Added an exercise which demonstrates exercises, test suites, test cases and test case parts. |
101 |
SELECT pg_catalog.setval('test_case_part_partid_seq', 6, true); |
1349
by Matt Giuca
Added sample data infrastructure, with a little bit of sample data. The sample data is in examples/db/sample.sql. Documentation in doc/man/sample.rst details the infrastructure for importing and exporting sample data. |
102 |
|
103 |
||
104 |
--
|
|
105 |
-- Name: test_case_testid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
|
|
106 |
--
|
|
107 |
||
1436
by Matt Giuca
Sample data: Added an exercise which demonstrates exercises, test suites, test cases and test case parts. |
108 |
SELECT pg_catalog.setval('test_case_testid_seq', 6, true); |
1349
by Matt Giuca
Added sample data infrastructure, with a little bit of sample data. The sample data is in examples/db/sample.sql. Documentation in doc/man/sample.rst details the infrastructure for importing and exporting sample data. |
109 |
|
110 |
||
111 |
--
|
|
112 |
-- Name: test_suite_suiteid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
|
|
113 |
--
|
|
114 |
||
1436
by Matt Giuca
Sample data: Added an exercise which demonstrates exercises, test suites, test cases and test case parts. |
115 |
SELECT pg_catalog.setval('test_suite_suiteid_seq', 3, true); |
1349
by Matt Giuca
Added sample data infrastructure, with a little bit of sample data. The sample data is in examples/db/sample.sql. Documentation in doc/man/sample.rst details the infrastructure for importing and exporting sample data. |
116 |
|
117 |
||
118 |
--
|
|
119 |
-- Name: worksheet_exercise_ws_ex_id_seq; Type: SEQUENCE SET; Schema: public; Owner: -
|
|
120 |
--
|
|
121 |
||
1486
by Matt Giuca
Sample database: Added a sample worksheet. |
122 |
SELECT pg_catalog.setval('worksheet_exercise_ws_ex_id_seq', 1, true); |
1349
by Matt Giuca
Added sample data infrastructure, with a little bit of sample data. The sample data is in examples/db/sample.sql. Documentation in doc/man/sample.rst details the infrastructure for importing and exporting sample data. |
123 |
|
124 |
||
125 |
--
|
|
126 |
-- Name: worksheet_worksheetid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
|
|
127 |
--
|
|
128 |
||
1486
by Matt Giuca
Sample database: Added a sample worksheet. |
129 |
SELECT pg_catalog.setval('worksheet_worksheetid_seq', 1, true); |
1349
by Matt Giuca
Added sample data infrastructure, with a little bit of sample data. The sample data is in examples/db/sample.sql. Documentation in doc/man/sample.rst details the infrastructure for importing and exporting sample data. |
130 |
|
131 |
||
132 |
--
|
|
133 |
-- Data for Name: assessed; Type: TABLE DATA; Schema: public; Owner: -
|
|
134 |
--
|
|
135 |
||
136 |
ALTER TABLE assessed DISABLE TRIGGER ALL; |
|
137 |
||
1486
by Matt Giuca
Sample database: Added a sample worksheet. |
138 |
INSERT INTO assessed (assessedid, loginid, groupid, projectid) VALUES (1, 2, NULL, 1); |
1349
by Matt Giuca
Added sample data infrastructure, with a little bit of sample data. The sample data is in examples/db/sample.sql. Documentation in doc/man/sample.rst details the infrastructure for importing and exporting sample data. |
139 |
|
140 |
||
141 |
ALTER TABLE assessed ENABLE TRIGGER ALL; |
|
142 |
||
143 |
--
|
|
144 |
-- Data for Name: enrolment; Type: TABLE DATA; Schema: public; Owner: -
|
|
145 |
--
|
|
146 |
||
147 |
ALTER TABLE enrolment DISABLE TRIGGER ALL; |
|
148 |
||
149 |
INSERT INTO enrolment (loginid, offeringid, role, result, special_result, supp_result, special_supp_result, notes, active) VALUES (2, 1, 'lecturer', NULL, NULL, NULL, NULL, NULL, true); |
|
150 |
INSERT INTO enrolment (loginid, offeringid, role, result, special_result, supp_result, special_supp_result, notes, active) VALUES (2, 2, 'lecturer', NULL, NULL, NULL, NULL, NULL, true); |
|
1380
by Matt Giuca
Sample data: Added a new user, Terry Tutor, enrolled as a tutor in one of the subject, to test tutor permissions as distinct from lecturer permissions. |
151 |
INSERT INTO enrolment (loginid, offeringid, role, result, special_result, supp_result, special_supp_result, notes, active) VALUES (3, 2, 'tutor', NULL, NULL, NULL, NULL, NULL, true); |
152 |
INSERT INTO enrolment (loginid, offeringid, role, result, special_result, supp_result, special_supp_result, notes, active) VALUES (4, 1, 'student', NULL, NULL, NULL, NULL, NULL, true); |
|
1349
by Matt Giuca
Added sample data infrastructure, with a little bit of sample data. The sample data is in examples/db/sample.sql. Documentation in doc/man/sample.rst details the infrastructure for importing and exporting sample data. |
153 |
INSERT INTO enrolment (loginid, offeringid, role, result, special_result, supp_result, special_supp_result, notes, active) VALUES (4, 2, 'student', NULL, NULL, NULL, NULL, NULL, true); |
1380
by Matt Giuca
Sample data: Added a new user, Terry Tutor, enrolled as a tutor in one of the subject, to test tutor permissions as distinct from lecturer permissions. |
154 |
INSERT INTO enrolment (loginid, offeringid, role, result, special_result, supp_result, special_supp_result, notes, active) VALUES (5, 2, 'student', NULL, NULL, NULL, NULL, NULL, true); |
1349
by Matt Giuca
Added sample data infrastructure, with a little bit of sample data. The sample data is in examples/db/sample.sql. Documentation in doc/man/sample.rst details the infrastructure for importing and exporting sample data. |
155 |
|
156 |
||
157 |
ALTER TABLE enrolment ENABLE TRIGGER ALL; |
|
158 |
||
159 |
--
|
|
160 |
-- Data for Name: exercise; Type: TABLE DATA; Schema: public; Owner: -
|
|
161 |
--
|
|
162 |
||
163 |
ALTER TABLE exercise DISABLE TRIGGER ALL; |
|
164 |
||
1436
by Matt Giuca
Sample data: Added an exercise which demonstrates exercises, test suites, test cases and test case parts. |
165 |
INSERT INTO exercise (identifier, name, description, partial, solution, include, num_rows) VALUES ('factorial', 'Factorial', 'Write a function, `fac`, to compute the **factorial** of a number. e.g.:: |
166 |
||
167 |
>>> fac(4)
|
|
168 |
24
|
|
169 |
||
170 |
Then, write a function `main`, which reads a number from stdin, and writes its factorial to stdout. e.g.::
|
|
171 |
||
172 |
>>> main()
|
|
173 |
4
|
|
174 |
24
|
|
175 |
', 'def fac(n): |
|
176 |
pass
|
|
177 |
||
178 |
def main():
|
|
179 |
pass
|
|
180 |
', 'def fac(n): |
|
181 |
if n == 0:
|
|
182 |
return 1
|
|
183 |
else:
|
|
184 |
return n * fac(n-1)
|
|
185 |
||
186 |
def main():
|
|
187 |
f = int(raw_input())
|
|
188 |
print fac(f)', '', 12); |
|
1349
by Matt Giuca
Added sample data infrastructure, with a little bit of sample data. The sample data is in examples/db/sample.sql. Documentation in doc/man/sample.rst details the infrastructure for importing and exporting sample data. |
189 |
|
190 |
||
191 |
ALTER TABLE exercise ENABLE TRIGGER ALL; |
|
192 |
||
193 |
--
|
|
194 |
-- Data for Name: exercise_attempt; Type: TABLE DATA; Schema: public; Owner: -
|
|
195 |
--
|
|
196 |
||
197 |
ALTER TABLE exercise_attempt DISABLE TRIGGER ALL; |
|
198 |
||
199 |
||
200 |
||
201 |
ALTER TABLE exercise_attempt ENABLE TRIGGER ALL; |
|
202 |
||
203 |
--
|
|
204 |
-- Data for Name: exercise_save; Type: TABLE DATA; Schema: public; Owner: -
|
|
205 |
--
|
|
206 |
||
207 |
ALTER TABLE exercise_save DISABLE TRIGGER ALL; |
|
208 |
||
209 |
||
210 |
||
211 |
ALTER TABLE exercise_save ENABLE TRIGGER ALL; |
|
212 |
||
213 |
--
|
|
214 |
-- Data for Name: group_invitation; Type: TABLE DATA; Schema: public; Owner: -
|
|
215 |
--
|
|
216 |
||
217 |
ALTER TABLE group_invitation DISABLE TRIGGER ALL; |
|
218 |
||
219 |
||
220 |
||
221 |
ALTER TABLE group_invitation ENABLE TRIGGER ALL; |
|
222 |
||
223 |
--
|
|
224 |
-- Data for Name: group_member; Type: TABLE DATA; Schema: public; Owner: -
|
|
225 |
--
|
|
226 |
||
227 |
ALTER TABLE group_member DISABLE TRIGGER ALL; |
|
228 |
||
1369
by Matt Giuca
Sample data: Added project sets, projects, groups and members. |
229 |
INSERT INTO group_member (loginid, groupid) VALUES (4, 1); |
1380
by Matt Giuca
Sample data: Added a new user, Terry Tutor, enrolled as a tutor in one of the subject, to test tutor permissions as distinct from lecturer permissions. |
230 |
INSERT INTO group_member (loginid, groupid) VALUES (5, 1); |
1349
by Matt Giuca
Added sample data infrastructure, with a little bit of sample data. The sample data is in examples/db/sample.sql. Documentation in doc/man/sample.rst details the infrastructure for importing and exporting sample data. |
231 |
|
232 |
||
233 |
ALTER TABLE group_member ENABLE TRIGGER ALL; |
|
234 |
||
235 |
--
|
|
1451.1.2
by William Grant
Move Subject.url to Offering, and add Offering.description. Show these on the offering index. |
236 |
-- Data for Name: login; Type: TABLE DATA; Schema: public; Owner: -
|
237 |
--
|
|
238 |
||
239 |
ALTER TABLE login DISABLE TRIGGER ALL; |
|
240 |
||
241 |
INSERT INTO login (loginid, login, passhash, state, admin, unixid, nick, pass_exp, acct_exp, last_login, svn_pass, email, fullname, studentid, settings) VALUES (1, 'admin', '5f4dcc3b5aa765d61d8327deb882cf99', 'enabled', true, 5000, 'Anne Admin', NULL, NULL, '2009-12-08 11:44:02.285862', 'password', NULL, 'Anne Admin', NULL, NULL); |
|
242 |
INSERT INTO login (loginid, login, passhash, state, admin, unixid, nick, pass_exp, acct_exp, last_login, svn_pass, email, fullname, studentid, settings) VALUES (2, 'lecturer', '5f4dcc3b5aa765d61d8327deb882cf99', 'enabled', false, 5001, 'Larry Lecturer', NULL, NULL, '2009-12-08 12:12:16.375628', 'password', NULL, 'Larry Lecturer', NULL, NULL); |
|
243 |
INSERT INTO login (loginid, login, passhash, state, admin, unixid, nick, pass_exp, acct_exp, last_login, svn_pass, email, fullname, studentid, settings) VALUES (3, 'tutor', '5f4dcc3b5aa765d61d8327deb882cf99', 'enabled', false, 5002, 'Terry Tutor', NULL, NULL, '2009-12-08 19:08:59.817505', 'password', NULL, 'Terry Tutor', NULL, NULL); |
|
244 |
INSERT INTO login (loginid, login, passhash, state, admin, unixid, nick, pass_exp, acct_exp, last_login, svn_pass, email, fullname, studentid, settings) VALUES (4, 'studenta', '5f4dcc3b5aa765d61d8327deb882cf99', 'enabled', false, 5003, 'Alice Student', NULL, NULL, '2009-12-08 12:11:46.349133', 'password', NULL, 'Alice Student', NULL, NULL); |
|
245 |
INSERT INTO login (loginid, login, passhash, state, admin, unixid, nick, pass_exp, acct_exp, last_login, svn_pass, email, fullname, studentid, settings) VALUES (5, 'studentb', '5f4dcc3b5aa765d61d8327deb882cf99', 'no_agreement', false, 5004, 'Bob Student', NULL, NULL, NULL, NULL, NULL, 'Bob Student', NULL, NULL); |
|
246 |
||
247 |
||
248 |
ALTER TABLE login ENABLE TRIGGER ALL; |
|
249 |
||
250 |
--
|
|
251 |
-- Data for Name: offering; Type: TABLE DATA; Schema: public; Owner: -
|
|
252 |
--
|
|
253 |
||
254 |
ALTER TABLE offering DISABLE TRIGGER ALL; |
|
255 |
||
1451.1.4
by William Grant
Set descriptions for all of our offerings. |
256 |
INSERT INTO offering (offeringid, subject, semesterid, description, url, groups_student_permissions) VALUES (1, 1, 1, 'This subject will introduce you to the basics of IVLE.', 'http://www.ivle.org/example/101', 'none'); |
257 |
INSERT INTO offering (offeringid, subject, semesterid, description, url, groups_student_permissions) VALUES (2, 2, 2, 'Enhancing your understanding of IVLE''s usage and operation, this subject will consolidate and expand your general IVLE knowledge.', 'http://www.ivle.org/example/102', 'none'); |
|
258 |
INSERT INTO offering (offeringid, subject, semesterid, description, url, groups_student_permissions) VALUES (3, 1, 3, 'This subject will introduce you to the basics of IVLE, again.', 'http://www.ivle.org/example/101', 'none'); |
|
259 |
INSERT INTO offering (offeringid, subject, semesterid, description, url, groups_student_permissions) VALUES (4, 3, 3, 'This subject will provide you with a working knowledge of advanced IVLE concepts.', 'http://www.ivle.org/example/201', 'none'); |
|
260 |
INSERT INTO offering (offeringid, subject, semesterid, description, url, groups_student_permissions) VALUES (5, 2, 4, 'Enhancing your understanding of IVLE''s usage and operation, this subject will consolidate and expand your general IVLE knowledge, again.', 'http://www.ivle.org/example/102', 'none'); |
|
261 |
INSERT INTO offering (offeringid, subject, semesterid, description, url, groups_student_permissions) VALUES (6, 4, 4, 'After undertaking this subject, you should be a master of all things IVLEy.', 'http://www.ivle.org/example/202', 'none'); |
|
1451.1.2
by William Grant
Move Subject.url to Offering, and add Offering.description. Show these on the offering index. |
262 |
|
263 |
||
264 |
ALTER TABLE offering ENABLE TRIGGER ALL; |
|
265 |
||
266 |
--
|
|
267 |
-- Data for Name: project; Type: TABLE DATA; Schema: public; Owner: -
|
|
268 |
--
|
|
269 |
||
270 |
ALTER TABLE project DISABLE TRIGGER ALL; |
|
271 |
||
1491
by Matt Giuca
Sample data: Projects 1 and 2 now due in 3009, not 2009, so they won't appear closed when someone in the (not-too-distant) future tries to submit them. Updated corresponding documentation. |
272 |
INSERT INTO project (projectid, short_name, name, synopsis, url, projectsetid, deadline) VALUES (1, 'phase1', 'Phase 1', 'This is the first project in Intermediate IVLE.', NULL, 1, '3009-08-21 18:00:00'); |
1451.1.2
by William Grant
Move Subject.url to Offering, and add Offering.description. Show these on the offering index. |
273 |
INSERT INTO project (projectid, short_name, name, synopsis, url, projectsetid, deadline) VALUES (2, 'phase2', 'Phase 2', 'This is the second project in Intermediate IVLE. |
1491
by Matt Giuca
Sample data: Projects 1 and 2 now due in 3009, not 2009, so they won't appear closed when someone in the (not-too-distant) future tries to submit them. Updated corresponding documentation. |
274 |
Get into groups of 3.', NULL, 2, '3009-09-11 18:00:00'); |
1451.1.2
by William Grant
Move Subject.url to Offering, and add Offering.description. Show these on the offering index. |
275 |
INSERT INTO project (projectid, short_name, name, synopsis, url, projectsetid, deadline) VALUES (3, 'phase3', 'Phase 3', 'This is the final project in Intermediate IVLE. |
276 |
Complete this with the same group as Phase 2.', NULL, 2, '2009-09-25 18:00:00'); |
|
277 |
||
278 |
||
279 |
ALTER TABLE project ENABLE TRIGGER ALL; |
|
280 |
||
281 |
--
|
|
1349
by Matt Giuca
Added sample data infrastructure, with a little bit of sample data. The sample data is in examples/db/sample.sql. Documentation in doc/man/sample.rst details the infrastructure for importing and exporting sample data. |
282 |
-- Data for Name: project_extension; Type: TABLE DATA; Schema: public; Owner: -
|
283 |
--
|
|
284 |
||
285 |
ALTER TABLE project_extension DISABLE TRIGGER ALL; |
|
286 |
||
287 |
||
288 |
||
289 |
ALTER TABLE project_extension ENABLE TRIGGER ALL; |
|
290 |
||
291 |
--
|
|
1451.1.2
by William Grant
Move Subject.url to Offering, and add Offering.description. Show these on the offering index. |
292 |
-- Data for Name: project_group; Type: TABLE DATA; Schema: public; Owner: -
|
293 |
--
|
|
294 |
||
295 |
ALTER TABLE project_group DISABLE TRIGGER ALL; |
|
296 |
||
297 |
INSERT INTO project_group (groupnm, groupid, projectsetid, nick, createdby, epoch) VALUES ('group1', 1, 2, 'group1', 2, '2009-12-08 17:04:42.981005'); |
|
298 |
||
299 |
||
300 |
ALTER TABLE project_group ENABLE TRIGGER ALL; |
|
301 |
||
302 |
--
|
|
1349
by Matt Giuca
Added sample data infrastructure, with a little bit of sample data. The sample data is in examples/db/sample.sql. Documentation in doc/man/sample.rst details the infrastructure for importing and exporting sample data. |
303 |
-- Data for Name: project_mark; Type: TABLE DATA; Schema: public; Owner: -
|
304 |
--
|
|
305 |
||
306 |
ALTER TABLE project_mark DISABLE TRIGGER ALL; |
|
307 |
||
308 |
||
309 |
||
310 |
ALTER TABLE project_mark ENABLE TRIGGER ALL; |
|
311 |
||
312 |
--
|
|
1451.1.2
by William Grant
Move Subject.url to Offering, and add Offering.description. Show these on the offering index. |
313 |
-- Data for Name: project_set; Type: TABLE DATA; Schema: public; Owner: -
|
314 |
--
|
|
315 |
||
316 |
ALTER TABLE project_set DISABLE TRIGGER ALL; |
|
317 |
||
318 |
INSERT INTO project_set (projectsetid, offeringid, max_students_per_group) VALUES (1, 2, NULL); |
|
319 |
INSERT INTO project_set (projectsetid, offeringid, max_students_per_group) VALUES (2, 2, 3); |
|
320 |
||
321 |
||
322 |
ALTER TABLE project_set ENABLE TRIGGER ALL; |
|
323 |
||
324 |
--
|
|
1349
by Matt Giuca
Added sample data infrastructure, with a little bit of sample data. The sample data is in examples/db/sample.sql. Documentation in doc/man/sample.rst details the infrastructure for importing and exporting sample data. |
325 |
-- Data for Name: project_submission; Type: TABLE DATA; Schema: public; Owner: -
|
326 |
--
|
|
327 |
||
328 |
ALTER TABLE project_submission DISABLE TRIGGER ALL; |
|
329 |
||
330 |
||
331 |
||
332 |
ALTER TABLE project_submission ENABLE TRIGGER ALL; |
|
333 |
||
334 |
--
|
|
1451.1.2
by William Grant
Move Subject.url to Offering, and add Offering.description. Show these on the offering index. |
335 |
-- Data for Name: semester; Type: TABLE DATA; Schema: public; Owner: -
|
336 |
--
|
|
337 |
||
338 |
ALTER TABLE semester DISABLE TRIGGER ALL; |
|
339 |
||
340 |
INSERT INTO semester (semesterid, year, semester, state) VALUES (1, '2009', '1', 'past'); |
|
341 |
INSERT INTO semester (semesterid, year, semester, state) VALUES (2, '2009', '2', 'current'); |
|
342 |
INSERT INTO semester (semesterid, year, semester, state) VALUES (3, '2010', '1', 'future'); |
|
343 |
INSERT INTO semester (semesterid, year, semester, state) VALUES (4, '2010', '2', 'future'); |
|
344 |
||
345 |
||
346 |
ALTER TABLE semester ENABLE TRIGGER ALL; |
|
347 |
||
348 |
--
|
|
349 |
-- Data for Name: subject; Type: TABLE DATA; Schema: public; Owner: -
|
|
350 |
--
|
|
351 |
||
352 |
ALTER TABLE subject DISABLE TRIGGER ALL; |
|
353 |
||
354 |
INSERT INTO subject (subjectid, subj_code, subj_name, subj_short_name) VALUES (1, '100101', 'Introduction to IVLE', 'ivle-101'); |
|
355 |
INSERT INTO subject (subjectid, subj_code, subj_name, subj_short_name) VALUES (2, '100102', 'Intermediate IVLE', 'ivle-102'); |
|
356 |
INSERT INTO subject (subjectid, subj_code, subj_name, subj_short_name) VALUES (3, '100201', 'Advanced IVLE', 'ivle-201'); |
|
357 |
INSERT INTO subject (subjectid, subj_code, subj_name, subj_short_name) VALUES (4, '100202', 'Mastering IVLE', 'ivle-202'); |
|
358 |
||
359 |
||
360 |
ALTER TABLE subject ENABLE TRIGGER ALL; |
|
1349
by Matt Giuca
Added sample data infrastructure, with a little bit of sample data. The sample data is in examples/db/sample.sql. Documentation in doc/man/sample.rst details the infrastructure for importing and exporting sample data. |
361 |
|
362 |
--
|
|
363 |
-- Data for Name: suite_variable; Type: TABLE DATA; Schema: public; Owner: -
|
|
364 |
--
|
|
365 |
||
366 |
ALTER TABLE suite_variable DISABLE TRIGGER ALL; |
|
367 |
||
1436
by Matt Giuca
Sample data: Added an exercise which demonstrates exercises, test suites, test cases and test case parts. |
368 |
INSERT INTO suite_variable (varid, suiteid, var_name, var_value, var_type, arg_no) VALUES (1, 1, '', '4', 'arg', 0); |
369 |
INSERT INTO suite_variable (varid, suiteid, var_name, var_value, var_type, arg_no) VALUES (2, 2, '', '5', 'arg', 0); |
|
1349
by Matt Giuca
Added sample data infrastructure, with a little bit of sample data. The sample data is in examples/db/sample.sql. Documentation in doc/man/sample.rst details the infrastructure for importing and exporting sample data. |
370 |
|
371 |
||
372 |
ALTER TABLE suite_variable ENABLE TRIGGER ALL; |
|
373 |
||
374 |
--
|
|
375 |
-- Data for Name: test_case; Type: TABLE DATA; Schema: public; Owner: -
|
|
376 |
--
|
|
377 |
||
378 |
ALTER TABLE test_case DISABLE TRIGGER ALL; |
|
379 |
||
1436
by Matt Giuca
Sample data: Added an exercise which demonstrates exercises, test suites, test cases and test case parts. |
380 |
INSERT INTO test_case (testid, suiteid, passmsg, failmsg, test_default, seq_no) VALUES (1, 1, 'Calculates factorial correctly', 'Wrong answer', 'ignore', 0); |
381 |
INSERT INTO test_case (testid, suiteid, passmsg, failmsg, test_default, seq_no) VALUES (2, 1, 'Doesn''t use functools', 'You used functools, you arrogant git', 'ignore', 1); |
|
382 |
INSERT INTO test_case (testid, suiteid, passmsg, failmsg, test_default, seq_no) VALUES (3, 2, 'Calculates factorial correctly', 'Wrong answer', 'ignore', 0); |
|
383 |
INSERT INTO test_case (testid, suiteid, passmsg, failmsg, test_default, seq_no) VALUES (5, 3, 'Main worked correctly', 'Main printed something else as well. You should only print out the answer.', 'ignore', 1); |
|
384 |
INSERT INTO test_case (testid, suiteid, passmsg, failmsg, test_default, seq_no) VALUES (4, 3, 'Main printout included the correct answer', 'Main didn''t print out the correct answer', 'ignore', 0); |
|
385 |
INSERT INTO test_case (testid, suiteid, passmsg, failmsg, test_default, seq_no) VALUES (6, 1, 'Doesn''t use __import__', 'You used __import__, you subversive git!', 'ignore', 2); |
|
1349
by Matt Giuca
Added sample data infrastructure, with a little bit of sample data. The sample data is in examples/db/sample.sql. Documentation in doc/man/sample.rst details the infrastructure for importing and exporting sample data. |
386 |
|
387 |
||
388 |
ALTER TABLE test_case ENABLE TRIGGER ALL; |
|
389 |
||
390 |
--
|
|
391 |
-- Data for Name: test_case_part; Type: TABLE DATA; Schema: public; Owner: -
|
|
392 |
--
|
|
393 |
||
394 |
ALTER TABLE test_case_part DISABLE TRIGGER ALL; |
|
395 |
||
1436
by Matt Giuca
Sample data: Added an exercise which demonstrates exercises, test suites, test cases and test case parts. |
396 |
INSERT INTO test_case_part (partid, testid, part_type, test_type, data, filename) VALUES (1, 1, 'result', 'match', '', NULL); |
397 |
INSERT INTO test_case_part (partid, testid, part_type, test_type, data, filename) VALUES (2, 2, 'code', 'check', 'lambda solution, attempt: ''functools'' not in attempt', NULL); |
|
398 |
INSERT INTO test_case_part (partid, testid, part_type, test_type, data, filename) VALUES (3, 3, 'result', 'match', '', NULL); |
|
399 |
INSERT INTO test_case_part (partid, testid, part_type, test_type, data, filename) VALUES (5, 5, 'stdout', 'norm', 'lambda x: x.strip() # Allow leading or trailing whitespace', NULL); |
|
400 |
INSERT INTO test_case_part (partid, testid, part_type, test_type, data, filename) VALUES (4, 4, 'stdout', 'check', 'lambda solution, attempt: solution.strip() in attempt # Substring test', NULL); |
|
401 |
INSERT INTO test_case_part (partid, testid, part_type, test_type, data, filename) VALUES (6, 6, 'code', 'check', 'lambda solution, attempt: ''__import__'' not in attempt', NULL); |
|
1349
by Matt Giuca
Added sample data infrastructure, with a little bit of sample data. The sample data is in examples/db/sample.sql. Documentation in doc/man/sample.rst details the infrastructure for importing and exporting sample data. |
402 |
|
403 |
||
404 |
ALTER TABLE test_case_part ENABLE TRIGGER ALL; |
|
405 |
||
406 |
--
|
|
1451.1.2
by William Grant
Move Subject.url to Offering, and add Offering.description. Show these on the offering index. |
407 |
-- Data for Name: test_suite; Type: TABLE DATA; Schema: public; Owner: -
|
408 |
--
|
|
409 |
||
410 |
ALTER TABLE test_suite DISABLE TRIGGER ALL; |
|
411 |
||
412 |
INSERT INTO test_suite (suiteid, exerciseid, description, seq_no, function, stdin) VALUES (2, 'factorial', 'Test fac(5)', 1, 'fac', ''); |
|
413 |
INSERT INTO test_suite (suiteid, exerciseid, description, seq_no, function, stdin) VALUES (1, 'factorial', 'Test fac(4)', 0, 'fac', ''); |
|
414 |
INSERT INTO test_suite (suiteid, exerciseid, description, seq_no, function, stdin) VALUES (3, 'factorial', 'Test main', 2, 'main', '4 |
|
415 |
'); |
|
416 |
||
417 |
||
418 |
ALTER TABLE test_suite ENABLE TRIGGER ALL; |
|
419 |
||
420 |
--
|
|
421 |
-- Data for Name: worksheet; Type: TABLE DATA; Schema: public; Owner: -
|
|
422 |
--
|
|
423 |
||
424 |
ALTER TABLE worksheet DISABLE TRIGGER ALL; |
|
425 |
||
1486
by Matt Giuca
Sample database: Added a sample worksheet. |
426 |
INSERT INTO worksheet (worksheetid, offeringid, identifier, name, data, assessable, seq_no, format) VALUES (1, 2, 'worksheet1', 'Worksheet Basics', 'IVLE allows lecturers and tutors to create worksheets, which are presented to students, optionally, for assessment. |
427 |
||
428 |
Worksheets are reStructuredText (rich text) documents which can present students with information or tutorials, much like a textbook. For example, we might explain that "recursion is when a function calls itself".
|
|
429 |
||
430 |
We can use any reStructuredText markup, such as **bold** and `links <http://ivle.org>`_. We can also embed exercises. For example, we might invite students to "try out recursion in the following exercise".
|
|
431 |
||
432 |
Beginning a line with ``.. exercise:: <exercise-name>`` embeds an exercise in a worksheet, like this:
|
|
433 |
||
434 |
.. exercise:: factorial
|
|
435 |
||
436 |
Now, the student may try out the above exercise, and submit it as many times as (s)he wishes. Once they have it correct, they will receive a point on their assessment.', true, 0, 'rst'); |
|
1451.1.2
by William Grant
Move Subject.url to Offering, and add Offering.description. Show these on the offering index. |
437 |
|
438 |
||
439 |
ALTER TABLE worksheet ENABLE TRIGGER ALL; |
|
440 |
||
441 |
--
|
|
442 |
-- Data for Name: worksheet_exercise; Type: TABLE DATA; Schema: public; Owner: -
|
|
443 |
--
|
|
444 |
||
445 |
ALTER TABLE worksheet_exercise DISABLE TRIGGER ALL; |
|
446 |
||
1486
by Matt Giuca
Sample database: Added a sample worksheet. |
447 |
INSERT INTO worksheet_exercise (ws_ex_id, worksheetid, exerciseid, seq_no, active, optional) VALUES (1, 1, 'factorial', 0, true, false); |
1451.1.2
by William Grant
Move Subject.url to Offering, and add Offering.description. Show these on the offering index. |
448 |
|
449 |
||
450 |
ALTER TABLE worksheet_exercise ENABLE TRIGGER ALL; |
|
451 |
||
452 |
--
|
|
1349
by Matt Giuca
Added sample data infrastructure, with a little bit of sample data. The sample data is in examples/db/sample.sql. Documentation in doc/man/sample.rst details the infrastructure for importing and exporting sample data. |
453 |
-- PostgreSQL database dump complete
|
454 |
--
|
|
455 |