2
-- PostgreSQL database dump
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;
11
SET search_path = public, pg_catalog;
14
-- Name: assessed_assessedid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
17
SELECT pg_catalog.setval('assessed_assessedid_seq', 1, false);
21
-- Name: login_unixid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
24
SELECT pg_catalog.setval('login_unixid_seq', 5004, true);
28
-- Name: login_loginid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
31
SELECT pg_catalog.setval('login_loginid_seq', 5, true);
35
-- Name: offering_offeringid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
38
SELECT pg_catalog.setval('offering_offeringid_seq', 6, true);
42
-- Name: project_extension_extensionid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
45
SELECT pg_catalog.setval('project_extension_extensionid_seq', 1, false);
49
-- Name: project_group_groupid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
52
SELECT pg_catalog.setval('project_group_groupid_seq', 1, true);
56
-- Name: project_projectid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
59
SELECT pg_catalog.setval('project_projectid_seq', 3, true);
63
-- Name: project_set_projectsetid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
66
SELECT pg_catalog.setval('project_set_projectsetid_seq', 2, true);
70
-- Name: project_submission_submissionid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
73
SELECT pg_catalog.setval('project_submission_submissionid_seq', 1, false);
77
-- Name: semester_semesterid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
80
SELECT pg_catalog.setval('semester_semesterid_seq', 4, true);
84
-- Name: subject_subjectid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
87
SELECT pg_catalog.setval('subject_subjectid_seq', 4, true);
91
-- Name: suite_variable_varid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
94
SELECT pg_catalog.setval('suite_variable_varid_seq', 2, true);
98
-- Name: test_case_part_partid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
101
SELECT pg_catalog.setval('test_case_part_partid_seq', 6, true);
105
-- Name: test_case_testid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
108
SELECT pg_catalog.setval('test_case_testid_seq', 6, true);
112
-- Name: test_suite_suiteid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
115
SELECT pg_catalog.setval('test_suite_suiteid_seq', 3, true);
119
-- Name: worksheet_exercise_ws_ex_id_seq; Type: SEQUENCE SET; Schema: public; Owner: -
122
SELECT pg_catalog.setval('worksheet_exercise_ws_ex_id_seq', 1, false);
126
-- Name: worksheet_worksheetid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
129
SELECT pg_catalog.setval('worksheet_worksheetid_seq', 1, false);
133
-- Data for Name: assessed; Type: TABLE DATA; Schema: public; Owner: -
136
ALTER TABLE assessed DISABLE TRIGGER ALL;
140
ALTER TABLE assessed ENABLE TRIGGER ALL;
143
-- Data for Name: enrolment; Type: TABLE DATA; Schema: public; Owner: -
146
ALTER TABLE enrolment DISABLE TRIGGER ALL;
148
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);
149
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);
150
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);
151
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);
152
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);
153
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);
156
ALTER TABLE enrolment ENABLE TRIGGER ALL;
159
-- Data for Name: exercise; Type: TABLE DATA; Schema: public; Owner: -
162
ALTER TABLE exercise DISABLE TRIGGER ALL;
164
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.::
169
Then, write a function `main`, which reads a number from stdin, and writes its factorial to stdout. e.g.::
187
print fac(f)', '', 12);
190
ALTER TABLE exercise ENABLE TRIGGER ALL;
193
-- Data for Name: exercise_attempt; Type: TABLE DATA; Schema: public; Owner: -
196
ALTER TABLE exercise_attempt DISABLE TRIGGER ALL;
200
ALTER TABLE exercise_attempt ENABLE TRIGGER ALL;
203
-- Data for Name: exercise_save; Type: TABLE DATA; Schema: public; Owner: -
206
ALTER TABLE exercise_save DISABLE TRIGGER ALL;
210
ALTER TABLE exercise_save ENABLE TRIGGER ALL;
213
-- Data for Name: group_invitation; Type: TABLE DATA; Schema: public; Owner: -
216
ALTER TABLE group_invitation DISABLE TRIGGER ALL;
220
ALTER TABLE group_invitation ENABLE TRIGGER ALL;
223
-- Data for Name: group_member; Type: TABLE DATA; Schema: public; Owner: -
226
ALTER TABLE group_member DISABLE TRIGGER ALL;
228
INSERT INTO group_member (loginid, groupid) VALUES (4, 1);
229
INSERT INTO group_member (loginid, groupid) VALUES (5, 1);
232
ALTER TABLE group_member ENABLE TRIGGER ALL;
235
-- Data for Name: login; Type: TABLE DATA; Schema: public; Owner: -
238
ALTER TABLE login DISABLE TRIGGER ALL;
240
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);
241
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);
242
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);
243
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);
244
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);
247
ALTER TABLE login ENABLE TRIGGER ALL;
250
-- Data for Name: offering; Type: TABLE DATA; Schema: public; Owner: -
253
ALTER TABLE offering DISABLE TRIGGER ALL;
255
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');
256
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');
257
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');
258
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');
259
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');
260
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');
263
ALTER TABLE offering ENABLE TRIGGER ALL;
266
-- Data for Name: project; Type: TABLE DATA; Schema: public; Owner: -
269
ALTER TABLE project DISABLE TRIGGER ALL;
271
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, '2009-08-21 18:00:00');
272
INSERT INTO project (projectid, short_name, name, synopsis, url, projectsetid, deadline) VALUES (2, 'phase2', 'Phase 2', 'This is the second project in Intermediate IVLE.
273
Get into groups of 3.', NULL, 2, '2009-09-11 18:00:00');
274
INSERT INTO project (projectid, short_name, name, synopsis, url, projectsetid, deadline) VALUES (3, 'phase3', 'Phase 3', 'This is the final project in Intermediate IVLE.
275
Complete this with the same group as Phase 2.', NULL, 2, '2009-09-25 18:00:00');
278
ALTER TABLE project ENABLE TRIGGER ALL;
281
-- Data for Name: project_extension; Type: TABLE DATA; Schema: public; Owner: -
284
ALTER TABLE project_extension DISABLE TRIGGER ALL;
288
ALTER TABLE project_extension ENABLE TRIGGER ALL;
291
-- Data for Name: project_group; Type: TABLE DATA; Schema: public; Owner: -
294
ALTER TABLE project_group DISABLE TRIGGER ALL;
296
INSERT INTO project_group (groupnm, groupid, projectsetid, nick, createdby, epoch) VALUES ('group1', 1, 2, 'group1', 2, '2009-12-08 17:04:42.981005');
299
ALTER TABLE project_group ENABLE TRIGGER ALL;
302
-- Data for Name: project_mark; Type: TABLE DATA; Schema: public; Owner: -
305
ALTER TABLE project_mark DISABLE TRIGGER ALL;
309
ALTER TABLE project_mark ENABLE TRIGGER ALL;
312
-- Data for Name: project_set; Type: TABLE DATA; Schema: public; Owner: -
315
ALTER TABLE project_set DISABLE TRIGGER ALL;
317
INSERT INTO project_set (projectsetid, offeringid, max_students_per_group) VALUES (1, 2, NULL);
318
INSERT INTO project_set (projectsetid, offeringid, max_students_per_group) VALUES (2, 2, 3);
321
ALTER TABLE project_set ENABLE TRIGGER ALL;
324
-- Data for Name: project_submission; Type: TABLE DATA; Schema: public; Owner: -
327
ALTER TABLE project_submission DISABLE TRIGGER ALL;
331
ALTER TABLE project_submission ENABLE TRIGGER ALL;
334
-- Data for Name: semester; Type: TABLE DATA; Schema: public; Owner: -
337
ALTER TABLE semester DISABLE TRIGGER ALL;
339
INSERT INTO semester (semesterid, year, semester, state) VALUES (1, '2009', '1', 'past');
340
INSERT INTO semester (semesterid, year, semester, state) VALUES (2, '2009', '2', 'current');
341
INSERT INTO semester (semesterid, year, semester, state) VALUES (3, '2010', '1', 'future');
342
INSERT INTO semester (semesterid, year, semester, state) VALUES (4, '2010', '2', 'future');
345
ALTER TABLE semester ENABLE TRIGGER ALL;
348
-- Data for Name: subject; Type: TABLE DATA; Schema: public; Owner: -
351
ALTER TABLE subject DISABLE TRIGGER ALL;
353
INSERT INTO subject (subjectid, subj_code, subj_name, subj_short_name) VALUES (1, '100101', 'Introduction to IVLE', 'ivle-101');
354
INSERT INTO subject (subjectid, subj_code, subj_name, subj_short_name) VALUES (2, '100102', 'Intermediate IVLE', 'ivle-102');
355
INSERT INTO subject (subjectid, subj_code, subj_name, subj_short_name) VALUES (3, '100201', 'Advanced IVLE', 'ivle-201');
356
INSERT INTO subject (subjectid, subj_code, subj_name, subj_short_name) VALUES (4, '100202', 'Mastering IVLE', 'ivle-202');
359
ALTER TABLE subject ENABLE TRIGGER ALL;
362
-- Data for Name: suite_variable; Type: TABLE DATA; Schema: public; Owner: -
365
ALTER TABLE suite_variable DISABLE TRIGGER ALL;
367
INSERT INTO suite_variable (varid, suiteid, var_name, var_value, var_type, arg_no) VALUES (1, 1, '', '4', 'arg', 0);
368
INSERT INTO suite_variable (varid, suiteid, var_name, var_value, var_type, arg_no) VALUES (2, 2, '', '5', 'arg', 0);
371
ALTER TABLE suite_variable ENABLE TRIGGER ALL;
374
-- Data for Name: test_case; Type: TABLE DATA; Schema: public; Owner: -
377
ALTER TABLE test_case DISABLE TRIGGER ALL;
379
INSERT INTO test_case (testid, suiteid, passmsg, failmsg, test_default, seq_no) VALUES (1, 1, 'Calculates factorial correctly', 'Wrong answer', 'ignore', 0);
380
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);
381
INSERT INTO test_case (testid, suiteid, passmsg, failmsg, test_default, seq_no) VALUES (3, 2, 'Calculates factorial correctly', 'Wrong answer', 'ignore', 0);
382
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);
383
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);
384
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);
387
ALTER TABLE test_case ENABLE TRIGGER ALL;
390
-- Data for Name: test_case_part; Type: TABLE DATA; Schema: public; Owner: -
393
ALTER TABLE test_case_part DISABLE TRIGGER ALL;
395
INSERT INTO test_case_part (partid, testid, part_type, test_type, data, filename) VALUES (1, 1, 'result', 'match', '', NULL);
396
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);
397
INSERT INTO test_case_part (partid, testid, part_type, test_type, data, filename) VALUES (3, 3, 'result', 'match', '', NULL);
398
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);
399
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);
400
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);
403
ALTER TABLE test_case_part ENABLE TRIGGER ALL;
406
-- Data for Name: test_suite; Type: TABLE DATA; Schema: public; Owner: -
409
ALTER TABLE test_suite DISABLE TRIGGER ALL;
411
INSERT INTO test_suite (suiteid, exerciseid, description, seq_no, function, stdin) VALUES (2, 'factorial', 'Test fac(5)', 1, 'fac', '');
412
INSERT INTO test_suite (suiteid, exerciseid, description, seq_no, function, stdin) VALUES (1, 'factorial', 'Test fac(4)', 0, 'fac', '');
413
INSERT INTO test_suite (suiteid, exerciseid, description, seq_no, function, stdin) VALUES (3, 'factorial', 'Test main', 2, 'main', '4
417
ALTER TABLE test_suite ENABLE TRIGGER ALL;
420
-- Data for Name: worksheet; Type: TABLE DATA; Schema: public; Owner: -
423
ALTER TABLE worksheet DISABLE TRIGGER ALL;
427
ALTER TABLE worksheet ENABLE TRIGGER ALL;
430
-- Data for Name: worksheet_exercise; Type: TABLE DATA; Schema: public; Owner: -
433
ALTER TABLE worksheet_exercise DISABLE TRIGGER ALL;
437
ALTER TABLE worksheet_exercise ENABLE TRIGGER ALL;
440
-- PostgreSQL database dump complete