output.tmGrammar.json

{"repository":{"con":{"begin":"(\\bcon\\b)","endCaptures":{},"name":"meta.declaration","end":"\\n","beginCaptures":{"1":{"name":"keyword.control.con"}},"patterns":[{"include":"#intType"},{"include":"#boolType"}]},"abort":{"name":"keyword.control.abort","captures":{},"match":"\\b(abort)\\b","patterns":[]},"var":{"begin":"(\\bvar\\b)","endCaptures":{},"name":"meta.declaration","end":"\\n","beginCaptures":{"1":{"name":"keyword.control.var"}},"patterns":[{"include":"#intType"},{"include":"#boolType"}]},"intType":{"name":"entity.name.type.int","captures":{},"match":"\\b(Int)\\b","patterns":[]},"boolType":{"name":"entity.name.type.int","captures":{},"match":"\\b(Bool)\\b","patterns":[]},"skip":{"name":"keyword.control.skip","captures":{},"match":"\\b(skip)\\b","patterns":[]},"loop":{"begin":"(\\bdo\\b)","endCaptures":{"1":{"name":"keyword.control.loop"}},"name":"meta.statement.loop","end":"(\\bod\\b)","beginCaptures":{"1":{"name":"keyword.control.loop"}},"patterns":[{"include":"#guarded-command"},{"include":"#skip"},{"include":"#abort"},{"include":"#spec"},{"include":"#assertion"},{"include":"#loop"},{"include":"#conditional"},{"include":"#assignment"},{"include":"#comment"},{"include":"#number"},{"include":"#bool"}]},"assertion":{"begin":"(\\{)","endCaptures":{"1":{"name":"support.other.parenthesis.regexp.gcl.assertion.close"}},"name":"meta.statement.assertion","end":"(\\})","beginCaptures":{"1":{"name":"support.other.parenthesis.regexp.gcl.assertion.open"}},"patterns":[{"include":"#number"},{"include":"#bool"}]},"spec":{"begin":"(\\{\\!)","endCaptures":{"1":{"name":"punctuation.definition.quote.begin.markdown.gcl.spec.close"}},"name":"meta.statement.spec","end":"(\\!\\})","beginCaptures":{"1":{"name":"punctuation.definition.quote.begin.markdown.gcl.spec.open"}},"patterns":[]},"let":{"name":"keyword.control.let","captures":{},"match":"\\b(let)\\b","patterns":[]},"number":{"name":"constant.numeric","captures":{"0":{"name":"constant.numeric"}},"match":"\\b[0-9]+\\b","patterns":[]},"assignment":{"name":"meta.statement.assignment","captures":{"1":{"name":"keyword.control.assignment"}},"match":"(\\:\\=)","patterns":[]},"comment":{"name":"meta.comment.line","captures":{"1":{"name":"comment.line.double-dash"}},"match":"(\\-\\-.*$)","patterns":[]},"conditional":{"begin":"(\\bif\\b)","endCaptures":{"1":{"name":"keyword.control.conditional"}},"name":"meta.statement.conditional","end":"(\\bfi\\b)","beginCaptures":{"1":{"name":"keyword.control.conditional"}},"patterns":[{"include":"#guarded-command"},{"include":"#skip"},{"include":"#abort"},{"include":"#spec"},{"include":"#assertion"},{"include":"#loop"},{"include":"#conditional"},{"include":"#assignment"},{"include":"#comment"},{"include":"#number"},{"include":"#bool"}]},"guarded-command":{"name":"meta.statement.guardedCommands","captures":{"1":{"name":"punctuation.section.embedded.arrow"},"2":{"name":"punctuation.section.embedded.bar"}},"match":"(\\-\\>)|(\\|)","patterns":[]},"bool":{"name":"constant.language","captures":{"0":{"name":"constant.language"}},"match":"\\b(True|False)\\b","patterns":[]}},"scopeName":"source.gcl","fileTypes":["gcl"],"patterns":[{"include":"#var"},{"include":"#con"},{"include":"#let"},{"include":"#skip"},{"include":"#abort"},{"include":"#spec"},{"include":"#assertion"},{"include":"#loop"},{"include":"#conditional"},{"include":"#assignment"},{"include":"#comment"},{"include":"#number"},{"include":"#bool"}]}