add Hover feature
/ build_and_publish (push) Failing after 19s

This commit is contained in:
Christoph Brandau
2025-01-08 15:53:19 +01:00
parent 793effd85d
commit a318cf6e46
8 changed files with 213 additions and 93 deletions
+40
View File
@@ -5,6 +5,9 @@
{
"include": "#comment"
},
{
"include": "#function"
},
{
"include": "#variables"
},
@@ -14,6 +17,9 @@
{
"include": "#keywords"
},
{
"include": "#numbers"
},
{
"include": "#strings"
}
@@ -38,6 +44,27 @@
}
]
},
"numbers": {
"name": "constant.numeric",
"patterns": [
{
"name": "constant.numeric",
"match": "\"\\d+\""
},
{
"name": "constant.numeric",
"match": "\"\\d+.\\d+\""
},
{
"name": "constant.numeric",
"match": "\\d+"
},
{
"name": "constant.numeric",
"match": "\\d+.\\d+"
}
]
},
"types": {
"patterns": [
{
@@ -82,6 +109,19 @@
}
]
},
"function": {
"patterns": [
{
"name": "storage.type.function.cdl",
"match": "\\bEVENT\\s+([a-zA-Z_]\\w*)\\b",
"captures": {
"1": {
"name": "entity.name.function"
}
}
}
]
},
"comment": {
"patterns": [
{