mirror of
https://github.com/openharmony/developtools_global_resource_tool.git
synced 2026-07-01 22:55:09 -04:00
HanSY
43 lines
1010 B
JSON
43 lines
1010 B
JSON
{
|
|
"title": "JSON schema for definedIds.json",
|
|
"$schema": "http://json-schema.org/draft-07/schema#",
|
|
"type": "object",
|
|
"properties": {
|
|
"record": {
|
|
"type": "array",
|
|
"items": {
|
|
"type": "object",
|
|
"properties": {
|
|
"type": {
|
|
"type": "string",
|
|
"enum": [
|
|
"media",
|
|
"profile",
|
|
"integer",
|
|
"string",
|
|
"strarray",
|
|
"intarray",
|
|
"color",
|
|
"plural",
|
|
"boolean",
|
|
"pattern",
|
|
"theme",
|
|
"float",
|
|
"symbol"
|
|
]
|
|
},
|
|
"name": {
|
|
"type": "string",
|
|
"minLength": 1
|
|
},
|
|
"id": {
|
|
"type": "string",
|
|
"pattern": "^0x(0[1-689a-fA-F][0-9a-fA-F]{6}|[1-9a-fA-F][0-9a-fA-F]{7})$"
|
|
}
|
|
},
|
|
"required": ["type", "name", "id"],
|
|
"additionalProperties": false
|
|
}
|
|
}
|
|
}
|
|
} |