2024-03-12 20:03:00 +01:00
|
|
|
{
|
|
|
|
"patterns": [
|
|
|
|
{ "regex": "[a-zA-Z_][a-zA-Z0-9_]*", "is": "error" },
|
2024-03-12 20:05:36 +01:00
|
|
|
{ "regex": "[0-9]+(\\.[0-9]*([eE][-+]?[0-9]+)?)?", "is": "literal" },
|
2024-03-12 20:03:00 +01:00
|
|
|
{
|
|
|
|
"regex": "\"(\\\\\"|[^\"])*\"(:)",
|
|
|
|
"is": { "default": "keyword2", "captures": ["keyword2", "punct"] }
|
|
|
|
},
|
|
|
|
{ "regex": "\"(\\\\\"|[^\"])*\"", "is": "string" },
|
|
|
|
{ "regex": "[,]", "is": "punct" }
|
|
|
|
],
|
|
|
|
"keywords": {
|
|
|
|
"null": { "into": "literal" },
|
|
|
|
"true": { "into": "literal" },
|
|
|
|
"false": { "into": "literal" }
|
|
|
|
}
|
|
|
|
}
|