91
92
-- Name: suite_variable_varid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
94
SELECT pg_catalog.setval('suite_variable_varid_seq', 2, true);
95
SELECT pg_catalog.setval('suite_variable_varid_seq', 1, false);
98
99
-- Name: test_case_part_partid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
101
SELECT pg_catalog.setval('test_case_part_partid_seq', 10, true);
102
SELECT pg_catalog.setval('test_case_part_partid_seq', 1, false);
105
106
-- Name: test_case_testid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
108
SELECT pg_catalog.setval('test_case_testid_seq', 10, true);
109
SELECT pg_catalog.setval('test_case_testid_seq', 1, false);
112
113
-- Name: test_suite_suiteid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
115
SELECT pg_catalog.setval('test_suite_suiteid_seq', 5, true);
116
SELECT pg_catalog.setval('test_suite_suiteid_seq', 1, false);
119
120
-- Name: worksheet_exercise_ws_ex_id_seq; Type: SEQUENCE SET; Schema: public; Owner: -
122
SELECT pg_catalog.setval('worksheet_exercise_ws_ex_id_seq', 2, true);
123
SELECT pg_catalog.setval('worksheet_exercise_ws_ex_id_seq', 1, false);
126
127
-- Name: worksheet_worksheetid_seq; Type: SEQUENCE SET; Schema: public; Owner: -
129
SELECT pg_catalog.setval('worksheet_worksheetid_seq', 1, true);
130
SELECT pg_catalog.setval('worksheet_worksheetid_seq', 1, false);
134
-- Data for Name: login; Type: TABLE DATA; Schema: public; Owner: -
137
SET SESSION AUTHORIZATION DEFAULT;
139
ALTER TABLE login DISABLE TRIGGER ALL;
141
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);
142
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);
143
INSERT INTO login (loginid, login, passhash, state, admin, unixid, nick, pass_exp, acct_exp, last_login, svn_pass, email, fullname, studentid, settings) VALUES (3, 'studenta', '5f4dcc3b5aa765d61d8327deb882cf99', 'enabled', false, 5002, 'Alice Student', NULL, NULL, '2009-12-08 12:11:46.349133', 'password', NULL, 'Alice Student', NULL, NULL);
144
INSERT INTO login (loginid, login, passhash, state, admin, unixid, nick, pass_exp, acct_exp, last_login, svn_pass, email, fullname, studentid, settings) VALUES (4, 'studentb', '5f4dcc3b5aa765d61d8327deb882cf99', 'no_agreement', false, 5003, 'Bob Student', NULL, NULL, NULL, NULL, NULL, 'Bob Student', NULL, NULL);
147
ALTER TABLE login ENABLE TRIGGER ALL;
150
-- Data for Name: semester; Type: TABLE DATA; Schema: public; Owner: -
153
ALTER TABLE semester DISABLE TRIGGER ALL;
155
INSERT INTO semester (semesterid, year, semester, state) VALUES (1, '2009', '1', 'past');
156
INSERT INTO semester (semesterid, year, semester, state) VALUES (2, '2009', '2', 'current');
157
INSERT INTO semester (semesterid, year, semester, state) VALUES (3, '2010', '1', 'future');
158
INSERT INTO semester (semesterid, year, semester, state) VALUES (4, '2010', '2', 'future');
161
ALTER TABLE semester ENABLE TRIGGER ALL;
164
-- Data for Name: subject; Type: TABLE DATA; Schema: public; Owner: -
167
ALTER TABLE subject DISABLE TRIGGER ALL;
169
INSERT INTO subject (subjectid, subj_code, subj_name, subj_short_name, url) VALUES (1, '100101', 'Introduction to IVLE', 'ivle-101', 'http://www.ivle.org/example/101');
170
INSERT INTO subject (subjectid, subj_code, subj_name, subj_short_name, url) VALUES (2, '100102', 'Intermediate IVLE', 'ivle-102', 'http://www.ivle.org/example/102');
171
INSERT INTO subject (subjectid, subj_code, subj_name, subj_short_name, url) VALUES (3, '100201', 'Advanced IVLE', 'ivle-201', 'http://www.ivle.org/example/201');
172
INSERT INTO subject (subjectid, subj_code, subj_name, subj_short_name, url) VALUES (4, '100202', 'Mastering IVLE', 'ivle-202', 'http://www.ivle.org/example/202');
175
ALTER TABLE subject ENABLE TRIGGER ALL;
178
-- Data for Name: offering; Type: TABLE DATA; Schema: public; Owner: -
181
ALTER TABLE offering DISABLE TRIGGER ALL;
183
INSERT INTO offering (offeringid, subject, semesterid, groups_student_permissions) VALUES (1, 1, 1, 'none');
184
INSERT INTO offering (offeringid, subject, semesterid, groups_student_permissions) VALUES (2, 2, 2, 'none');
185
INSERT INTO offering (offeringid, subject, semesterid, groups_student_permissions) VALUES (3, 1, 3, 'none');
186
INSERT INTO offering (offeringid, subject, semesterid, groups_student_permissions) VALUES (4, 3, 3, 'none');
187
INSERT INTO offering (offeringid, subject, semesterid, groups_student_permissions) VALUES (5, 2, 4, 'none');
188
INSERT INTO offering (offeringid, subject, semesterid, groups_student_permissions) VALUES (6, 4, 4, 'none');
191
ALTER TABLE offering ENABLE TRIGGER ALL;
194
-- Data for Name: project_set; Type: TABLE DATA; Schema: public; Owner: -
197
ALTER TABLE project_set DISABLE TRIGGER ALL;
201
ALTER TABLE project_set ENABLE TRIGGER ALL;
204
-- Data for Name: project; Type: TABLE DATA; Schema: public; Owner: -
207
ALTER TABLE project DISABLE TRIGGER ALL;
211
ALTER TABLE project ENABLE TRIGGER ALL;
214
-- Data for Name: project_group; Type: TABLE DATA; Schema: public; Owner: -
217
ALTER TABLE project_group DISABLE TRIGGER ALL;
221
ALTER TABLE project_group ENABLE TRIGGER ALL;
133
224
-- Data for Name: assessed; Type: TABLE DATA; Schema: public; Owner: -
149
239
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
240
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);
241
INSERT INTO enrolment (loginid, offeringid, role, result, special_result, supp_result, special_supp_result, notes, active) VALUES (3, 1, 'student', NULL, NULL, NULL, NULL, NULL, true);
242
INSERT INTO enrolment (loginid, offeringid, role, result, special_result, supp_result, special_supp_result, notes, active) VALUES (3, 2, 'student', NULL, NULL, NULL, NULL, NULL, true);
153
243
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
246
ALTER TABLE enrolment ENABLE TRIGGER ALL;
230
312
ALTER TABLE group_member DISABLE TRIGGER ALL;
232
INSERT INTO group_member (loginid, groupid) VALUES (4, 1);
233
INSERT INTO group_member (loginid, groupid) VALUES (5, 1);
236
316
ALTER TABLE group_member ENABLE TRIGGER ALL;
241
ALTER TABLE login DISABLE TRIGGER ALL;
243
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);
244
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);
245
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);
246
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);
247
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);
250
ALTER TABLE login ENABLE TRIGGER ALL;
255
ALTER TABLE offering DISABLE TRIGGER ALL;
257
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');
258
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');
259
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');
260
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');
261
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');
262
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');
265
ALTER TABLE offering ENABLE TRIGGER ALL;
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
319
-- Data for Name: project_extension; Type: TABLE DATA; Schema: public; Owner: -
335
346
ALTER TABLE project_submission ENABLE TRIGGER ALL;
340
ALTER TABLE semester DISABLE TRIGGER ALL;
342
INSERT INTO semester (semesterid, year, semester, state) VALUES (1, '2009', '1', 'past');
343
INSERT INTO semester (semesterid, year, semester, state) VALUES (2, '2009', '2', 'current');
344
INSERT INTO semester (semesterid, year, semester, state) VALUES (3, '2010', '1', 'future');
345
INSERT INTO semester (semesterid, year, semester, state) VALUES (4, '2010', '2', 'future');
348
ALTER TABLE semester ENABLE TRIGGER ALL;
353
ALTER TABLE subject DISABLE TRIGGER ALL;
355
INSERT INTO subject (subjectid, subj_code, subj_name, subj_short_name) VALUES (1, '100101', 'Introduction to IVLE', 'ivle-101');
356
INSERT INTO subject (subjectid, subj_code, subj_name, subj_short_name) VALUES (2, '100102', 'Intermediate IVLE', 'ivle-102');
357
INSERT INTO subject (subjectid, subj_code, subj_name, subj_short_name) VALUES (3, '100201', 'Advanced IVLE', 'ivle-201');
358
INSERT INTO subject (subjectid, subj_code, subj_name, subj_short_name) VALUES (4, '100202', 'Mastering IVLE', 'ivle-202');
361
ALTER TABLE subject ENABLE TRIGGER ALL;
349
-- Data for Name: test_suite; Type: TABLE DATA; Schema: public; Owner: -
352
ALTER TABLE test_suite DISABLE TRIGGER ALL;
356
ALTER TABLE test_suite ENABLE TRIGGER ALL;
364
359
-- Data for Name: suite_variable; Type: TABLE DATA; Schema: public; Owner: -
381
372
ALTER TABLE test_case DISABLE TRIGGER ALL;
383
INSERT INTO test_case (testid, suiteid, passmsg, failmsg, test_default, seq_no) VALUES (1, 1, 'Calculates factorial correctly', 'Wrong answer', 'ignore', 0);
384
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);
385
INSERT INTO test_case (testid, suiteid, passmsg, failmsg, test_default, seq_no) VALUES (3, 2, 'Calculates factorial correctly', 'Wrong answer', 'ignore', 0);
386
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);
387
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);
388
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);
389
INSERT INTO test_case (testid, suiteid, passmsg, failmsg, test_default, seq_no) VALUES (7, 4, 'Prints the correct words', 'Didn''t print the words "Hello world" at all', 'ignore', 0);
390
INSERT INTO test_case (testid, suiteid, passmsg, failmsg, test_default, seq_no) VALUES (10, 4, 'Prints "Hello, world!" exactly', 'Did not print "Hello, world!" exactly', 'ignore', 1);
393
376
ALTER TABLE test_case ENABLE TRIGGER ALL;
399
382
ALTER TABLE test_case_part DISABLE TRIGGER ALL;
401
INSERT INTO test_case_part (partid, testid, part_type, test_type, data, filename) VALUES (1, 1, 'result', 'match', '', NULL);
402
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);
403
INSERT INTO test_case_part (partid, testid, part_type, test_type, data, filename) VALUES (3, 3, 'result', 'match', '', NULL);
404
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);
405
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);
406
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);
407
INSERT INTO test_case_part (partid, testid, part_type, test_type, data, filename) VALUES (10, 10, 'stdout', 'match', 'lambda solution, attempt: re.match("hello[^a-z]*world[^a-z]*", attempt.lower())', NULL);
408
INSERT INTO test_case_part (partid, testid, part_type, test_type, data, filename) VALUES (7, 7, 'stdout', 'check', 'lambda solution, attempt: re.match("hello[^a-z]*world[^a-z]*", attempt.lower())', NULL);
411
386
ALTER TABLE test_case_part ENABLE TRIGGER ALL;
416
ALTER TABLE test_suite DISABLE TRIGGER ALL;
418
INSERT INTO test_suite (suiteid, exerciseid, description, seq_no, function, stdin) VALUES (2, 'factorial', 'Test fac(5)', 1, 'fac', '');
419
INSERT INTO test_suite (suiteid, exerciseid, description, seq_no, function, stdin) VALUES (1, 'factorial', 'Test fac(4)', 0, 'fac', '');
420
INSERT INTO test_suite (suiteid, exerciseid, description, seq_no, function, stdin) VALUES (3, 'factorial', 'Test main', 2, 'main', '4
422
INSERT INTO test_suite (suiteid, exerciseid, description, seq_no, function, stdin) VALUES (4, 'hello', 'Prints "Hello, world!" exactly', 0, '', '');
425
ALTER TABLE test_suite ENABLE TRIGGER ALL;
430
ALTER TABLE worksheet DISABLE TRIGGER ALL;
432
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.
434
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".
436
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".
438
Beginning a line with ``.. exercise:: <exercise-name>`` embeds an exercise in a worksheet, like this:
442
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.
444
Here is a second exercise. This one involves writing functions, and has multiple parts. The test suite will test each part individually.
446
.. exercise:: factorial
450
ALTER TABLE worksheet ENABLE TRIGGER ALL;
455
ALTER TABLE worksheet_exercise DISABLE TRIGGER ALL;
457
INSERT INTO worksheet_exercise (ws_ex_id, worksheetid, exerciseid, seq_no, active, optional) VALUES (2, 1, 'hello', 0, true, false);
458
INSERT INTO worksheet_exercise (ws_ex_id, worksheetid, exerciseid, seq_no, active, optional) VALUES (1, 1, 'factorial', 0, true, false);
461
ALTER TABLE worksheet_exercise ENABLE TRIGGER ALL;
466
389
-- PostgreSQL database dump complete