Sha256: 3995a8baf7b03528ef9f6cb1d0d71eea5014310971e6a76bd4d4c06a606cae12
Contents?: true
Size: 1.37 KB
Versions: 18
Compression:
Stored size: 1.37 KB
Contents
{"name":"Promela","scopeName":"source.promela","patterns":[{"name":"comment.block","begin":"\\/\\*","end":"\\*\\/"},{"name":"keyword.control","match":"\\b(assert|else|fi|if|unless|xr|xs|do|od|break|skip|atomic)\\b"},{"name":"keyword.operator","match":"\\b(run)\\b"},{"match":"^(#)\\s*(define)\\s*([a-zA-Z_]+[0-9a-zA-Z_]*)","captures":{"2":{"name":"keyword.operator"},"3":{"name":"entity.name.function"}}},{"name":"variable.other","match":"\\b[a-zA-Z_]+[0-9a-zA-Z_]*(\\s)*:"},{"name":"entity.name.function","match":"\\b(printf|len|empty|nempty|full|nfull|enabled|eval|pc_value)\\b"},{"begin":"\\b([a-zA-Z_]+[0-9a-zA-Z_]*)\\(","end":"\\)","patterns":[{"include":"$self"}],"beginCaptures":{"1":{"name":"entity.name.function"}}},{"begin":"\\b(ltl)(\\s)+([a-zA-Z_]+[0-9a-zA-Z_]*)(\\s)*{","end":"}","patterns":[{"include":"$self"}],"beginCaptures":{"1":{"name":"storage.type"},"3":{"name":"entity.name.function"}}},{"name":"string.quoted.double","match":"\"([^\\\\\"]|\\\\.)*\""},{"name":"constant.numeric","match":"\\b([0-9])+\\b"},{"name":"constant.language","match":"\\b(true|false|TRUE|FALSE)\\b"},{"name":"storage.type","match":"\\b(bit|bool|byte|pid|chan|int|mtype|proctype|short|unsigned|Dproctype)\\b"},{"name":"storage.modifier","match":"\\b(hidden|init|inline|active|local|show)\\b"},{"name":"storage.modifier","match":"\\b(typedef|c_state)\\b"},{"name":"comment.double-slash","match":"\\/\\/.*$"}]}
Version data entries
18 entries across 18 versions & 1 rubygems