(dom)
| 45 | return file.read().decode() |
| 46 | |
| 47 | def extract_number(dom): |
| 48 | elements = dom.getElementsByTagName('number') |
| 49 | assert len(elements) == 1, 'XML Error' |
| 50 | number = elements[0] |
| 51 | assert len(number.childNodes) == 1, 'XML Error' |
| 52 | child = number.childNodes[0] |
| 53 | assert child.nodeType == child.TEXT_NODE, 'XML Error' |
| 54 | return child.nodeValue |
| 55 | |
| 56 | ################################################################################ |
| 57 |