EditRequest.insert constructor

EditRequest.insert(
  1. String filePath,
  2. int line,
  3. int column,
  4. String text,
)

Convenience: create an insertion at a position.

Implementation

factory EditRequest.insert(
  String filePath,
  int line,
  int column,
  String text,
) => EditRequest(
  filePath: filePath,
  startLine: line,
  startColumn: column,
  endLine: line,
  endColumn: column,
  newText: text,
);