« back to all changes in this revision
Viewing changes to www/apps/tutorialservice/test/parse_tute.py
- browse files at revision 512
- compare with another revision
- compare with revision 513
- download diff
- download tarball
- view history from revision 512
- Committer: stevenbird
- Date: 2008-02-19 21:17:21 UTC
- Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:512
Renaming of problems to exercises (initial commit).
Fix up module naming (exercises sometimes called tutorials).
Fix up module naming (exercises sometimes called tutorials).
- files added:
- exercises
- exercises/sample
- files removed:
- problems
- problems/sample
- files modified:
- www/apps/tutorialservice/test/__init__.py
added
removed
www/apps/tutorialservice/test/parse_tute.py
1
# IVLE - Informatics Virtual Learning Environment
2
# Copyright (C) 2007-2008 The University of Melbourne
3
#
4
# This program is free software; you can redistribute it and/or modify
5
# it under the terms of the GNU General Public License as published by
6
# the Free Software Foundation; either version 2 of the License, or
7
# (at your option) any later version.
8
#
9
# This program is distributed in the hope that it will be useful,
10
# but WITHOUT ANY WARRANTY; without even the implied warranty of
11
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12
# GNU General Public License for more details.
13
#
14
# You should have received a copy of the GNU General Public License
15
# along with this program; if not, write to the Free Software
16
# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
17
18
# Module: parse_tute
19
# Author: Dilshan Angampitiya
20
# Date: 24/1/2008
21
22
"""
23
This file provides the function parse_tutorial_file which takes an
24
xml specification of a tutorial problem file and returns a test suite object
25
for that problem. It throws a ParseException if there was a problem parsing
26
the file.
27
"""
28
29
from xml.dom.minidom import *
30
from TestFramework import *
31
32
DEFAULT_TEST_TYPE = 'norm'
33
DEFAULT_CASE_TYPE = 'match'
34
35
class ParseException(Exception):
36
" Error when parsing the xml problem file "
37
def __init___(self, reason):
38
self._reason = reason
39
40
def __str__(self):
41
return self._reason
42
43
def getTextData(element):
44
""" Get the text and cdata inside an element
45
Leading and trailing whitespace are stripped
46
"""
47
data = ''
48
for child in element.childNodes:
49
if child.nodeType == child.CDATA_SECTION_NODE:
50
data += child.data
51
if child.nodeType == child.TEXT_NODE:
52
data += child.data
53
54
return data.strip()
55
56
def getCasePartData(partNode):
57
""" Create an TestCasePart instance from test part xml data
58
"""
59
60
func_desc = partNode.getAttribute('desc')
61
func_pass = partNode.getAttribute('pass')
62
func_fail = partNode.getAttribute('fail')
63
if not func_pass:
64
func_pass = func_desc
65
if not func_fail:
66
func_fail = func_desc
67
default = partNode.getAttribute('default')
68
if default == '': default = DEFAULT_CASE_TYPE
69
70
part = TestCasePart(func_pass, func_fail, default)
71
72
for child in partNode.childNodes:
73
if child.nodeType != child.ELEMENT_NODE:
74
continue
75
76
if child.tagName == 'stdout':
77
test_type = child.getAttribute('type')
78
if test_type == '': test_type = DEFAULT_TEST_TYPE
79
part.add_stdout_test(getTextData(child), test_type)
80
elif child.tagName == 'stderr':
81
test_type = child.getAttribute('type')
82
if test_type == '': test_type = DEFAULT_TEST_TYPE
83
part.add_stderr_test(getTextData(child), test_type)
84
elif child.tagName == 'exception':
85
test_type = child.getAttribute('type')
86
if test_type == '': test_type = DEFAULT_TEST_TYPE
87
part.add_exception_test(getTextData(child), test_type)
88
elif child.tagName == 'file':
89
test_type = child.getAttribute('type')
90
if test_type == '': test_type = DEFAULT_TEST_TYPE
91
filename = child.getAttribute('name')
92
if filename == '':
93
raise ParseException("File without name in case %s" %case_name)
94
part.add_file_test(filename, getTextData(child), test_type)
95
elif child.tagName == 'code':
96
test_type = child.getAttribute('type')
97
if test_type == '': test_type = DEFAULT_TEST_TYPE
98
part.add_code_test(getTextData(child), test_type)
99
100
return part
101
102
def getCaseData(caseNode):
103
""" Creare a TestCase instance from test case xml data
104
"""
105
106
case_name = caseNode.getAttribute('name')
107
function = caseNode.getAttribute('function')
108
if function == '': function = None
109
case = TestCase(case_name, function)
110
111
for child in caseNode.childNodes:
112
if child.nodeType != child.ELEMENT_NODE:
113
continue
114
115
if child.tagName == 'stdin':
116
# standard input
117
case.set_stdin(getTextData(child))
118
elif child.tagName == 'file':
119
# file
120
filename = child.getAttribute('name')
121
if filename == '':
122
raise ParseException("File without name in case %s" %case_name)
123
case.add_file(filename, getTextData(child))
124
elif child.tagName == 'var':
125
# global variable
126
var_name = child.getAttribute('name')
127
var_val = child.getAttribute('value')
128
if not var_name or not var_val:
129
raise ParseException("Incomplete variable in case %s" %case_name)
130
case.add_variable(var_name, var_val)
131
elif child.tagName == 'arg':
132
# function argument
133
arg_val = child.getAttribute('value')
134
arg_name = child.getAttribute('name')
135
if arg_name == '': arg_name = None
136
137
if not arg_val:
138
raise ParseException("Incomplete argument in case %s" %case_name)
139
case.add_arg(arg_val, arg_name)
140
elif child.tagName == 'exception':
141
exception_name = child.getAttribute('name')
142
if not exception_name:
143
raise ParseException("Incomplete exception in case %s" %case_name)
144
case.add_exception(exception_name)
145
elif child.tagName == 'function':
146
# specify a test case part
147
case.add_part(getCasePartData(child))
148
149
return case
150
151
def parse_tutorial_file(filename, prob_num=1):
152
""" Parse an xml problem file and return a testsuite for that problem """
153
dom = parse(filename)
154
155
# get problem
156
count = 0
157
problem = None
158
for child in dom.childNodes:
159
if child.nodeType == child.ELEMENT_NODE and child.tagName == 'problem':
160
count += 1
161
if count == prob_num:
162
problem = child
163
break
164
165
if problem == None:
166
raise ParseException("Not enough problems")
167
168
# get name
169
problem_name = problem.getAttribute('name')
170
171
if not problem_name:
172
raise ParseException('Problem name not supplied')
173
174
problem_suite = TestSuite(problem_name)
175
176
# get solution and include info
177
for child in problem.childNodes:
178
if child.nodeType != child.ELEMENT_NODE:
179
continue
180
if child.tagName == 'solution':
181
problem_suite.add_solution(getTextData(child))
182
elif child.tagName == 'include':
183
problem_suite.add_include_code(getTextData(child))
184
elif child.tagName == 'case':
185
problem_suite.add_case(getCaseData(child))
186
187
return problem_suite
188
Loggerhead is a web-based interface for Breezy
Version: 2.0.1