summaryrefslogtreecommitdiff
path: root/schema
diff options
context:
space:
mode:
authorNate Sesti <sestinj@gmail.com>2023-08-20 20:02:07 -0700
committerNate Sesti <sestinj@gmail.com>2023-08-20 20:02:07 -0700
commitc98f860460767fe14f8fbf139150b1bd1ee2ff12 (patch)
tree6a88fb4aaa733892d9409324f66505c4263c7c19 /schema
parent84ec574e182ec441e95d13c3543a934e0a036228 (diff)
downloadsncontinue-c98f860460767fe14f8fbf139150b1bd1ee2ff12.tar.gz
sncontinue-c98f860460767fe14f8fbf139150b1bd1ee2ff12.tar.bz2
sncontinue-c98f860460767fe14f8fbf139150b1bd1ee2ff12.zip
feat: :sparkles: saved context groups
Diffstat (limited to 'schema')
-rw-r--r--schema/json/ContextItem.json150
-rw-r--r--schema/json/FileEdit.json124
-rw-r--r--schema/json/FileEditWithFullContents.json158
-rw-r--r--schema/json/FullState.json653
-rw-r--r--schema/json/History.json320
-rw-r--r--schema/json/HistoryNode.json276
-rw-r--r--schema/json/Position.json46
-rw-r--r--schema/json/Range.json80
-rw-r--r--schema/json/RangeInFile.json114
-rw-r--r--schema/json/SessionInfo.json56
-rw-r--r--schema/json/Traceback.json124
-rw-r--r--schema/json/TracebackFrame.json64
12 files changed, 1088 insertions, 1077 deletions
diff --git a/schema/json/ContextItem.json b/schema/json/ContextItem.json
index 67dfcadc..32a214d3 100644
--- a/schema/json/ContextItem.json
+++ b/schema/json/ContextItem.json
@@ -1,76 +1,76 @@
-{
- "title": "ContextItem",
- "$ref": "#/definitions/src__continuedev__core__main__ContextItem",
- "definitions": {
- "ContextItemId": {
- "title": "ContextItemId",
- "description": "A ContextItemId is a unique identifier for a ContextItem.",
- "type": "object",
- "properties": {
- "provider_title": {
- "title": "Provider Title",
- "type": "string"
- },
- "item_id": {
- "title": "Item Id",
- "type": "string"
- }
- },
- "required": [
- "provider_title",
- "item_id"
- ]
- },
- "ContextItemDescription": {
- "title": "ContextItemDescription",
- "description": "A ContextItemDescription is a description of a ContextItem that is displayed to the user when they type '@'.\n\nThe id can be used to retrieve the ContextItem from the ContextManager.",
- "type": "object",
- "properties": {
- "name": {
- "title": "Name",
- "type": "string"
- },
- "description": {
- "title": "Description",
- "type": "string"
- },
- "id": {
- "$ref": "#/definitions/ContextItemId"
- }
- },
- "required": [
- "name",
- "description",
- "id"
- ]
- },
- "src__continuedev__core__main__ContextItem": {
- "title": "ContextItem",
- "description": "A ContextItem is a single item that is stored in the ContextManager.",
- "type": "object",
- "properties": {
- "description": {
- "$ref": "#/definitions/ContextItemDescription"
- },
- "content": {
- "title": "Content",
- "type": "string"
- },
- "editing": {
- "title": "Editing",
- "default": false,
- "type": "boolean"
- },
- "editable": {
- "title": "Editable",
- "default": false,
- "type": "boolean"
- }
- },
- "required": [
- "description",
- "content"
- ]
- }
- }
+{
+ "title": "ContextItem",
+ "$ref": "#/definitions/src__continuedev__core__main__ContextItem",
+ "definitions": {
+ "ContextItemId": {
+ "title": "ContextItemId",
+ "description": "A ContextItemId is a unique identifier for a ContextItem.",
+ "type": "object",
+ "properties": {
+ "provider_title": {
+ "title": "Provider Title",
+ "type": "string"
+ },
+ "item_id": {
+ "title": "Item Id",
+ "type": "string"
+ }
+ },
+ "required": [
+ "provider_title",
+ "item_id"
+ ]
+ },
+ "ContextItemDescription": {
+ "title": "ContextItemDescription",
+ "description": "A ContextItemDescription is a description of a ContextItem that is displayed to the user when they type '@'.\n\nThe id can be used to retrieve the ContextItem from the ContextManager.",
+ "type": "object",
+ "properties": {
+ "name": {
+ "title": "Name",
+ "type": "string"
+ },
+ "description": {
+ "title": "Description",
+ "type": "string"
+ },
+ "id": {
+ "$ref": "#/definitions/ContextItemId"
+ }
+ },
+ "required": [
+ "name",
+ "description",
+ "id"
+ ]
+ },
+ "src__continuedev__core__main__ContextItem": {
+ "title": "ContextItem",
+ "description": "A ContextItem is a single item that is stored in the ContextManager.",
+ "type": "object",
+ "properties": {
+ "description": {
+ "$ref": "#/definitions/ContextItemDescription"
+ },
+ "content": {
+ "title": "Content",
+ "type": "string"
+ },
+ "editing": {
+ "title": "Editing",
+ "default": false,
+ "type": "boolean"
+ },
+ "editable": {
+ "title": "Editable",
+ "default": false,
+ "type": "boolean"
+ }
+ },
+ "required": [
+ "description",
+ "content"
+ ]
+ }
+ }
} \ No newline at end of file
diff --git a/schema/json/FileEdit.json b/schema/json/FileEdit.json
index 4247c096..011e0462 100644
--- a/schema/json/FileEdit.json
+++ b/schema/json/FileEdit.json
@@ -1,63 +1,63 @@
-{
- "title": "FileEdit",
- "$ref": "#/definitions/src__continuedev__models__filesystem_edit__FileEdit",
- "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_edit__FileEdit": {
- "title": "FileEdit",
- "type": "object",
- "properties": {
- "filepath": {
- "title": "Filepath",
- "type": "string"
- },
- "range": {
- "$ref": "#/definitions/Range"
- },
- "replacement": {
- "title": "Replacement",
- "type": "string"
- }
- },
- "required": [
- "filepath",
- "range",
- "replacement"
- ]
- }
- }
+{
+ "title": "FileEdit",
+ "$ref": "#/definitions/src__continuedev__models__filesystem_edit__FileEdit",
+ "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_edit__FileEdit": {
+ "title": "FileEdit",
+ "type": "object",
+ "properties": {
+ "filepath": {
+ "title": "Filepath",
+ "type": "string"
+ },
+ "range": {
+ "$ref": "#/definitions/Range"
+ },
+ "replacement": {
+ "title": "Replacement",
+ "type": "string"
+ }
+ },
+ "required": [
+ "filepath",
+ "range",
+ "replacement"
+ ]
+ }
+ }
} \ No newline at end of file
diff --git a/schema/json/FileEditWithFullContents.json b/schema/json/FileEditWithFullContents.json
index 8394af17..2ea75bab 100644
--- a/schema/json/FileEditWithFullContents.json
+++ b/schema/json/FileEditWithFullContents.json
@@ -1,80 +1,80 @@
-{
- "title": "FileEditWithFullContents",
- "$ref": "#/definitions/src__continuedev__models__filesystem_edit__FileEditWithFullContents",
- "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"
- ]
- },
- "FileEdit": {
- "title": "FileEdit",
- "type": "object",
- "properties": {
- "filepath": {
- "title": "Filepath",
- "type": "string"
- },
- "range": {
- "$ref": "#/definitions/Range"
- },
- "replacement": {
- "title": "Replacement",
- "type": "string"
- }
- },
- "required": [
- "filepath",
- "range",
- "replacement"
- ]
- },
- "src__continuedev__models__filesystem_edit__FileEditWithFullContents": {
- "title": "FileEditWithFullContents",
- "type": "object",
- "properties": {
- "fileEdit": {
- "$ref": "#/definitions/FileEdit"
- },
- "fileContents": {
- "title": "Filecontents",
- "type": "string"
- }
- },
- "required": [
- "fileEdit",
- "fileContents"
- ]
- }
- }
+{
+ "title": "FileEditWithFullContents",
+ "$ref": "#/definitions/src__continuedev__models__filesystem_edit__FileEditWithFullContents",
+ "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"
+ ]
+ },
+ "FileEdit": {
+ "title": "FileEdit",
+ "type": "object",
+ "properties": {
+ "filepath": {
+ "title": "Filepath",
+ "type": "string"
+ },
+ "range": {
+ "$ref": "#/definitions/Range"
+ },
+ "replacement": {
+ "title": "Replacement",
+ "type": "string"
+ }
+ },
+ "required": [
+ "filepath",
+ "range",
+ "replacement"
+ ]
+ },
+ "src__continuedev__models__filesystem_edit__FileEditWithFullContents": {
+ "title": "FileEditWithFullContents",
+ "type": "object",
+ "properties": {
+ "fileEdit": {
+ "$ref": "#/definitions/FileEdit"
+ },
+ "fileContents": {
+ "title": "Filecontents",
+ "type": "string"
+ }
+ },
+ "required": [
+ "fileEdit",
+ "fileContents"
+ ]
+ }
+ }
} \ No newline at end of file
diff --git a/schema/json/FullState.json b/schema/json/FullState.json
index 707b03db..99d5128b 100644
--- a/schema/json/FullState.json
+++ b/schema/json/FullState.json
@@ -1,322 +1,333 @@
-{
- "title": "FullState",
- "$ref": "#/definitions/src__continuedev__core__main__FullState",
- "definitions": {
- "FunctionCall": {
- "title": "FunctionCall",
- "type": "object",
- "properties": {
- "name": {
- "title": "Name",
- "type": "string"
- },
- "arguments": {
- "title": "Arguments",
- "type": "string"
- }
- },
- "required": [
- "name",
- "arguments"
- ]
- },
- "ChatMessage": {
- "title": "ChatMessage",
- "type": "object",
- "properties": {
- "role": {
- "title": "Role",
- "enum": [
- "assistant",
- "user",
- "system",
- "function"
- ],
- "type": "string"
- },
- "content": {
- "title": "Content",
- "type": "string"
- },
- "name": {
- "title": "Name",
- "type": "string"
- },
- "summary": {
- "title": "Summary",
- "type": "string"
- },
- "function_call": {
- "$ref": "#/definitions/FunctionCall"
- }
- },
- "required": [
- "role",
- "summary"
- ]
- },
- "Step": {
- "title": "Step",
- "type": "object",
- "properties": {
- "name": {
- "title": "Name",
- "type": "string"
- },
- "hide": {
- "title": "Hide",
- "default": false,
- "type": "boolean"
- },
- "description": {
- "title": "Description",
- "type": "string"
- },
- "system_message": {
- "title": "System Message",
- "type": "string"
- },
- "chat_context": {
- "title": "Chat Context",
- "default": [],
- "type": "array",
- "items": {
- "$ref": "#/definitions/ChatMessage"
- }
- },
- "manage_own_chat_context": {
- "title": "Manage Own Chat Context",
- "default": false,
- "type": "boolean"
- }
- }
- },
- "Observation": {
- "title": "Observation",
- "type": "object",
- "properties": {}
- },
- "HistoryNode": {
- "title": "HistoryNode",
- "description": "A point in history, a list of which make up History",
- "type": "object",
- "properties": {
- "step": {
- "$ref": "#/definitions/Step"
- },
- "observation": {
- "$ref": "#/definitions/Observation"
- },
- "depth": {
- "title": "Depth",
- "type": "integer"
- },
- "deleted": {
- "title": "Deleted",
- "default": false,
- "type": "boolean"
- },
- "active": {
- "title": "Active",
- "default": true,
- "type": "boolean"
- },
- "logs": {
- "title": "Logs",
- "default": [],
- "type": "array",
- "items": {
- "type": "string"
- }
- }
- },
- "required": [
- "step",
- "depth"
- ]
- },
- "History": {
- "title": "History",
- "description": "A history of steps taken and their results",
- "type": "object",
- "properties": {
- "timeline": {
- "title": "Timeline",
- "type": "array",
- "items": {
- "$ref": "#/definitions/HistoryNode"
- }
- },
- "current_index": {
- "title": "Current Index",
- "type": "integer"
- }
- },
- "required": [
- "timeline",
- "current_index"
- ]
- },
- "SlashCommandDescription": {
- "title": "SlashCommandDescription",
- "type": "object",
- "properties": {
- "name": {
- "title": "Name",
- "type": "string"
- },
- "description": {
- "title": "Description",
- "type": "string"
- }
- },
- "required": [
- "name",
- "description"
- ]
- },
- "ContextItemId": {
- "title": "ContextItemId",
- "description": "A ContextItemId is a unique identifier for a ContextItem.",
- "type": "object",
- "properties": {
- "provider_title": {
- "title": "Provider Title",
- "type": "string"
- },
- "item_id": {
- "title": "Item Id",
- "type": "string"
- }
- },
- "required": [
- "provider_title",
- "item_id"
- ]
- },
- "ContextItemDescription": {
- "title": "ContextItemDescription",
- "description": "A ContextItemDescription is a description of a ContextItem that is displayed to the user when they type '@'.\n\nThe id can be used to retrieve the ContextItem from the ContextManager.",
- "type": "object",
- "properties": {
- "name": {
- "title": "Name",
- "type": "string"
- },
- "description": {
- "title": "Description",
- "type": "string"
- },
- "id": {
- "$ref": "#/definitions/ContextItemId"
- }
- },
- "required": [
- "name",
- "description",
- "id"
- ]
- },
- "ContextItem": {
- "title": "ContextItem",
- "description": "A ContextItem is a single item that is stored in the ContextManager.",
- "type": "object",
- "properties": {
- "description": {
- "$ref": "#/definitions/ContextItemDescription"
- },
- "content": {
- "title": "Content",
- "type": "string"
- },
- "editing": {
- "title": "Editing",
- "default": false,
- "type": "boolean"
- },
- "editable": {
- "title": "Editable",
- "default": false,
- "type": "boolean"
- }
- },
- "required": [
- "description",
- "content"
- ]
- },
- "SessionInfo": {
- "title": "SessionInfo",
- "type": "object",
- "properties": {
- "session_id": {
- "title": "Session Id",
- "type": "string"
- },
- "title": {
- "title": "Title",
- "type": "string"
- },
- "date_created": {
- "title": "Date Created",
- "type": "string"
- }
- },
- "required": [
- "session_id",
- "title",
- "date_created"
- ]
- },
- "src__continuedev__core__main__FullState": {
- "title": "FullState",
- "description": "A full state of the program, including the history",
- "type": "object",
- "properties": {
- "history": {
- "$ref": "#/definitions/History"
- },
- "active": {
- "title": "Active",
- "type": "boolean"
- },
- "user_input_queue": {
- "title": "User Input Queue",
- "type": "array",
- "items": {
- "type": "string"
- }
- },
- "slash_commands": {
- "title": "Slash Commands",
- "type": "array",
- "items": {
- "$ref": "#/definitions/SlashCommandDescription"
- }
- },
- "adding_highlighted_code": {
- "title": "Adding Highlighted Code",
- "type": "boolean"
- },
- "selected_context_items": {
- "title": "Selected Context Items",
- "type": "array",
- "items": {
- "$ref": "#/definitions/ContextItem"
- }
- },
- "session_info": {
- "$ref": "#/definitions/SessionInfo"
- }
- },
- "required": [
- "history",
- "active",
- "user_input_queue",
- "slash_commands",
- "adding_highlighted_code",
- "selected_context_items"
- ]
- }
- }
+{
+ "title": "FullState",
+ "$ref": "#/definitions/src__continuedev__core__main__FullState",
+ "definitions": {
+ "FunctionCall": {
+ "title": "FunctionCall",
+ "type": "object",
+ "properties": {
+ "name": {
+ "title": "Name",
+ "type": "string"
+ },
+ "arguments": {
+ "title": "Arguments",
+ "type": "string"
+ }
+ },
+ "required": [
+ "name",
+ "arguments"
+ ]
+ },
+ "ChatMessage": {
+ "title": "ChatMessage",
+ "type": "object",
+ "properties": {
+ "role": {
+ "title": "Role",
+ "enum": [
+ "assistant",
+ "user",
+ "system",
+ "function"
+ ],
+ "type": "string"
+ },
+ "content": {
+ "title": "Content",
+ "type": "string"
+ },
+ "name": {
+ "title": "Name",
+ "type": "string"
+ },
+ "summary": {
+ "title": "Summary",
+ "type": "string"
+ },
+ "function_call": {
+ "$ref": "#/definitions/FunctionCall"
+ }
+ },
+ "required": [
+ "role",
+ "summary"
+ ]
+ },
+ "Step": {
+ "title": "Step",
+ "type": "object",
+ "properties": {
+ "name": {
+ "title": "Name",
+ "type": "string"
+ },
+ "hide": {
+ "title": "Hide",
+ "default": false,
+ "type": "boolean"
+ },
+ "description": {
+ "title": "Description",
+ "type": "string"
+ },
+ "system_message": {
+ "title": "System Message",
+ "type": "string"
+ },
+ "chat_context": {
+ "title": "Chat Context",
+ "default": [],
+ "type": "array",
+ "items": {
+ "$ref": "#/definitions/ChatMessage"
+ }
+ },
+ "manage_own_chat_context": {
+ "title": "Manage Own Chat Context",
+ "default": false,
+ "type": "boolean"
+ }
+ }
+ },
+ "Observation": {
+ "title": "Observation",
+ "type": "object",
+ "properties": {}
+ },
+ "HistoryNode": {
+ "title": "HistoryNode",
+ "description": "A point in history, a list of which make up History",
+ "type": "object",
+ "properties": {
+ "step": {
+ "$ref": "#/definitions/Step"
+ },
+ "observation": {
+ "$ref": "#/definitions/Observation"
+ },
+ "depth": {
+ "title": "Depth",
+ "type": "integer"
+ },
+ "deleted": {
+ "title": "Deleted",
+ "default": false,
+ "type": "boolean"
+ },
+ "active": {
+ "title": "Active",
+ "default": true,
+ "type": "boolean"
+ },
+ "logs": {
+ "title": "Logs",
+ "default": [],
+ "type": "array",
+ "items": {
+ "type": "string"
+ }
+ }
+ },
+ "required": [
+ "step",
+ "depth"
+ ]
+ },
+ "History": {
+ "title": "History",
+ "description": "A history of steps taken and their results",
+ "type": "object",
+ "properties": {
+ "timeline": {
+ "title": "Timeline",
+ "type": "array",
+ "items": {
+ "$ref": "#/definitions/HistoryNode"
+ }
+ },
+ "current_index": {
+ "title": "Current Index",
+ "type": "integer"
+ }
+ },
+ "required": [
+ "timeline",
+ "current_index"
+ ]
+ },
+ "SlashCommandDescription": {
+ "title": "SlashCommandDescription",
+ "type": "object",
+ "properties": {
+ "name": {
+ "title": "Name",
+ "type": "string"
+ },
+ "description": {
+ "title": "Description",
+ "type": "string"
+ }
+ },
+ "required": [
+ "name",
+ "description"
+ ]
+ },
+ "ContextItemId": {
+ "title": "ContextItemId",
+ "description": "A ContextItemId is a unique identifier for a ContextItem.",
+ "type": "object",
+ "properties": {
+ "provider_title": {
+ "title": "Provider Title",
+ "type": "string"
+ },
+ "item_id": {
+ "title": "Item Id",
+ "type": "string"
+ }
+ },
+ "required": [
+ "provider_title",
+ "item_id"
+ ]
+ },
+ "ContextItemDescription": {
+ "title": "ContextItemDescription",
+ "description": "A ContextItemDescription is a description of a ContextItem that is displayed to the user when they type '@'.\n\nThe id can be used to retrieve the ContextItem from the ContextManager.",
+ "type": "object",
+ "properties": {
+ "name": {
+ "title": "Name",
+ "type": "string"
+ },
+ "description": {
+ "title": "Description",
+ "type": "string"
+ },
+ "id": {
+ "$ref": "#/definitions/ContextItemId"
+ }
+ },
+ "required": [
+ "name",
+ "description",
+ "id"
+ ]
+ },
+ "ContextItem": {
+ "title": "ContextItem",
+ "description": "A ContextItem is a single item that is stored in the ContextManager.",
+ "type": "object",
+ "properties": {
+ "description": {
+ "$ref": "#/definitions/ContextItemDescription"
+ },
+ "content": {
+ "title": "Content",
+ "type": "string"
+ },
+ "editing": {
+ "title": "Editing",
+ "default": false,
+ "type": "boolean"
+ },
+ "editable": {
+ "title": "Editable",
+ "default": false,
+ "type": "boolean"
+ }
+ },
+ "required": [
+ "description",
+ "content"
+ ]
+ },
+ "SessionInfo": {
+ "title": "SessionInfo",
+ "type": "object",
+ "properties": {
+ "session_id": {
+ "title": "Session Id",
+ "type": "string"
+ },
+ "title": {
+ "title": "Title",
+ "type": "string"
+ },
+ "date_created": {
+ "title": "Date Created",
+ "type": "string"
+ }
+ },
+ "required": [
+ "session_id",
+ "title",
+ "date_created"
+ ]
+ },
+ "src__continuedev__core__main__FullState": {
+ "title": "FullState",
+ "description": "A full state of the program, including the history",
+ "type": "object",
+ "properties": {
+ "history": {
+ "$ref": "#/definitions/History"
+ },
+ "active": {
+ "title": "Active",
+ "type": "boolean"
+ },
+ "user_input_queue": {
+ "title": "User Input Queue",
+ "type": "array",
+ "items": {
+ "type": "string"
+ }
+ },
+ "slash_commands": {
+ "title": "Slash Commands",
+ "type": "array",
+ "items": {
+ "$ref": "#/definitions/SlashCommandDescription"
+ }
+ },
+ "adding_highlighted_code": {
+ "title": "Adding Highlighted Code",
+ "type": "boolean"
+ },
+ "selected_context_items": {
+ "title": "Selected Context Items",
+ "type": "array",
+ "items": {
+ "$ref": "#/definitions/ContextItem"
+ }
+ },
+ "session_info": {
+ "$ref": "#/definitions/SessionInfo"
+ },
+ "saved_context_groups": {
+ "title": "Saved Context Groups",
+ "default": {},
+ "type": "object",
+ "additionalProperties": {
+ "type": "array",
+ "items": {
+ "$ref": "#/definitions/ContextItem"
+ }
+ }
+ }
+ },
+ "required": [
+ "history",
+ "active",
+ "user_input_queue",
+ "slash_commands",
+ "adding_highlighted_code",
+ "selected_context_items"
+ ]
+ }
+ }
} \ No newline at end of file
diff --git a/schema/json/History.json b/schema/json/History.json
index ea97a2e8..56415520 100644
--- a/schema/json/History.json
+++ b/schema/json/History.json
@@ -1,161 +1,161 @@
-{
- "title": "History",
- "$ref": "#/definitions/src__continuedev__core__main__History",
- "definitions": {
- "FunctionCall": {
- "title": "FunctionCall",
- "type": "object",
- "properties": {
- "name": {
- "title": "Name",
- "type": "string"
- },
- "arguments": {
- "title": "Arguments",
- "type": "string"
- }
- },
- "required": [
- "name",
- "arguments"
- ]
- },
- "ChatMessage": {
- "title": "ChatMessage",
- "type": "object",
- "properties": {
- "role": {
- "title": "Role",
- "enum": [
- "assistant",
- "user",
- "system",
- "function"
- ],
- "type": "string"
- },
- "content": {
- "title": "Content",
- "type": "string"
- },
- "name": {
- "title": "Name",
- "type": "string"
- },
- "summary": {
- "title": "Summary",
- "type": "string"
- },
- "function_call": {
- "$ref": "#/definitions/FunctionCall"
- }
- },
- "required": [
- "role",
- "summary"
- ]
- },
- "Step": {
- "title": "Step",
- "type": "object",
- "properties": {
- "name": {
- "title": "Name",
- "type": "string"
- },
- "hide": {
- "title": "Hide",
- "default": false,
- "type": "boolean"
- },
- "description": {
- "title": "Description",
- "type": "string"
- },
- "system_message": {
- "title": "System Message",
- "type": "string"
- },
- "chat_context": {
- "title": "Chat Context",
- "default": [],
- "type": "array",
- "items": {
- "$ref": "#/definitions/ChatMessage"
- }
- },
- "manage_own_chat_context": {
- "title": "Manage Own Chat Context",
- "default": false,
- "type": "boolean"
- }
- }
- },
- "Observation": {
- "title": "Observation",
- "type": "object",
- "properties": {}
- },
- "HistoryNode": {
- "title": "HistoryNode",
- "description": "A point in history, a list of which make up History",
- "type": "object",
- "properties": {
- "step": {
- "$ref": "#/definitions/Step"
- },
- "observation": {
- "$ref": "#/definitions/Observation"
- },
- "depth": {
- "title": "Depth",
- "type": "integer"
- },
- "deleted": {
- "title": "Deleted",
- "default": false,
- "type": "boolean"
- },
- "active": {
- "title": "Active",
- "default": true,
- "type": "boolean"
- },
- "logs": {
- "title": "Logs",
- "default": [],
- "type": "array",
- "items": {
- "type": "string"
- }
- }
- },
- "required": [
- "step",
- "depth"
- ]
- },
- "src__continuedev__core__main__History": {
- "title": "History",
- "description": "A history of steps taken and their results",
- "type": "object",
- "properties": {
- "timeline": {
- "title": "Timeline",
- "type": "array",
- "items": {
- "$ref": "#/definitions/HistoryNode"
- }
- },
- "current_index": {
- "title": "Current Index",
- "type": "integer"
- }
- },
- "required": [
- "timeline",
- "current_index"
- ]
- }
- }
+{
+ "title": "History",
+ "$ref": "#/definitions/src__continuedev__core__main__History",
+ "definitions": {
+ "FunctionCall": {
+ "title": "FunctionCall",
+ "type": "object",
+ "properties": {
+ "name": {
+ "title": "Name",
+ "type": "string"
+ },
+ "arguments": {
+ "title": "Arguments",
+ "type": "string"
+ }
+ },
+ "required": [
+ "name",
+ "arguments"
+ ]
+ },
+ "ChatMessage": {
+ "title": "ChatMessage",
+ "type": "object",
+ "properties": {
+ "role": {
+ "title": "Role",
+ "enum": [
+ "assistant",
+ "user",
+ "system",
+ "function"
+ ],
+ "type": "string"
+ },
+ "content": {
+ "title": "Content",
+ "type": "string"
+ },
+ "name": {
+ "title": "Name",
+ "type": "string"
+ },
+ "summary": {
+ "title": "Summary",
+ "type": "string"
+ },
+ "function_call": {
+ "$ref": "#/definitions/FunctionCall"
+ }
+ },
+ "required": [
+ "role",
+ "summary"
+ ]
+ },
+ "Step": {
+ "title": "Step",
+ "type": "object",
+ "properties": {
+ "name": {
+ "title": "Name",
+ "type": "string"
+ },
+ "hide": {
+ "title": "Hide",
+ "default": false,
+ "type": "boolean"
+ },
+ "description": {
+ "title": "Description",
+ "type": "string"
+ },
+ "system_message": {
+ "title": "System Message",
+ "type": "string"
+ },
+ "chat_context": {
+ "title": "Chat Context",
+ "default": [],
+ "type": "array",
+ "items": {
+ "$ref": "#/definitions/ChatMessage"
+ }
+ },
+ "manage_own_chat_context": {
+ "title": "Manage Own Chat Context",
+ "default": false,
+ "type": "boolean"
+ }
+ }
+ },
+ "Observation": {
+ "title": "Observation",
+ "type": "object",
+ "properties": {}
+ },
+ "HistoryNode": {
+ "title": "HistoryNode",
+ "description": "A point in history, a list of which make up History",
+ "type": "object",
+ "properties": {
+ "step": {
+ "$ref": "#/definitions/Step"
+ },
+ "observation": {
+ "$ref": "#/definitions/Observation"
+ },
+ "depth": {
+ "title": "Depth",
+ "type": "integer"
+ },
+ "deleted": {
+ "title": "Deleted",
+ "default": false,
+ "type": "boolean"
+ },
+ "active": {
+ "title": "Active",
+ "default": true,
+ "type": "boolean"
+ },
+ "logs": {
+ "title": "Logs",
+ "default": [],
+ "type": "array",
+ "items": {
+ "type": "string"
+ }
+ }
+ },
+ "required": [
+ "step",
+ "depth"
+ ]
+ },
+ "src__continuedev__core__main__History": {
+ "title": "History",
+ "description": "A history of steps taken and their results",
+ "type": "object",
+ "properties": {
+ "timeline": {
+ "title": "Timeline",
+ "type": "array",
+ "items": {
+ "$ref": "#/definitions/HistoryNode"
+ }
+ },
+ "current_index": {
+ "title": "Current Index",
+ "type": "integer"
+ }
+ },
+ "required": [
+ "timeline",
+ "current_index"
+ ]
+ }
+ }
} \ No newline at end of file
diff --git a/schema/json/HistoryNode.json b/schema/json/HistoryNode.json
index 56ab631a..81e239b3 100644
--- a/schema/json/HistoryNode.json
+++ b/schema/json/HistoryNode.json
@@ -1,139 +1,139 @@
-{
- "title": "HistoryNode",
- "$ref": "#/definitions/src__continuedev__core__main__HistoryNode",
- "definitions": {
- "FunctionCall": {
- "title": "FunctionCall",
- "type": "object",
- "properties": {
- "name": {
- "title": "Name",
- "type": "string"
- },
- "arguments": {
- "title": "Arguments",
- "type": "string"
- }
- },
- "required": [
- "name",
- "arguments"
- ]
- },
- "ChatMessage": {
- "title": "ChatMessage",
- "type": "object",
- "properties": {
- "role": {
- "title": "Role",
- "enum": [
- "assistant",
- "user",
- "system",
- "function"
- ],
- "type": "string"
- },
- "content": {
- "title": "Content",
- "type": "string"
- },
- "name": {
- "title": "Name",
- "type": "string"
- },
- "summary": {
- "title": "Summary",
- "type": "string"
- },
- "function_call": {
- "$ref": "#/definitions/FunctionCall"
- }
- },
- "required": [
- "role",
- "summary"
- ]
- },
- "Step": {
- "title": "Step",
- "type": "object",
- "properties": {
- "name": {
- "title": "Name",
- "type": "string"
- },
- "hide": {
- "title": "Hide",
- "default": false,
- "type": "boolean"
- },
- "description": {
- "title": "Description",
- "type": "string"
- },
- "system_message": {
- "title": "System Message",
- "type": "string"
- },
- "chat_context": {
- "title": "Chat Context",
- "default": [],
- "type": "array",
- "items": {
- "$ref": "#/definitions/ChatMessage"
- }
- },
- "manage_own_chat_context": {
- "title": "Manage Own Chat Context",
- "default": false,
- "type": "boolean"
- }
- }
- },
- "Observation": {
- "title": "Observation",
- "type": "object",
- "properties": {}
- },
- "src__continuedev__core__main__HistoryNode": {
- "title": "HistoryNode",
- "description": "A point in history, a list of which make up History",
- "type": "object",
- "properties": {
- "step": {
- "$ref": "#/definitions/Step"
- },
- "observation": {
- "$ref": "#/definitions/Observation"
- },
- "depth": {
- "title": "Depth",
- "type": "integer"
- },
- "deleted": {
- "title": "Deleted",
- "default": false,
- "type": "boolean"
- },
- "active": {
- "title": "Active",
- "default": true,
- "type": "boolean"
- },
- "logs": {
- "title": "Logs",
- "default": [],
- "type": "array",
- "items": {
- "type": "string"
- }
- }
- },
- "required": [
- "step",
- "depth"
- ]
- }
- }
+{
+ "title": "HistoryNode",
+ "$ref": "#/definitions/src__continuedev__core__main__HistoryNode",
+ "definitions": {
+ "FunctionCall": {
+ "title": "FunctionCall",
+ "type": "object",
+ "properties": {
+ "name": {
+ "title": "Name",
+ "type": "string"
+ },
+ "arguments": {
+ "title": "Arguments",
+ "type": "string"
+ }
+ },
+ "required": [
+ "name",
+ "arguments"
+ ]
+ },
+ "ChatMessage": {
+ "title": "ChatMessage",
+ "type": "object",
+ "properties": {
+ "role": {
+ "title": "Role",
+ "enum": [
+ "assistant",
+ "user",
+ "system",
+ "function"
+ ],
+ "type": "string"
+ },
+ "content": {
+ "title": "Content",
+ "type": "string"
+ },
+ "name": {
+ "title": "Name",
+ "type": "string"
+ },
+ "summary": {
+ "title": "Summary",
+ "type": "string"
+ },
+ "function_call": {
+ "$ref": "#/definitions/FunctionCall"
+ }
+ },
+ "required": [
+ "role",
+ "summary"
+ ]
+ },
+ "Step": {
+ "title": "Step",
+ "type": "object",
+ "properties": {
+ "name": {
+ "title": "Name",
+ "type": "string"
+ },
+ "hide": {
+ "title": "Hide",
+ "default": false,
+ "type": "boolean"
+ },
+ "description": {
+ "title": "Description",
+ "type": "string"
+ },
+ "system_message": {
+ "title": "System Message",
+ "type": "string"
+ },
+ "chat_context": {
+ "title": "Chat Context",
+ "default": [],
+ "type": "array",
+ "items": {
+ "$ref": "#/definitions/ChatMessage"
+ }
+ },
+ "manage_own_chat_context": {
+ "title": "Manage Own Chat Context",
+ "default": false,
+ "type": "boolean"
+ }
+ }
+ },
+ "Observation": {
+ "title": "Observation",
+ "type": "object",
+ "properties": {}
+ },
+ "src__continuedev__core__main__HistoryNode": {
+ "title": "HistoryNode",
+ "description": "A point in history, a list of which make up History",
+ "type": "object",
+ "properties": {
+ "step": {
+ "$ref": "#/definitions/Step"
+ },
+ "observation": {
+ "$ref": "#/definitions/Observation"
+ },
+ "depth": {
+ "title": "Depth",
+ "type": "integer"
+ },
+ "deleted": {
+ "title": "Deleted",
+ "default": false,
+ "type": "boolean"
+ },
+ "active": {
+ "title": "Active",
+ "default": true,
+ "type": "boolean"
+ },
+ "logs": {
+ "title": "Logs",
+ "default": [],
+ "type": "array",
+ "items": {
+ "type": "string"
+ }
+ }
+ },
+ "required": [
+ "step",
+ "depth"
+ ]
+ }
+ }
} \ No newline at end of file
diff --git a/schema/json/Position.json b/schema/json/Position.json
index 20a8d4e8..6b272ce7 100644
--- a/schema/json/Position.json
+++ b/schema/json/Position.json
@@ -1,24 +1,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"
- ]
- }
- }
+{
+ "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"
+ ]
+ }
+ }
} \ No newline at end of file
diff --git a/schema/json/Range.json b/schema/json/Range.json
index b6867932..75675183 100644
--- a/schema/json/Range.json
+++ b/schema/json/Range.json
@@ -1,41 +1,41 @@
-{
- "title": "Range",
- "$ref": "#/definitions/src__continuedev__models__main__Range",
- "definitions": {
- "Position": {
- "title": "Position",
- "type": "object",
- "properties": {
- "line": {
- "title": "Line",
- "type": "integer"
- },
- "character": {
- "title": "Character",
- "type": "integer"
- }
- },
- "required": [
- "line",
- "character"
- ]
- },
- "src__continuedev__models__main__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"
- ]
- }
- }
+{
+ "title": "Range",
+ "$ref": "#/definitions/src__continuedev__models__main__Range",
+ "definitions": {
+ "Position": {
+ "title": "Position",
+ "type": "object",
+ "properties": {
+ "line": {
+ "title": "Line",
+ "type": "integer"
+ },
+ "character": {
+ "title": "Character",
+ "type": "integer"
+ }
+ },
+ "required": [
+ "line",
+ "character"
+ ]
+ },
+ "src__continuedev__models__main__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"
+ ]
+ }
+ }
} \ No newline at end of file
diff --git a/schema/json/RangeInFile.json b/schema/json/RangeInFile.json
index 4f6e030d..1f5afaa3 100644
--- a/schema/json/RangeInFile.json
+++ b/schema/json/RangeInFile.json
@@ -1,58 +1,58 @@
-{
- "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"
- ]
- }
- }
+{
+ "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"
+ ]
+ }
+ }
} \ No newline at end of file
diff --git a/schema/json/SessionInfo.json b/schema/json/SessionInfo.json
index e8d53fa1..5857a724 100644
--- a/schema/json/SessionInfo.json
+++ b/schema/json/SessionInfo.json
@@ -1,29 +1,29 @@
-{
- "title": "SessionInfo",
- "$ref": "#/definitions/src__continuedev__core__main__SessionInfo",
- "definitions": {
- "src__continuedev__core__main__SessionInfo": {
- "title": "SessionInfo",
- "type": "object",
- "properties": {
- "session_id": {
- "title": "Session Id",
- "type": "string"
- },
- "title": {
- "title": "Title",
- "type": "string"
- },
- "date_created": {
- "title": "Date Created",
- "type": "string"
- }
- },
- "required": [
- "session_id",
- "title",
- "date_created"
- ]
- }
- }
+{
+ "title": "SessionInfo",
+ "$ref": "#/definitions/src__continuedev__core__main__SessionInfo",
+ "definitions": {
+ "src__continuedev__core__main__SessionInfo": {
+ "title": "SessionInfo",
+ "type": "object",
+ "properties": {
+ "session_id": {
+ "title": "Session Id",
+ "type": "string"
+ },
+ "title": {
+ "title": "Title",
+ "type": "string"
+ },
+ "date_created": {
+ "title": "Date Created",
+ "type": "string"
+ }
+ },
+ "required": [
+ "session_id",
+ "title",
+ "date_created"
+ ]
+ }
+ }
} \ No newline at end of file
diff --git a/schema/json/Traceback.json b/schema/json/Traceback.json
index b140e104..45606a2b 100644
--- a/schema/json/Traceback.json
+++ b/schema/json/Traceback.json
@@ -1,63 +1,63 @@
-{
- "title": "Traceback",
- "$ref": "#/definitions/src__continuedev__models__main__Traceback",
- "definitions": {
- "TracebackFrame": {
- "title": "TracebackFrame",
- "type": "object",
- "properties": {
- "filepath": {
- "title": "Filepath",
- "type": "string"
- },
- "lineno": {
- "title": "Lineno",
- "type": "integer"
- },
- "function": {
- "title": "Function",
- "type": "string"
- },
- "code": {
- "title": "Code",
- "type": "string"
- }
- },
- "required": [
- "filepath",
- "lineno",
- "function"
- ]
- },
- "src__continuedev__models__main__Traceback": {
- "title": "Traceback",
- "type": "object",
- "properties": {
- "frames": {
- "title": "Frames",
- "type": "array",
- "items": {
- "$ref": "#/definitions/TracebackFrame"
- }
- },
- "message": {
- "title": "Message",
- "type": "string"
- },
- "error_type": {
- "title": "Error Type",
- "type": "string"
- },
- "full_traceback": {
- "title": "Full Traceback",
- "type": "string"
- }
- },
- "required": [
- "frames",
- "message",
- "error_type"
- ]
- }
- }
+{
+ "title": "Traceback",
+ "$ref": "#/definitions/src__continuedev__models__main__Traceback",
+ "definitions": {
+ "TracebackFrame": {
+ "title": "TracebackFrame",
+ "type": "object",
+ "properties": {
+ "filepath": {
+ "title": "Filepath",
+ "type": "string"
+ },
+ "lineno": {
+ "title": "Lineno",
+ "type": "integer"
+ },
+ "function": {
+ "title": "Function",
+ "type": "string"
+ },
+ "code": {
+ "title": "Code",
+ "type": "string"
+ }
+ },
+ "required": [
+ "filepath",
+ "lineno",
+ "function"
+ ]
+ },
+ "src__continuedev__models__main__Traceback": {
+ "title": "Traceback",
+ "type": "object",
+ "properties": {
+ "frames": {
+ "title": "Frames",
+ "type": "array",
+ "items": {
+ "$ref": "#/definitions/TracebackFrame"
+ }
+ },
+ "message": {
+ "title": "Message",
+ "type": "string"
+ },
+ "error_type": {
+ "title": "Error Type",
+ "type": "string"
+ },
+ "full_traceback": {
+ "title": "Full Traceback",
+ "type": "string"
+ }
+ },
+ "required": [
+ "frames",
+ "message",
+ "error_type"
+ ]
+ }
+ }
} \ No newline at end of file
diff --git a/schema/json/TracebackFrame.json b/schema/json/TracebackFrame.json
index 2fbd0109..1907430a 100644
--- a/schema/json/TracebackFrame.json
+++ b/schema/json/TracebackFrame.json
@@ -1,33 +1,33 @@
-{
- "title": "TracebackFrame",
- "$ref": "#/definitions/src__continuedev__models__main__TracebackFrame",
- "definitions": {
- "src__continuedev__models__main__TracebackFrame": {
- "title": "TracebackFrame",
- "type": "object",
- "properties": {
- "filepath": {
- "title": "Filepath",
- "type": "string"
- },
- "lineno": {
- "title": "Lineno",
- "type": "integer"
- },
- "function": {
- "title": "Function",
- "type": "string"
- },
- "code": {
- "title": "Code",
- "type": "string"
- }
- },
- "required": [
- "filepath",
- "lineno",
- "function"
- ]
- }
- }
+{
+ "title": "TracebackFrame",
+ "$ref": "#/definitions/src__continuedev__models__main__TracebackFrame",
+ "definitions": {
+ "src__continuedev__models__main__TracebackFrame": {
+ "title": "TracebackFrame",
+ "type": "object",
+ "properties": {
+ "filepath": {
+ "title": "Filepath",
+ "type": "string"
+ },
+ "lineno": {
+ "title": "Lineno",
+ "type": "integer"
+ },
+ "function": {
+ "title": "Function",
+ "type": "string"
+ },
+ "code": {
+ "title": "Code",
+ "type": "string"
+ }
+ },
+ "required": [
+ "filepath",
+ "lineno",
+ "function"
+ ]
+ }
+ }
} \ No newline at end of file