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, true);
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, true);
126
-- Name: worksheet_worksheetid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
129
SELECT pg_catalog.setval('worksheet_worksheetid_seq', 1, true);
133
-- Data for Name: assessed; Type: TABLE DATA; Schema: public; Owner: -
136
ALTER TABLE assessed DISABLE TRIGGER ALL;
138
INSERT INTO assessed (assessedid, loginid, groupid, projectid) VALUES (1, 2, NULL, 1);
141
ALTER TABLE assessed ENABLE TRIGGER ALL;
144
-- Data for Name: enrolment; Type: TABLE DATA; Schema: public; Owner: -
147
ALTER TABLE enrolment DISABLE TRIGGER ALL;
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);
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);
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);
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);
157
ALTER TABLE enrolment ENABLE TRIGGER ALL;
160
-- Data for Name: exercise; Type: TABLE DATA; Schema: public; Owner: -
163
ALTER TABLE exercise DISABLE TRIGGER ALL;
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.::
170
Then, write a function `main`, which reads a number from stdin, and writes its factorial to stdout. e.g.::
188
print fac(f)', '', 12);
191
ALTER TABLE exercise ENABLE TRIGGER ALL;
194
-- Data for Name: exercise_attempt; Type: TABLE DATA; Schema: public; Owner: -
197
ALTER TABLE exercise_attempt DISABLE TRIGGER ALL;
201
ALTER TABLE exercise_attempt ENABLE TRIGGER ALL;
204
-- Data for Name: exercise_save; Type: TABLE DATA; Schema: public; Owner: -
207
ALTER TABLE exercise_save DISABLE TRIGGER ALL;
211
ALTER TABLE exercise_save ENABLE TRIGGER ALL;
214
-- Data for Name: group_invitation; Type: TABLE DATA; Schema: public; Owner: -
217
ALTER TABLE group_invitation DISABLE TRIGGER ALL;
221
ALTER TABLE group_invitation ENABLE TRIGGER ALL;
224
-- Data for Name: group_member; Type: TABLE DATA; Schema: public; Owner: -
227
ALTER TABLE group_member DISABLE TRIGGER ALL;
229
INSERT INTO group_member (loginid, groupid) VALUES (4, 1);
230
INSERT INTO group_member (loginid, groupid) VALUES (5, 1);
233
ALTER TABLE group_member ENABLE TRIGGER ALL;
236
-- Data for Name: login; Type: TABLE DATA; Schema: public; Owner: -
239
ALTER TABLE login DISABLE TRIGGER ALL;
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);
248
ALTER TABLE login ENABLE TRIGGER ALL;
251
-- Data for Name: offering; Type: TABLE DATA; Schema: public; Owner: -
254
ALTER TABLE offering DISABLE TRIGGER ALL;
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');
264
ALTER TABLE offering ENABLE TRIGGER ALL;
267
-- Data for Name: project; Type: TABLE DATA; Schema: public; Owner: -
270
ALTER TABLE project DISABLE TRIGGER ALL;
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');
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.
274
Get into groups of 3.', NULL, 2, '3009-09-11 18:00:00');
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');
279
ALTER TABLE project ENABLE TRIGGER ALL;
282
-- Data for Name: project_extension; Type: TABLE DATA; Schema: public; Owner: -
285
ALTER TABLE project_extension DISABLE TRIGGER ALL;
289
ALTER TABLE project_extension ENABLE TRIGGER ALL;
292
-- Data for Name: project_group; Type: TABLE DATA; Schema: public; Owner: -
295
ALTER TABLE project_group DISABLE TRIGGER ALL;
297
INSERT INTO project_group (groupnm, groupid, projectsetid, nick, createdby, epoch) VALUES ('group1', 1, 2, 'group1', 2, '2009-12-08 17:04:42.981005');
300
ALTER TABLE project_group ENABLE TRIGGER ALL;
303
-- Data for Name: project_mark; Type: TABLE DATA; Schema: public; Owner: -
306
ALTER TABLE project_mark DISABLE TRIGGER ALL;
310
ALTER TABLE project_mark ENABLE TRIGGER ALL;
313
-- Data for Name: project_set; Type: TABLE DATA; Schema: public; Owner: -
316
ALTER TABLE project_set DISABLE TRIGGER ALL;
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);
322
ALTER TABLE project_set ENABLE TRIGGER ALL;
325
-- Data for Name: project_submission; Type: TABLE DATA; Schema: public; Owner: -
328
ALTER TABLE project_submission DISABLE TRIGGER ALL;
332
ALTER TABLE project_submission ENABLE TRIGGER ALL;
335
-- Data for Name: semester; Type: TABLE DATA; Schema: public; Owner: -
338
ALTER TABLE semester DISABLE TRIGGER ALL;
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');
346
ALTER TABLE semester ENABLE TRIGGER ALL;
349
-- Data for Name: subject; Type: TABLE DATA; Schema: public; Owner: -
352
ALTER TABLE subject DISABLE TRIGGER ALL;
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');
360
ALTER TABLE subject ENABLE TRIGGER ALL;
363
-- Data for Name: suite_variable; Type: TABLE DATA; Schema: public; Owner: -
366
ALTER TABLE suite_variable DISABLE TRIGGER ALL;
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);
372
ALTER TABLE suite_variable ENABLE TRIGGER ALL;
375
-- Data for Name: test_case; Type: TABLE DATA; Schema: public; Owner: -
378
ALTER TABLE test_case DISABLE TRIGGER ALL;
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);
388
ALTER TABLE test_case ENABLE TRIGGER ALL;
391
-- Data for Name: test_case_part; Type: TABLE DATA; Schema: public; Owner: -
394
ALTER TABLE test_case_part DISABLE TRIGGER ALL;
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);
404
ALTER TABLE test_case_part ENABLE TRIGGER ALL;
407
-- Data for Name: test_suite; Type: TABLE DATA; Schema: public; Owner: -
410
ALTER TABLE test_suite DISABLE TRIGGER ALL;
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
418
ALTER TABLE test_suite ENABLE TRIGGER ALL;
421
-- Data for Name: worksheet; Type: TABLE DATA; Schema: public; Owner: -
424
ALTER TABLE worksheet DISABLE TRIGGER ALL;
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.
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".
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".
432
Beginning a line with ``.. exercise:: <exercise-name>`` embeds an exercise in a worksheet, like this:
434
.. exercise:: factorial
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');
439
ALTER TABLE worksheet ENABLE TRIGGER ALL;
442
-- Data for Name: worksheet_exercise; Type: TABLE DATA; Schema: public; Owner: -
445
ALTER TABLE worksheet_exercise DISABLE TRIGGER ALL;
447
INSERT INTO worksheet_exercise (ws_ex_id, worksheetid, exerciseid, seq_no, active, optional) VALUES (1, 1, 'factorial', 0, true, false);
450
ALTER TABLE worksheet_exercise ENABLE TRIGGER ALL;
453
-- PostgreSQL database dump complete