chroma/lexers/testdata/promela/ltl.expected
2025-03-22 20:46:00 +13:00

30 lines
1.1 KiB
Text

[
{"type":"KeywordDeclaration","value":"ltl"},
{"type":"TextWhitespace","value":" "},
{"type":"Name","value":"alwayserr"},
{"type":"TextWhitespace","value":" "},
{"type":"Punctuation","value":"{"},
{"type":"TextWhitespace","value":" "},
{"type":"Operator","value":"[]"},
{"type":"TextWhitespace","value":" "},
{"type":"Punctuation","value":"(("},
{"type":"Name","value":"statusa"},
{"type":"TextWhitespace","value":" "},
{"type":"Operator","value":"=="},
{"type":"TextWhitespace","value":" "},
{"type":"Name","value":"err"},
{"type":"Punctuation","value":")"},
{"type":"TextWhitespace","value":" "},
{"type":"Operator","value":"||"},
{"type":"TextWhitespace","value":" "},
{"type":"Punctuation","value":"("},
{"type":"Name","value":"statusb"},
{"type":"TextWhitespace","value":" "},
{"type":"Operator","value":"=="},
{"type":"TextWhitespace","value":" "},
{"type":"Name","value":"err"},
{"type":"Punctuation","value":"))"},
{"type":"TextWhitespace","value":" "},
{"type":"Punctuation","value":"}"},
{"type":"TextWhitespace","value":"\n"}
]