| >>> |
| return JSON.encode((span == null) |
| ? [{'method': kind, 'params': {'message': entry.message}}] |
| : [ |
| { |
| 'method': kind, |
| 'params': { |
| 'file': span.sourceUrl.toString(), |
| 'message': entry.message, |
| 'line': span.start.line + 1, |
| 'charStart': span.start.offset, |
| 'charEnd': span.end.offset, |
| } |
| } |
| ]); |
| <<< |
| return JSON.encode((span == null) |
| ? [ |
| { |
| 'method': kind, |
| 'params': {'message': entry.message} |
| } |
| ] |
| : [ |
| { |
| 'method': kind, |
| 'params': { |
| 'file': span.sourceUrl.toString(), |
| 'message': entry.message, |
| 'line': span.start.line + 1, |
| 'charStart': span.start.offset, |
| 'charEnd': span.end.offset, |
| } |
| } |
| ]); |