schema/json/Position.json


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

{
  "title": "Position",
  "$ref": "#/definitions/src__continuedev__models__main__Position",
  "definitions": {
    "src__continuedev__models__main__Position": {
      "title": "Position",
      "type": "object",
      "properties": {
        "line": {
          "title": "Line",
          "type": "integer"
        },
        "character": {
          "title": "Character",
          "type": "integer"
        }
      },
      "required": [
        "line",
        "character"
      ]
    }
  }
}