Searched refs:Token (Results 1 - 3 of 3) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/docs/ |
H A D | generate-diagrams.py | 26 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 D | lex.py | 81 # 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 D | doc.tex | 1014 % \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