2019-10-21 14:50:16 +02:00
|
|
|
{
|
2022-07-27 13:01:15 +02:00
|
|
|
"$schema": "http://json-schema.org/draft/2020-12/schema",
|
2022-10-06 11:17:48 +02:00
|
|
|
"$id": "unit.schema.json",
|
2019-10-21 14:50:16 +02:00
|
|
|
"title": "Metric unit",
|
|
|
|
"description": "Format specification for job metric units",
|
|
|
|
"type": "object",
|
|
|
|
"properties": {
|
2022-10-06 11:17:48 +02:00
|
|
|
"base": {
|
2019-10-21 14:50:16 +02:00
|
|
|
"description": "Metric base unit",
|
|
|
|
"type": "string",
|
|
|
|
"enum": [
|
|
|
|
"B",
|
|
|
|
"F",
|
|
|
|
"B/s",
|
|
|
|
"F/s",
|
|
|
|
"CPI",
|
|
|
|
"IPC",
|
2022-09-14 06:35:02 +02:00
|
|
|
"Hz",
|
2022-09-21 15:24:48 +02:00
|
|
|
"W",
|
|
|
|
"°C",
|
|
|
|
""
|
2019-10-21 14:50:16 +02:00
|
|
|
]
|
|
|
|
},
|
|
|
|
"prefix": {
|
|
|
|
"description": "Unit prefix",
|
|
|
|
"type": "string",
|
|
|
|
"enum": [
|
|
|
|
"K",
|
|
|
|
"M",
|
|
|
|
"G",
|
|
|
|
"T",
|
|
|
|
"P",
|
|
|
|
"E"
|
|
|
|
]
|
|
|
|
}
|
|
|
|
},
|
|
|
|
"required": [
|
2022-10-06 11:17:48 +02:00
|
|
|
"base"
|
2019-10-21 14:50:16 +02:00
|
|
|
]
|
|
|
|
}
|