tartrazine/spec/tests/promela/intruder.txt

28 lines
512 B
Plaintext

---input---
Crypt x;
init {
Crypt x;
}
---tokens---
'Crypt' Name
' ' Text.Whitespace
'x' Name
';' Punctuation
'\n' Text.Whitespace
'init' Keyword.Declaration
' ' Text.Whitespace
'{' Punctuation
'\n' Text.Whitespace
' ' Text.Whitespace
'Crypt' Name
' ' Text.Whitespace
'x' Name
';' Punctuation
'\n' Text.Whitespace
'}' Punctuation
'\n' Text.Whitespace