{
  "title": "RangeInFile",
  "$ref": "#/definitions/src__continuedev__models__filesystem__RangeInFile",
  "definitions": {
    "Position": {
      "title": "Position",
      "type": "object",
      "properties": {
        "line": {
          "title": "Line",
          "type": "integer"
        },
        "character": {
          "title": "Character",
          "type": "integer"
        }
      },
      "required": [
        "line",
        "character"
      ]
    },
    "Range": {
      "title": "Range",
      "description": "A range in a file. 0-indexed.",
      "type": "object",
      "properties": {
        "start": {
          "$ref": "#/definitions/Position"
        },
        "end": {
          "$ref": "#/definitions/Position"
        }
      },
      "required": [
        "start",
        "end"
      ]
    },
    "src__continuedev__models__filesystem__RangeInFile": {
      "title": "RangeInFile",
      "type": "object",
      "properties": {
        "filepath": {
          "title": "Filepath",
          "type": "string"
        },
        "range": {
          "$ref": "#/definitions/Range"
        }
      },
      "required": [
        "filepath",
        "range"
      ]
    }
  }
}