import * as vscode from "vscode" ; export function rangeToString ( range ) { if ( ! range ) { return "[]" ; } else { return `[${ range . start . line + 1 },${ range . start . character + 1 }` + `-${ range . end . line + 1 },${ range . end . character + 1 }]` ; } } export function positionToString ( position ) { if ( ! position ) { return "[]" ; } else { return `[${ position . line + 1 },${ position . character + 1 }]` ; } }