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