Sha256: 13677613640438c0e51e99adbe513d092fed775970f6d03347a4b15c414ba3b5
Contents?: true
Size: 1.02 KB
Versions: 38
Compression:
Stored size: 1.02 KB
Contents
{
"fileTypes": [
"src"
],
"name": "text.alloy",
"patterns": [
{
"match": "\\b(run|check)\\b",
"name": "keyword.control.alloy"
},
{
"match": "\\b(implies|or|and|let|else)\\b",
"name": "keyword.operator.alloy"
},
{
"match": "\\b(fact|abstract|sig|extends|some|one|lone|set|all|no|none|open|module|not|in|pred|assert|for|but exactly|disj)\\b",
"name": "keyword.other.alloy"
},
{
"match": "\\/\\/.*",
"name": "comment.line.double-slash.alloy"
},
{
"match": "\\/\\*(.)*\\*\\/|\\s\\*\\s(.)*\\n|\\*/|\\/\\*(.)*",
"name": "comment.block.empty.alloy"
},
{
"match": "\\b(fact|sig|module|pred|fun|enum)\\b",
"name": "storage.type.alloy"
},
{
"begin": "pred \\w*\\[(.)*]{",
"end": "}",
"name": "entity.name.function.predicate.alloy",
"patterns": [
{
"include": "$self"
}
]
}
],
"scopeName": "source.alloy",
"uuid": "4E96158C-0507-4FFC-87D7-76A2E89DE7FB"
}
Version data entries
38 entries across 38 versions & 2 rubygems