mirror of
https://github.com/PiBrewing/craftbeerpi4.git
synced 2024-12-29 17:01:44 +01:00
27 lines
1.1 KiB
Python
27 lines
1.1 KiB
Python
|
# Licensed under the GPL: https://www.gnu.org/licenses/old-licenses/gpl-2.0.html
|
||
|
# For details: https://github.com/PyCQA/pylint/blob/master/COPYING
|
||
|
|
||
|
from pylint.config.option_manager_mixin import OptionsManagerMixIn
|
||
|
from pylint.config.options_provider_mixin import OptionsProviderMixIn
|
||
|
|
||
|
|
||
|
class ConfigurationMixIn(OptionsManagerMixIn, OptionsProviderMixIn):
|
||
|
"""basic mixin for simple configurations which don't need the
|
||
|
manager / providers model"""
|
||
|
|
||
|
def __init__(self, *args, **kwargs):
|
||
|
if not args:
|
||
|
kwargs.setdefault("usage", "")
|
||
|
OptionsManagerMixIn.__init__(self, *args, **kwargs)
|
||
|
OptionsProviderMixIn.__init__(self)
|
||
|
if not getattr(self, "option_groups", None):
|
||
|
self.option_groups = []
|
||
|
for _, optdict in self.options:
|
||
|
try:
|
||
|
gdef = (optdict["group"].upper(), "")
|
||
|
except KeyError:
|
||
|
continue
|
||
|
if gdef not in self.option_groups:
|
||
|
self.option_groups.append(gdef)
|
||
|
self.register_options_provider(self, own_group=False)
|