From f53768612b1e2268697b5444e502032ef9f3fb3c Mon Sep 17 00:00:00 2001 From: Nate Sesti Date: Tue, 23 May 2023 23:45:12 -0400 Subject: copying from old repo --- schema/json/Position.json | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 schema/json/Position.json (limited to 'schema/json/Position.json') diff --git a/schema/json/Position.json b/schema/json/Position.json new file mode 100644 index 00000000..e550572e --- /dev/null +++ b/schema/json/Position.json @@ -0,0 +1,24 @@ +{ + "title": "Position", + "$ref": "#/definitions/continuedev__src__continuedev__models__main__Position", + "definitions": { + "continuedev__src__continuedev__models__main__Position": { + "title": "Position", + "type": "object", + "properties": { + "line": { + "title": "Line", + "type": "integer" + }, + "character": { + "title": "Character", + "type": "integer" + } + }, + "required": [ + "line", + "character" + ] + } + } +} \ No newline at end of file -- cgit v1.2.3-70-g09d2