Sha256: 908e637162fcc16642733fab43b31c3d925d1c0053a59ebdbeea2ee3860992ca
Contents?: true
Size: 964 Bytes
Versions: 27
Compression:
Stored size: 964 Bytes
Contents
{
"name": "text.alloy",
"scopeName": "source.alloy",
"patterns": [
{
"name": "keyword.control.alloy",
"match": "\\b(run|check)\\b"
},
{
"name": "keyword.operator.alloy",
"match": "\\b(implies|or|and|let|else)\\b"
},
{
"name": "keyword.other.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": "comment.line.double-slash.alloy",
"match": "\\/\\/.*"
},
{
"name": "comment.block.empty.alloy",
"match": "\\/\\*(.)*\\*\\/|\\s\\*\\s(.)*\\n|\\*/|\\/\\*(.)*"
},
{
"name": "storage.type.alloy",
"match": "\\b(fact|sig|module|pred|fun|enum)\\b"
},
{
"name": "entity.name.function.predicate.alloy",
"begin": "pred \\w*\\[(.)*]{",
"end": "}",
"patterns": [
{
"include": "$self"
}
]
}
]
}
Version data entries
27 entries across 27 versions & 1 rubygems