tiramisu/tiramisu/option/intoption.py

58 lines
2.2 KiB
Python
Raw Normal View History

2017-07-24 19:04:18 +02:00
# -*- coding: utf-8 -*-
2019-02-12 06:55:47 +01:00
# Copyright (C) 2017-2019 Team tiramisu (see AUTHORS for all contributors)
2017-07-24 19:04:18 +02:00
#
# This program is free software: you can redistribute it and/or modify it
# under the terms of the GNU Lesser General Public License as published by the
# Free Software Foundation, either version 3 of the License, or (at your
# option) any later version.
#
# This program is distributed in the hope that it will be useful, but WITHOUT
# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
# FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more
# details.
#
# You should have received a copy of the GNU Lesser General Public License
# along with this program. If not, see <http://www.gnu.org/licenses/>.
#
# The original `Config` design model is unproudly borrowed from
# the rough pypy's guys: http://codespeak.net/svn/pypy/dist/pypy/config/
# the whole pypy projet is under MIT licence
# ____________________________________________________________
2018-11-15 18:35:14 +01:00
from ..setting import undefined, Undefined, OptionBag
2017-07-24 19:04:18 +02:00
from ..i18n import _
2017-07-24 20:39:01 +02:00
from .option import Option
2017-07-24 19:04:18 +02:00
class IntOption(Option):
"represents a choice of an integer"
__slots__ = tuple()
_display_name = _('integer')
2018-04-22 10:43:19 +02:00
def __init__(self,
name,
*args,
min_number=None,
max_number=None,
**kwargs):
extra = {}
if min_number is not None:
extra['min_number'] = min_number
if max_number is not None:
2018-09-11 20:12:06 +02:00
extra['max_number'] = max_number
2018-04-22 10:43:19 +02:00
super().__init__(name, extra=extra, *args, **kwargs)
2017-12-13 22:15:34 +01:00
def _validate(self,
2018-11-15 18:35:14 +01:00
value: int,
option_bag: OptionBag,
current_opt: Option=Undefined) -> None:
2017-07-24 19:04:18 +02:00
if not isinstance(value, int):
2017-12-13 22:15:34 +01:00
raise ValueError()
2018-09-30 11:36:09 +02:00
min_number = self.impl_get_extra('min_number')
2018-09-11 20:12:06 +02:00
if min_number is not None and value < min_number:
2019-02-23 22:28:00 +01:00
raise ValueError(_('value must be greater than "{0}"').format(min_number))
2018-09-30 11:36:09 +02:00
max_number = self.impl_get_extra('max_number')
2018-09-11 20:12:06 +02:00
if max_number is not None and value > max_number:
2019-02-23 22:28:00 +01:00
raise ValueError(_('value must be less than "{0}"').format(max_number))