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 Fri Dec 23 12:30:41 2011 | http://epydoc.sourceforge.net |