module author Paolo Masci
 *  date copyright import { Connection , TextDocument , Position , Range , CancellationToken } from 'vscode-languageserver' ; import { PvsProcess } from '../pvsProcess' ; export class PvsRangeFormattingProvider { connection : Connection ; private pvsProcess : PvsProcess ; constructor param pvsProcess constructor ( pvsProcess ) { this . pvsProcess = pvsProcess ; } }