| Home | Trees | Indices | Help |
|---|
|
|
object --+
|
extension.Extension --+
|
result_reader.ResultReader --+
|
file_result_reader.FileResultReader --+
|
XMLResultReader
Reads in 'Result's from an XML-formatted results file.
To write such a file, see 'XMLResultStream'.
|
|||
|
Inherited from Inherited from |
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
Inherited from Inherited from Inherited from |
|||
|
|||
|
Inherited from Inherited from Inherited from Inherited from |
|||
|
|||
|
Inherited from |
|||
|
|||
Construct a new 'FileResultReader'. 'arguments' -- As for 'ResultReader'. If the file provided is not in the input format expected by this result reader, the derived class '__init__' function must raise an 'InvalidStream' exception.
|
Return this run's dictionary of annotations.
|
Return the next 'Result' from this reader. returns -- A 'Result', or 'None' if there are no more results.
|
Extract a result from a DOM node. 'node' -- A DOM node corresponding to a "result" element. returns -- A 'Result' object. |
| Home | Trees | Indices | Help |
|---|
| Generated by Epydoc 3.0.1 on Tue Dec 16 22:13:44 2008 | http://epydoc.sourceforge.net |