1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
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"
]
}
}
}
|
