| 14 | } |
| 15 | |
| 16 | graphml_dumper::graphml_dumper(ostream &out) |
| 17 | : o(out) |
| 18 | { |
| 19 | o << "<?xml version=\"1.0\" encoding=\"UTF-8\"?>" << endl << |
| 20 | "<graphml xmlns=\"http://graphml.graphdrawing.org/xmlns\" " << |
| 21 | "xmlns:xsi=\"http://www.w3.org/2001/XMLSchema-instance\" " << |
| 22 | "xsi:schemaLocation=\"http://graphml.graphdrawing.org/xmlns " << |
| 23 | "http://graphml.graphdrawing.org/xmlns/1.0/graphml.xsd\">" << endl; |
| 24 | |
| 25 | o << "<key id=\"retries\" for=\"node\" " |
| 26 | "attr.name=\"retries\" attr.type=\"double\" />" << endl; |
| 27 | o << "<key id=\"label\" for=\"node\" " |
| 28 | "attr.name=\"label\" attr.type=\"string\" />" << endl; |
| 29 | o << "<key id=\"scope\" for=\"node\" " |
| 30 | "attr.name=\"scope\" attr.type=\"string\" />" << endl; |
| 31 | |
| 32 | o << "<graph id=\"ast\" edgedefault=\"directed\">" << endl; |
| 33 | |
| 34 | } |
| 35 | |
| 36 | void graphml_dumper::visit(struct prod *p) |
| 37 | { |
nothing calls this directly
no outgoing calls
no test coverage detected