tartrazine/spec/tests/promela/if.txt

39 lines
740 B
Plaintext
Raw Normal View History

2024-08-03 10:36:47 +00:00
---input---
init {
if
:: skip;
fi;
skip
}
---tokens---
'init' Keyword.Declaration
' ' Text.Whitespace
'{' Punctuation
'\n' Text.Whitespace
' ' Text.Whitespace
'if' Keyword
' ' Text.Whitespace
'\n' Text.Whitespace
' ' Text.Whitespace
':' Operator
':' Operator
' ' Text.Whitespace
'skip' Keyword
';' Punctuation
'\n' Text.Whitespace
' ' Text.Whitespace
'fi' Keyword
';' Punctuation
'\n' Text.Whitespace
' ' Text.Whitespace
'skip' Keyword
'\n' Text.Whitespace
'}' Punctuation
'\n' Text.Whitespace