summaryrefslogtreecommitdiff
path: root/schema/json/HistoryNode.json
diff options
context:
space:
mode:
Diffstat (limited to 'schema/json/HistoryNode.json')
-rw-r--r--schema/json/HistoryNode.json51
1 files changed, 51 insertions, 0 deletions
diff --git a/schema/json/HistoryNode.json b/schema/json/HistoryNode.json
new file mode 100644
index 00000000..f58b8038
--- /dev/null
+++ b/schema/json/HistoryNode.json
@@ -0,0 +1,51 @@
+{
+ "title": "HistoryNode",
+ "$ref": "#/definitions/continuedev__src__continuedev__core__main__HistoryNode",
+ "definitions": {
+ "Step": {
+ "title": "Step",
+ "type": "object",
+ "properties": {
+ "name": {
+ "title": "Name",
+ "type": "string"
+ },
+ "hide": {
+ "title": "Hide",
+ "default": false,
+ "type": "boolean"
+ },
+ "system_message": {
+ "title": "System Message",
+ "type": "string"
+ }
+ }
+ },
+ "Observation": {
+ "title": "Observation",
+ "type": "object",
+ "properties": {}
+ },
+ "continuedev__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"
+ }
+ },
+ "required": [
+ "step",
+ "depth"
+ ]
+ }
+ }
+} \ No newline at end of file