Searched refs:tokens (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/kernel/tools/
H A Dlex.py81 # Token class. This class is used to represent the tokens produced.
156 self.lextokens = None # List of valid tokens
585 self.tokens = []
610 # Get the tokens map
612 tokens = self.ldict.get("tokens", None)
613 if not tokens:
618 if not isinstance(tokens, (list, tuple)):
619 self.log.error("tokens must be a list or tuple")
623 if not tokens
[all...]
H A Dbitfield_gen.py92 tokens = reserved + ('IDENTIFIER', 'INTLIT', 'LBRACE', 'RBRACE', variable
/seL4-test-master/kernel/manual/tools/libsel4_tools/
H A Dbitfield_gen.py92 tokens = reserved + ('IDENTIFIER', 'INTLIT', 'LBRACE', 'RBRACE', variable
/seL4-test-master/kernel/libsel4/tools/
H A Dbitfield_gen.py92 tokens = reserved + ('IDENTIFIER', 'INTLIT', 'LBRACE', 'RBRACE', variable

Completed in 65 milliseconds