2021-06-06 10:07:19 +00:00
|
|
|
{
|
|
|
|
|
"$id": "UUIDV4",
|
|
|
|
|
"description": "A valid uuid v4",
|
2021-10-23 19:54:22 +02:00
|
|
|
"format": "uuid",
|
2021-06-06 10:07:19 +00:00
|
|
|
"pattern": "^[0-9a-f]{8}-[0-9a-f]{4}-4[0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}$",
|
2021-10-23 19:54:22 +02:00
|
|
|
"title": "A UUID V4",
|
2021-10-31 14:52:16 +01:00
|
|
|
"type": "string",
|
|
|
|
|
"defaultSnippets": [{ "label": "new UUID v4", "body": "$UUID" }]
|
2021-06-06 10:07:19 +00:00
|
|
|
}
|
