diff options
author | Nate Sesti <sestinj@gmail.com> | 2023-08-20 20:02:07 -0700 |
---|---|---|
committer | Nate Sesti <sestinj@gmail.com> | 2023-08-20 20:02:07 -0700 |
commit | c98f860460767fe14f8fbf139150b1bd1ee2ff12 (patch) | |
tree | 6a88fb4aaa733892d9409324f66505c4263c7c19 /schema | |
parent | 84ec574e182ec441e95d13c3543a934e0a036228 (diff) | |
download | sncontinue-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.json | 150 | ||||
-rw-r--r-- | schema/json/FileEdit.json | 124 | ||||
-rw-r--r-- | schema/json/FileEditWithFullContents.json | 158 | ||||
-rw-r--r-- | schema/json/FullState.json | 653 | ||||
-rw-r--r-- | schema/json/History.json | 320 | ||||
-rw-r--r-- | schema/json/HistoryNode.json | 276 | ||||
-rw-r--r-- | schema/json/Position.json | 46 | ||||
-rw-r--r-- | schema/json/Range.json | 80 | ||||
-rw-r--r-- | schema/json/RangeInFile.json | 114 | ||||
-rw-r--r-- | schema/json/SessionInfo.json | 56 | ||||
-rw-r--r-- | schema/json/Traceback.json | 124 | ||||
-rw-r--r-- | schema/json/TracebackFrame.json | 64 |
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 |