| 194 | } |
| 195 | |
| 196 | static TextPosition parsePosition( const json& m ) { |
| 197 | auto line = m[MEMBER_LINE].get<int>(); |
| 198 | auto column = m[MEMBER_CHARACTER].get<int>(); |
| 199 | return { line, column }; |
| 200 | } |
| 201 | |
| 202 | static TextRange parseRange( const json& range ) { |
| 203 | auto startpos = parsePosition( range[MEMBER_START] ); |
no outgoing calls
no test coverage detected