def header(self):
        apis_named = ', '.join(sorted(set(api_name(api) for api in self.api)))
        date = datetime.now().strftime('%c')
        language = self.NAME_LONG
        specification = self.spec.NAME
        apis = ', '.join('{}={}'.format(api, '.'.join(map(str, version))) for api, version in self.api.items())
        profile = getattr(self.spec, 'profile', '-')
        extensions = ',\n        '.join(sorted(self.extension_names))
        online = self.online
        if len(online) > 2000:
            online = 'Too many extensions'

        if self.options.get('reproducible', False):
            date = '-'

        return self._header_template.format(
            apis_named=apis_named,
            version=glad.__version__,
            date=date,
            language=language,
            specification=specification,
            apis=apis,
            profile=profile,
            extensions=extensions,
            loader=self.has_loader,
            local_files=self.local_files,
            omit_khrplatform=self.omit_khrplatform,
            reproducible=self.options.get('reproducible', False),
            commandline=self.commandline,
            online=online
        )
Пример #2
0
    def header(self):
        apis_named = ', '.join(sorted(set(api_name(api) for api in self.api)))
        date = datetime.now().strftime('%c')
        language = self.NAME_LONG
        specification = self.spec.NAME
        apis = ', '.join('{}={}'.format(api, '.'.join(map(str, version)))
                         for api, version in self.api.items())
        profile = getattr(self.spec, 'profile', '-')
        extensions = ', '.join(self.extension_names)
        loader = 'Yes' if self.has_loader else 'No'
        online = self.online
        if len(online) > 2000:
            online = 'Too many extensions'

        return self._header_template.format(apis_named=apis_named,
                                            version=glad.__version__,
                                            date=date,
                                            language=language,
                                            specification=specification,
                                            apis=apis,
                                            profile=profile,
                                            extensions=extensions,
                                            loader=loader,
                                            commandline=self.commandline,
                                            online=online)
Пример #3
0
    def header(self):
        apis_named = ', '.join(sorted(set(api_name(api) for api in self.api)))
        version = get_glad_version()
        date = datetime.now().strftime('%c')
        language = self.NAME_LONG
        specification = self.spec.NAME
        apis = ', '.join('{}={}'.format(api, '.'.join(map(str, version))) for api, version in self.api.items())
        profile = getattr(self.spec, 'profile', '-')
        extensions = ', '.join(self.extension_names)
        loader = 'Yes' if self.has_loader else 'No'
        online = self.online
        if len(online) > 2000:
            online = 'Too many extensions'

        return self._header_template.format(
            apis_named=apis_named,
            version=version,
            date=date,
            language=language,
            specification=specification,
            apis=apis,
            profile=profile,
            extensions=extensions,
            loader=loader,
            commandline=self.commandline,
            online=online
        )
Пример #4
0
    def header(self):
        apis_named = ', '.join(sorted(set(api_name(api) for api in self.api)))
        date = datetime.now().strftime('%c')
        language = self.NAME_LONG
        specification = self.spec.NAME
        apis = ', '.join('{}={}'.format(api, '.'.join(map(str, version))) for api, version in self.api.items())
        profile = getattr(self.spec, 'profile', '-')
        extensions = ',\n        '.join(sorted(self.extension_names))
        online = self.online
        if len(online) > 2000:
            online = 'Too many extensions'

        if self.options.get('reproducible', False):
            date = '-'

        return self._header_template.format(
            apis_named=apis_named,
            version=glad.__version__,
            date=date,
            language=language,
            specification=specification,
            apis=apis,
            profile=profile,
            extensions=extensions,
            loader=self.has_loader,
            local_files=self.local_files,
            omit_khrplatform=self.omit_khrplatform,
            reproducible=self.options.get('reproducible', False),
            commandline=self.commandline,
            online=online
        )