Searched refs:token (Results 1 - 2 of 2) sorted by relevance

/seL4-mcs-10.1.1/tools/
H A Dlex.py66 # This regular expression is used to match valid token names
69 # Exception thrown when invalid token encountered and no default error
116 # token() - Get the next token
307 # opttoken() - Return the next token from the Lexer
313 def token(self): member in class:Lexer
331 # Create a token for return
341 # If no token type was set, it's an ignored token
351 # If token i
[all...]
/seL4-mcs-10.1.1/manual/parts/
H A Dobjects.tex66 A capability is an unforgeable token that references a specific kernel

Completed in 38 milliseconds