Properties
| Name | Type | Description |
|---|---|---|
| size | integer | |
| page | integer | |
| pagelen | integer | |
| query_substituted | boolean | |
| next | string | |
| previous | string | |
| values | array |
JSON Schema
{
"$schema": "https://json-schema.org/draft/2020-12/schema",
"$id": "#/components/schemas/search_result_page",
"title": "search_result_page",
"type": "object",
"properties": {
"size": {
"type": "integer",
"format": "int64",
"readOnly": true,
"example": 10
},
"page": {
"type": "integer",
"format": "int32",
"readOnly": true,
"example": 10
},
"pagelen": {
"type": "integer",
"format": "int32",
"readOnly": true,
"example": 10
},
"query_substituted": {
"type": "boolean",
"readOnly": true,
"example": true
},
"next": {
"type": "string",
"format": "uri",
"readOnly": true,
"example": "https://www.example.com"
},
"previous": {
"type": "string",
"format": "uri",
"readOnly": true,
"example": "https://www.example.com"
},
"values": {
"type": "array",
"readOnly": true,
"items": {
"$ref": "#/components/schemas/search_code_search_result"
},
"example": []
}
}
}