Searched refs:RequestedExtension (Results 1 – 5 of 5) sorted by relevance
12 class RequestedExtension(Model): class36 super(RequestedExtension, self).__init__()
43 from .requested_extension import RequestedExtension
45 from .requested_extension import RequestedExtension
483 isAllowedToUseExtension(ExtensionID RequestedExtension) const final { in isAllowedToUseExtension() argument484 return TranslationOpts.isAllowedToUseExtension(RequestedExtension); in isAllowedToUseExtension()