| 63 | } |
| 64 | |
| 65 | std::string |
| 66 | BacktraceElement::to_string() const |
| 67 | { |
| 68 | if (line > 0) { |
| 69 | if (! more_info.empty ()) { |
| 70 | return file + ":" + tl::to_string (line) + ":" + more_info; |
| 71 | } else { |
| 72 | return file + ":" + tl::to_string (line); |
| 73 | } |
| 74 | } else { |
| 75 | return more_info; |
| 76 | } |
| 77 | } |
| 78 | |
| 79 | // ------------------------------------------------------------------- |
| 80 | // ScriptError implementation |