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

/seL4-camkes-master/kernel/tools/hardware/
H A Ddevice.py8 from typing import Any, Dict, Generator, List, Tuple, cast namespace
145 def __iter__(self) -> Generator['WrappedNode', None, None]:
219 def intarray_iter(array: List[int], sizes: Tuple[int, ...]) -> Generator[List[int], None, None]:
/seL4-camkes-master/projects/camkes-tool/tools/
H A Djinja_lint.py19 from typing import Generator, IO, Optional, Tuple namespace
24 def low_tokeniser(file: IO[str]) -> Generator[Tuple[int, str], None, None]:
44 def high_tokeniser(file: IO[str]) -> Generator[Tuple[int, str, str], None, None]:
/seL4-camkes-master/kernel/manual/tools/
H A Dparse_doxygen_xml.py20 class Generator(object): class in inherits:object
250 class LatexGenerator(Generator):
252 A class that represents the generator for Doxygen to Latex. A child of the Generator class.
351 class MarkdownGenerator(Generator):
353 A class that represents the generator for Doxygen to Markdown. A child of the Generator class
/seL4-camkes-master/tools/cogent/cogent/doc/
H A Ddoc.tex769 gen: Generator y r s acc obsv!,

Completed in 153 milliseconds