Lines Matching full:page

122 # Generate header of a reference page
123 # pageName - string name of the page
124 # pageDesc - string short description of the page
191             'This page is a generated document.',
197             'This page is extracted from the Vulkan Specification. ',
216 # Extract a single reference page into baseDir
217 #   baseDir - base directory to emit page into
218 #   specDir - directory extracted page source came from
219 #   pi - pageInfo for this page relative to file
224     # Add a dictionary entry for this page
235         logWarn('emitPage:', pageName, 'INCLUDE == None, no page generated')
278 # Autogenerate a single reference page in baseDir
280 #   baseDir - base directory to emit page into
281 #   pi - pageInfo for this page relative to file
287     # Add a dictionary entry for this page
302                         '  * The reference page for ',
324 # Autogenerate a single reference page in baseDir for a Vk*Flags type
325 #   baseDir - base directory to emit page into
331     # Add a dictionary entry for this page
370 # Autogenerate a single handle page in baseDir for a Vk* handle type
371 #   baseDir - base directory to emit page into
379     # Add a dictionary entry for this page
405 #   baseDir - output directory to generate page in
423     # Create each page, if possible
440             # Don't extract this page
443 # Generate baseDir/apispec.txt, the single-page version of the ref pages.
444 # This assumes there's a page for everything in the vkapi.py dictionaries.
447     # Accumulate head of page
479     # Accumulate body of page
498             # Add page to body
499             # Previously, a page was added only when:
559         # for page in flags.keys():
560             # if not (page in genDict.keys()):
561                 # autoGenFlagsPage(baseDir, page)
565         # for page in structs.keys():
566         #    if typeCategory[page] == 'handle':
567         #        autoGenHandlePage(baseDir, page)
579             for page in apiDict.keys():
580                 if not (page in genDict.keys()):
582                         logWarn(title, 'with no ref page generated:')
584                     logWarn('    ', page)