Searched refs:Token (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/docs/
H A Dgenerate-diagrams.py26 from parcon.railroad import Bullet, Loop, Nothing, Or, PRODUCTION, TEXT, Then, Token namespace
30 return Token(PRODUCTION, t)
32 return Token(TEXT, t)
/seL4-camkes-master/kernel/tools/
H A Dlex.py81 # Token class. This class is used to represent the tokens produced.
638 self.log.warning("Token '%s' multiply defined", n)
1111 Token = TOKEN variable
/seL4-camkes-master/tools/cogent/cogent/doc/
H A Ddoc.tex1014 % \bang{\placeholder{\record{\overline{\fieldname{f}_i :: K_i}}}} & = & \placeholder{\record{\overline{\fieldname{f}_i :: K_i}}} & \textsc{Token!} \\
1398 % { \textsc{Token}}
1424 % {\textsc{Token}}

Completed in 110 milliseconds