coffee/coffee.pygments
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
This repository has been archived on 2024-06-20. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.
coffee.pygments/tests/examplefiles/cpsa/yahalom.cpsa.output
Sebastian Engel 63a24f39a0 Whitespace token for lisp lexers
2022-01-06 19:06:03 +01:00

518 lines
14 KiB
Text
Generated
Raw Permalink Blame History

'(' Punctuation
'herald' Keyword
' ' Text.Whitespace
'"Yahalom Protocol with Forwarding Removed"' Literal.String
')' Punctuation
'\n\n' Text.Whitespace
'(' Punctuation
'defprotocol' Keyword
' ' Text.Whitespace
'yahalom' Name.Variable
' ' Text.Whitespace
'basic' Name.Variable
'\n ' Text.Whitespace
'(' Punctuation
'defrole' Keyword
' ' Text.Whitespace
'init' Name.Variable
'\n ' Text.Whitespace
'(' Punctuation
'vars' Keyword
' ' Text.Whitespace
'(' Punctuation
'a' Name.Function
' ' Text.Whitespace
'b' Name.Variable
' ' Text.Whitespace
'c' Name.Variable
' ' Text.Whitespace
'name' Keyword
')' Punctuation
' ' Text.Whitespace
'(' Punctuation
'n-a' Name.Function
' ' Text.Whitespace
'n-b' Name.Variable
' ' Text.Whitespace
'text' Keyword
')' Punctuation
' ' Text.Whitespace
'(' Punctuation
'k' Name.Function
' ' Text.Whitespace
'skey' Keyword
')' Punctuation
')' Punctuation
'\n ' Text.Whitespace
'(' Punctuation
'trace' Keyword
' ' Text.Whitespace
'(' Punctuation
'send' Keyword
' ' Text.Whitespace
'(' Punctuation
'cat' Name.Builtin
' ' Text.Whitespace
'a' Name.Variable
' ' Text.Whitespace
'n-a' Name.Variable
')' Punctuation
')' Punctuation
'\n\t ' Text.Whitespace
'(' Punctuation
'recv' Keyword
' ' Text.Whitespace
'(' Punctuation
'enc' Name.Builtin
' ' Text.Whitespace
'b' Name.Variable
' ' Text.Whitespace
'k' Name.Variable
' ' Text.Whitespace
'n-a' Name.Variable
' ' Text.Whitespace
'n-b' Name.Variable
' ' Text.Whitespace
'(' Punctuation
'ltk' Name.Builtin
' ' Text.Whitespace
'a' Name.Variable
' ' Text.Whitespace
'c' Name.Variable
')' Punctuation
')' Punctuation
')' Punctuation
'\n\t ' Text.Whitespace
'(' Punctuation
'send' Keyword
' ' Text.Whitespace
'(' Punctuation
'enc' Name.Builtin
' ' Text.Whitespace
'n-b' Name.Variable
' ' Text.Whitespace
'k' Name.Variable
')' Punctuation
')' Punctuation
')' Punctuation
')' Punctuation
'\n ' Text.Whitespace
'(' Punctuation
'defrole' Keyword
' ' Text.Whitespace
'resp' Name.Variable
'\n ' Text.Whitespace
'(' Punctuation
'vars' Keyword
' ' Text.Whitespace
'(' Punctuation
'b' Name.Function
' ' Text.Whitespace
'a' Name.Variable
' ' Text.Whitespace
'c' Name.Variable
' ' Text.Whitespace
'name' Keyword
')' Punctuation
' ' Text.Whitespace
'(' Punctuation
'n-a' Name.Function
' ' Text.Whitespace
'n-b' Name.Variable
' ' Text.Whitespace
'text' Keyword
')' Punctuation
' ' Text.Whitespace
'(' Punctuation
'k' Name.Function
' ' Text.Whitespace
'skey' Keyword
')' Punctuation
')' Punctuation
'\n ' Text.Whitespace
'(' Punctuation
'trace' Keyword
' ' Text.Whitespace
'(' Punctuation
'recv' Keyword
' ' Text.Whitespace
'(' Punctuation
'cat' Name.Builtin
' ' Text.Whitespace
'a' Name.Variable
' ' Text.Whitespace
'n-a' Name.Variable
')' Punctuation
')' Punctuation
'\n\t ' Text.Whitespace
'(' Punctuation
'send' Keyword
' ' Text.Whitespace
'(' Punctuation
'cat' Name.Builtin
' ' Text.Whitespace
'b' Name.Variable
' ' Text.Whitespace
'(' Punctuation
'enc' Name.Builtin
' ' Text.Whitespace
'a' Name.Variable
' ' Text.Whitespace
'n-a' Name.Variable
' ' Text.Whitespace
'n-b' Name.Variable
' ' Text.Whitespace
'(' Punctuation
'ltk' Name.Builtin
' ' Text.Whitespace
'b' Name.Variable
' ' Text.Whitespace
'c' Name.Variable
')' Punctuation
')' Punctuation
')' Punctuation
')' Punctuation
'\n\t ' Text.Whitespace
'(' Punctuation
'recv' Keyword
' ' Text.Whitespace
'(' Punctuation
'enc' Name.Builtin
' ' Text.Whitespace
'a' Name.Variable
' ' Text.Whitespace
'k' Name.Variable
' ' Text.Whitespace
'(' Punctuation
'ltk' Name.Builtin
' ' Text.Whitespace
'b' Name.Variable
' ' Text.Whitespace
'c' Name.Variable
')' Punctuation
')' Punctuation
')' Punctuation
'\n\t ' Text.Whitespace
'(' Punctuation
'recv' Keyword
' ' Text.Whitespace
'(' Punctuation
'enc' Name.Builtin
' ' Text.Whitespace
'n-b' Name.Variable
' ' Text.Whitespace
'k' Name.Variable
')' Punctuation
')' Punctuation
')' Punctuation
')' Punctuation
'\n ' Text.Whitespace
'(' Punctuation
'defrole' Keyword
' ' Text.Whitespace
'serv' Name.Variable
'\n ' Text.Whitespace
'(' Punctuation
'vars' Keyword
' ' Text.Whitespace
'(' Punctuation
'c' Name.Function
' ' Text.Whitespace
'a' Name.Variable
' ' Text.Whitespace
'b' Name.Variable
' ' Text.Whitespace
'name' Keyword
')' Punctuation
' ' Text.Whitespace
'(' Punctuation
'n-a' Name.Function
' ' Text.Whitespace
'n-b' Name.Variable
' ' Text.Whitespace
'text' Keyword
')' Punctuation
' ' Text.Whitespace
'(' Punctuation
'k' Name.Function
' ' Text.Whitespace
'skey' Keyword
')' Punctuation
')' Punctuation
'\n ' Text.Whitespace
'(' Punctuation
'trace' Keyword
' ' Text.Whitespace
'(' Punctuation
'recv' Keyword
' ' Text.Whitespace
'(' Punctuation
'cat' Name.Builtin
' ' Text.Whitespace
'b' Name.Variable
' ' Text.Whitespace
'(' Punctuation
'enc' Name.Builtin
' ' Text.Whitespace
'a' Name.Variable
' ' Text.Whitespace
'n-a' Name.Variable
' ' Text.Whitespace
'n-b' Name.Variable
' ' Text.Whitespace
'(' Punctuation
'ltk' Name.Builtin
' ' Text.Whitespace
'b' Name.Variable
' ' Text.Whitespace
'c' Name.Variable
')' Punctuation
')' Punctuation
')' Punctuation
')' Punctuation
'\n\t ' Text.Whitespace
'(' Punctuation
'send' Keyword
' ' Text.Whitespace
'(' Punctuation
'enc' Name.Builtin
' ' Text.Whitespace
'b' Name.Variable
' ' Text.Whitespace
'k' Name.Variable
' ' Text.Whitespace
'n-a' Name.Variable
' ' Text.Whitespace
'n-b' Name.Variable
' ' Text.Whitespace
'(' Punctuation
'ltk' Name.Builtin
' ' Text.Whitespace
'a' Name.Variable
' ' Text.Whitespace
'c' Name.Variable
')' Punctuation
')' Punctuation
')' Punctuation
'\n\t ' Text.Whitespace
'(' Punctuation
'send' Keyword
' ' Text.Whitespace
'(' Punctuation
'enc' Name.Builtin
' ' Text.Whitespace
'a' Name.Variable
' ' Text.Whitespace
'k' Name.Variable
' ' Text.Whitespace
'(' Punctuation
'ltk' Name.Builtin
' ' Text.Whitespace
'b' Name.Variable
' ' Text.Whitespace
'c' Name.Variable
')' Punctuation
')' Punctuation
')' Punctuation
')' Punctuation
'\n ' Text.Whitespace
'(' Punctuation
'uniq-orig' Keyword
' ' Text.Whitespace
'k' Name.Variable
')' Punctuation
')' Punctuation
')' Punctuation
'\n\n' Text.Whitespace
'(' Punctuation
'defskeleton' Keyword
' ' Text.Whitespace
'yahalom' Name.Variable
'\n ' Text.Whitespace
'(' Punctuation
'vars' Keyword
' ' Text.Whitespace
'(' Punctuation
'a' Name.Function
' ' Text.Whitespace
'b' Name.Variable
' ' Text.Whitespace
'c' Name.Variable
' ' Text.Whitespace
'name' Keyword
')' Punctuation
' ' Text.Whitespace
'(' Punctuation
'n-b' Name.Function
' ' Text.Whitespace
'text' Keyword
')' Punctuation
')' Punctuation
'\n ' Text.Whitespace
'(' Punctuation
'defstrand' Keyword
' ' Text.Whitespace
'resp' Name.Variable
' ' Text.Whitespace
'4' Literal.Number.Integer
' ' Text.Whitespace
'(' Punctuation
'a' Name.Function
' ' Text.Whitespace
'a' Name.Variable
')' Punctuation
' ' Text.Whitespace
'(' Punctuation
'b' Name.Function
' ' Text.Whitespace
'b' Name.Variable
')' Punctuation
' ' Text.Whitespace
'(' Punctuation
'c' Name.Function
' ' Text.Whitespace
'c' Name.Variable
')' Punctuation
' ' Text.Whitespace
'(' Punctuation
'n-b' Name.Function
' ' Text.Whitespace
'n-b' Name.Variable
')' Punctuation
')' Punctuation
'\n ' Text.Whitespace
'(' Punctuation
'non-orig' Keyword
' ' Text.Whitespace
'(' Punctuation
'ltk' Name.Builtin
' ' Text.Whitespace
'b' Name.Variable
' ' Text.Whitespace
'c' Name.Variable
')' Punctuation
' ' Text.Whitespace
'(' Punctuation
'ltk' Name.Builtin
' ' Text.Whitespace
'a' Name.Variable
' ' Text.Whitespace
'c' Name.Variable
')' Punctuation
')' Punctuation
'\n ' Text.Whitespace
'(' Punctuation
'uniq-orig' Keyword
' ' Text.Whitespace
'n-b' Name.Variable
')' Punctuation
')' Punctuation
'\n\n' Text.Whitespace
';;; Ensure encryption key remains secret.' Comment.Single
'\n' Text.Whitespace
'(' Punctuation
'defskeleton' Keyword
' ' Text.Whitespace
'yahalom' Name.Variable
'\n ' Text.Whitespace
'(' Punctuation
'vars' Keyword
' ' Text.Whitespace
'(' Punctuation
'a' Name.Function
' ' Text.Whitespace
'b' Name.Variable
' ' Text.Whitespace
'c' Name.Variable
' ' Text.Whitespace
'name' Keyword
')' Punctuation
' ' Text.Whitespace
'(' Punctuation
'n-b' Name.Function
' ' Text.Whitespace
'text' Keyword
')' Punctuation
' ' Text.Whitespace
'(' Punctuation
'k' Name.Function
' ' Text.Whitespace
'skey' Keyword
')' Punctuation
')' Punctuation
'\n ' Text.Whitespace
'(' Punctuation
'defstrand' Keyword
' ' Text.Whitespace
'resp' Name.Variable
' ' Text.Whitespace
'4' Literal.Number.Integer
' ' Text.Whitespace
'(' Punctuation
'a' Name.Function
' ' Text.Whitespace
'a' Name.Variable
')' Punctuation
' ' Text.Whitespace
'(' Punctuation
'b' Name.Function
' ' Text.Whitespace
'b' Name.Variable
')' Punctuation
' ' Text.Whitespace
'(' Punctuation
'c' Name.Function
' ' Text.Whitespace
'c' Name.Variable
')' Punctuation
' ' Text.Whitespace
'(' Punctuation
'n-b' Name.Function
' ' Text.Whitespace
'n-b' Name.Variable
')' Punctuation
' ' Text.Whitespace
'(' Punctuation
'k' Name.Function
' ' Text.Whitespace
'k' Name.Variable
')' Punctuation
')' Punctuation
'\n ' Text.Whitespace
'(' Punctuation
'deflistener' Keyword
' ' Text.Whitespace
'k' Name.Variable
')' Punctuation
'\n ' Text.Whitespace
'(' Punctuation
'non-orig' Keyword
' ' Text.Whitespace
'(' Punctuation
'ltk' Name.Builtin
' ' Text.Whitespace
'b' Name.Variable
' ' Text.Whitespace
'c' Name.Variable
')' Punctuation
' ' Text.Whitespace
'(' Punctuation
'ltk' Name.Builtin
' ' Text.Whitespace
'a' Name.Variable
' ' Text.Whitespace
'c' Name.Variable
')' Punctuation
')' Punctuation
'\n ' Text.Whitespace
'(' Punctuation
'uniq-orig' Keyword
' ' Text.Whitespace
'n-b' Name.Variable
')' Punctuation
')' Punctuation
'\n' Text.Whitespace
Reference in a new issue View git blame Copy permalink