| gov.nasa.jpf.XMLTraceHandler
All known Subclasses: gov.nasa.jpf.jvm.JVMXMLTraceHandler,
| XMLTraceHandler | | public interface XMLTraceHandler (Code) | | interface for JPF specific SAX parser to read in XML error traces
Note that the concrete XMLTraceHandler implementation is stored in the trace itself
and gets instantiated via reflection
|
| characters | | void characters(char[] text, int start, int length)(Code) | | |
| getPath | | Path getPath()(Code) | | return a Path object once the parsing is done
|
|
|