Convert data into xml string */
| 911 | |
| 912 | /** Convert data into xml string */ |
| 913 | std::string toString() const override |
| 914 | { |
| 915 | std::string xml; |
| 916 | if (!unsafeArrayIndex.empty()) |
| 917 | xml = " <array-index>\n" + CTU::toString(unsafeArrayIndex) + " </array-index>\n"; |
| 918 | if (!unsafePointerArith.empty()) |
| 919 | xml += " <pointer-arith>\n" + CTU::toString(unsafePointerArith) + " </pointer-arith>\n"; |
| 920 | return xml; |
| 921 | } |
| 922 | }; |
| 923 | } |
| 924 |