add test test/test_dereference.py + memoryleaks in optiondescription's cache
[tiramisu.git] / tiramisu / option.py
index 9bdd4a5..8f598b9 100644 (file)
@@ -1,5 +1,5 @@
 # -*- coding: utf-8 -*-
-"option types and option description for the configuration management"
+"option types and option description"
 # Copyright (C) 2012-2013 Team tiramisu (see AUTHORS for all contributors)
 #
 # This program is free software; you can redistribute it and/or modify
 # the whole pypy projet is under MIT licence
 # ____________________________________________________________
 import re
-from copy import copy
+from copy import copy, deepcopy
 from types import FunctionType
-from tiramisu.error import (ConfigError, NotFoundError, ConflictConfigError,
-                            RequiresError)
+from IPy import IP
+
+from tiramisu.error import ConflictError
 from tiramisu.setting import groups, multitypes
+from tiramisu.i18n import _
+from tiramisu.autolib import carry_out_calculation
 
 name_regexp = re.compile(r'^\d+')
+forbidden_names = ('iter_all', 'iter_group', 'find', 'find_first',
+                   'make_dict', 'unwrap_from_path', 'read_only',
+                   'read_write', 'getowner', 'set_contexts')
 
 
 def valid_name(name):
+    "an option's name is a str and does not start with 'impl' or 'cfgimpl'"
     try:
         name = str(name)
     except:
-        raise ValueError("not a valid string name")
-    if re.match(name_regexp, name) is None:
+        return False
+    if re.match(name_regexp, name) is None and not name.startswith('_') \
+            and name not in forbidden_names \
+            and not name.startswith('impl_') \
+            and not name.startswith('cfgimpl_'):
         return True
     else:
         return False
@@ -44,28 +54,40 @@ def valid_name(name):
 
 
 class BaseInformation(object):
-    __slots__ = ('informations')
+    "interface for an option's information attribute"
+    __slots__ = ('_impl_informations',)
 
-    def set_information(self, key, value):
+    def impl_set_information(self, key, value):
         """updates the information's attribute
-        (wich is a dictionnary)
+        (which is a dictionary)
 
         :param key: information's key (ex: "help", "doc"
         :param value: information's value (ex: "the help string")
         """
-        self.informations[key] = value
+        try:
+            self._impl_informations[key] = value
+        except AttributeError:
+            raise AttributeError(_('{0} has no attribute '
+                                   'impl_set_information').format(
+                                   self.__class__.__name__))
 
-    def get_information(self, key, default=None):
+    def impl_get_information(self, key, default=None):
         """retrieves one information's item
 
         :param key: the item string (ex: "help")
         """
-        if key in self.informations:
-            return self.informations[key]
-        elif default is not None:
-            return default
-        else:
-            raise ValueError("Information's item not found: {0}".format(key))
+        try:
+            if key in self._impl_informations:
+                return self._impl_informations[key]
+            elif default is not None:
+                return default
+            else:
+                raise ValueError(_("Information's item"
+                                   "not found: {0}").format(key))
+        except AttributeError:
+            raise AttributeError(_('{0} has no attribute '
+                                   'impl_get_information').format(
+                                   self.__class__.__name__))
 
 
 class Option(BaseInformation):
@@ -74,15 +96,16 @@ class Option(BaseInformation):
 
     Reminder: an Option object is **not** a container for the value
     """
-    __slots__ = ('_name', '_requires', 'multi', '_validator', 'default_multi',
-                 'default', '_properties', 'callback', 'multitype',
-                 'master_slaves')
+    __slots__ = ('_name', '_requires', '_multi', '_validator',
+                 '_default_multi', '_default', '_properties', '_callback',
+                 '_multitype', '_master_slaves', '_consistencies', '_empty',
+                 '_calc_properties', '__weakref__')
+    _empty = ''
 
     def __init__(self, name, doc, default=None, default_multi=None,
                  requires=None, multi=False, callback=None,
                  callback_params=None, validator=None, validator_args=None,
                  properties=None):
-        #FIXME : validation de callback et callback_params !!!
         """
         :param name: the option's name
         :param doc: the option's description
@@ -99,172 +122,282 @@ class Option(BaseInformation):
         :param validator: the name of a function wich stands for a custom
                           validation of the value
         :param validator_args: the validator's parameters
+
         """
         if not valid_name(name):
-            raise NameError("invalid name: {0} for option".format(name))
+            raise ValueError(_("invalid name: {0} for option").format(name))
         self._name = name
-        self.informations = {}
-        self.set_information('doc', doc)
-        validate_requires_arg(requires, self._name)
-        self._requires = requires
-        self.multi = multi
+        self._impl_informations = {}
+        self.impl_set_information('doc', doc)
+        self._calc_properties, self._requires = validate_requires_arg(
+            requires, self._name)
+        self._multi = multi
+        self._consistencies = None
         if validator is not None:
             if type(validator) != FunctionType:
-                raise TypeError("validator must be a function")
+                raise TypeError(_("validator must be a function"))
             if validator_args is None:
                 validator_args = {}
             self._validator = (validator, validator_args)
         else:
             self._validator = None
-        if not self.multi and default_multi is not None:
-            raise ConfigError("a default_multi is set whereas multi is False"
-                              " in option: {0}".format(name))
-        if default_multi is not None and not self._validate(default_multi):
-            raise ConfigError("invalid default_multi value {0} "
-                              "for option {1}".format(str(default_multi), name))
-        if callback is not None and (default is not None or default_multi is not None):
-            raise ConfigError("defaut values not allowed if option: {0} "
-                              "is calculated".format(name))
+        if not self._multi and default_multi is not None:
+            raise ValueError(_("a default_multi is set whereas multi is False"
+                             " in option: {0}").format(name))
+        if default_multi is not None:
+            try:
+                self._validate(default_multi)
+            except ValueError, err:
+                raise ValueError(_("invalid default_multi value {0} "
+                                   "for option {1}: {2}").format(
+                                   str(default_multi), name, err))
+        if callback is not None and (default is not None or
+                                     default_multi is not None):
+            raise ValueError(_("default value not allowed if option: {0} "
+                             "is calculated").format(name))
         if callback is None and callback_params is not None:
-            raise ConfigError("params defined for a callback function but "
-                              "no callback defined yet for option {0}".format(name))
+            raise ValueError(_("params defined for a callback function but "
+                             "no callback defined"
+                             " yet for option {0}").format(name))
         if callback is not None:
-            self.callback = (callback, callback_params)
+            if type(callback) != FunctionType:
+                raise ValueError('callback must be a function')
+            if callback_params is not None and \
+                    not isinstance(callback_params, dict):
+                raise ValueError('callback_params must be a dict')
+            self._callback = (callback, callback_params)
         else:
-            self.callback = None
-        if self.multi:
+            self._callback = None
+        if self._multi:
             if default is None:
                 default = []
-            if not isinstance(default, list):
-                raise ConfigError("invalid default value {0} "
-                                  "for option {1} : not list type"
-                                  "".format(str(default), name))
-            if not self.validate(default):
-                raise ConfigError("invalid default value {0} "
-                                  "for option {1}"
-                                  "".format(str(default), name))
-            self.multitype = multitypes.default
-            self.default_multi = default_multi
-        else:
-            if default is not None and not self.validate(default):
-                raise ConfigError("invalid default value {0} "
-                                  "for option {1}".format(str(default), name))
-        self.default = default
+            self._multitype = multitypes.default
+            self._default_multi = default_multi
+        self.impl_validate(default)
+        self._default = default
         if properties is None:
-            properties = ()
+            properties = tuple()
         if not isinstance(properties, tuple):
-            raise ConfigError('invalid properties type {0} for {1},'
-                              ' must be a tuple'.format(type(properties), self._name))
+            raise TypeError(_('invalid properties type {0} for {1},'
+                            ' must be a tuple').format(
+                                                type(properties),
+                                                self._name))
         self._properties = properties  # 'hidden', 'disabled'...
 
-    def validate(self, value, validate=True):
+    def __eq__(self, other):
+        "Option comparison"
+        if not isinstance(other, Option):
+            return False
+        slots = list(self.__slots__ +
+                     Option.__slots__ +
+                     BaseInformation.__slots__)
+        for var in slots:
+            try:
+                val1 = getattr(self, var)
+                not_in1 = False
+            except:
+                not_in1 = True
+            try:
+                val2 = getattr(other, var)
+                not_in2 = False
+            except:
+                not_in2 = True
+            if True in (not_in1, not_in2):
+                if not_in1 != not_in2:
+                    return False
+            elif val1 != val2:
+                return False
+        return True
+
+    def __ne__(self, other):
+        if not isinstance(other, Option):
+            return False
+        return not self == other
+
+    def _launch_consistency(self, func, opt, vals, context, index, opt_):
+        if context is not None:
+            descr = context.cfgimpl_get_description()
+        if opt is self:
+            #values are for self, search opt_ values
+            values = vals
+            if context is not None:
+                path = descr.impl_get_path_by_opt(opt_)
+                values_ = context._getattr(path, validate=False)
+            else:
+                values_ = opt_.impl_getdefault()
+            if index is not None:
+                #value is not already set, could be higher
+                try:
+                    values_ = values_[index]
+                except IndexError:
+                    values_ = None
+        else:
+            #values are for opt_, search self values
+            values_ = vals
+            if context is not None:
+                path = descr.impl_get_path_by_opt(self)
+                values = context._getattr(path, validate=False)
+            else:
+                values = self.impl_getdefault()
+            if index is not None:
+                #value is not already set, could be higher
+                try:
+                    values = values[index]
+                except IndexError:
+                    values = None
+        if index is None and self.impl_is_multi():
+            for index in range(0, len(values)):
+                try:
+                    value = values[index]
+                    value_ = values_[index]
+                except IndexError:
+                    value = None
+                    value_ = None
+                if None not in (value, value_):
+                    getattr(self, func)(opt_._name, value, value_)
+        else:
+            if None not in (values, values_):
+                getattr(self, func)(opt_._name, values, values_)
+
+    def impl_validate(self, value, context=None, validate=True):
         """
         :param value: the option's value
         :param validate: if true enables ``self._validator`` validation
         """
+        if not validate:
+            return
+
+        def val_validator(val):
+            if self._validator is not None:
+                callback_params = deepcopy(self._validator[1])
+                callback_params.setdefault('', []).insert(0, val)
+                return carry_out_calculation(self._name, config=context,
+                                             callback=self._validator[0],
+                                             callback_params=callback_params)
+            else:
+                return True
+
+        def do_validation(_value, _index=None):
+            if _value is None:
+                return True
+            if not val_validator(_value):
+                raise ValueError(_("invalid value {0} "
+                                   "for option {1} for object {2}"
+                                   ).format(_value,
+                                            self._name,
+                                            self.__class__.__name__))
+            try:
+                self._validate(_value)
+            except ValueError, err:
+                raise ValueError(_("invalid value {0} for option {1}: {2}"
+                                   "").format(_value, self._name, err))
+            if context is not None:
+                descr._valid_consistency(self, _value, context, _index)
+
         # generic calculation
-        if not self.multi:
-            # None allows the reset of the value
-            if value is not None:
-                # customizing the validator
-                if validate and self._validator is not None and \
-                        not self._validator[0](value, **self._validator[1]):
-                    return False
-                return self._validate(value)
+        if context is not None:
+            descr = context.cfgimpl_get_description()
+        if not self._multi:
+            do_validation(value)
         else:
             if not isinstance(value, list):
-                raise ConfigError("invalid value {0} "
-                                  "for option {1} which must be a list"
-                                  "".format(value, self._name))
-            for val in value:
-                # None allows the reset of the value
-                if val is not None:
-                    # customizing the validator
-                    if validate and self._validator is not None and \
-                            not self._validator[0](val, **self._validator[1]):
-                        return False
-                    if not self._validate(val):
-                        return False
-        return True
-
-    def getdefault(self, default_multi=False):
+                raise ValueError(_("invalid value {0} for option {1} "
+                                   "which must be a list").format(value,
+                                                                  self._name))
+            for index in range(0, len(value)):
+                val = value[index]
+                do_validation(val, index)
+
+    def impl_getdefault(self, default_multi=False):
         "accessing the default value"
-        if not default_multi or not self.is_multi():
-            return self.default
+        if not default_multi or not self.impl_is_multi():
+            return self._default
         else:
             return self.getdefault_multi()
 
-    def getdefault_multi(self):
+    def impl_getdefault_multi(self):
         "accessing the default value for a multi"
-        return self.default_multi
+        return self._default_multi
 
-    def is_empty_by_default(self):
+    def impl_get_multitype(self):
+        return self._multitype
+
+    def impl_get_master_slaves(self):
+        return self._master_slaves
+
+    def impl_is_empty_by_default(self):
         "no default value has been set yet"
-        if ((not self.is_multi() and self.default is None) or
-                (self.is_multi() and (self.default == [] or None in self.default))):
+        if ((not self.impl_is_multi() and self._default is None) or
+                (self.impl_is_multi() and (self._default == []
+                                      or None in self._default))):
             return True
         return False
 
-    def getdoc(self):
+    def impl_getdoc(self):
         "accesses the Option's doc"
-        return self.get_information('doc')
+        return self.impl_get_information('doc')
 
-    def has_callback(self):
+    def impl_has_callback(self):
         "to know if a callback has been defined or not"
-        if self.callback is None:
+        if self._callback is None:
             return False
         else:
             return True
 
-    def reset(self, config):
-        """resets the default value and owner
-        """
-        config._cfgimpl_context._cfgimpl_values.reset(self)
-
-    def setoption(self, config, value):
-        """changes the option's value with the value_owner's who
-        :param config: the parent config is necessary here to store the value
-        """
-        name = self._name
-        setting = config.cfgimpl_get_settings()
-        if not self.validate(value, setting.has_property('validator')):
-            raise ConfigError('invalid value %s for option %s' % (value, name))
-        if self not in config._cfgimpl_descr._children[1]:
-            raise AttributeError('unknown option %s' % (name))
-
-        if setting.has_property('everything_frozen'):
-            raise TypeError("cannot set a value to the option {} if the whole "
-                            "config has been frozen".format(name))
-
-        if setting.has_property('frozen') and setting.has_property('frozen',
-                                                                   self, False):
-            raise TypeError('cannot change the value to %s for '
-                            'option %s this option is frozen' % (str(value), name))
-        #apply_requires(self, config)
-        config.cfgimpl_get_values()[self] = value
-
-    def getkey(self, value):
+    def impl_getkey(self, value):
         return value
 
-    def is_multi(self):
-        return self.multi
+    def impl_is_multi(self):
+        return self._multi
+
+    def impl_add_consistency(self, func, opt):
+        if self._consistencies is None:
+            self._consistencies = []
+        if not isinstance(opt, Option):
+            raise ValueError('consistency must be set with an option')
+        if self is opt:
+            raise ValueError('cannot add consistency with itself')
+        if self.impl_is_multi() != opt.impl_is_multi():
+            raise ValueError('options in consistency'
+                             ' should be multi in two sides')
+        func = '_cons_{0}'.format(func)
+        self._launch_consistency(func,
+                                 self,
+                                 self.impl_getdefault(),
+                                 None, None, opt)
+        self._consistencies.append((func, opt))
+        self.impl_validate(self.impl_getdefault())
+
+    def _cons_not_equal(self, optname, value, value_):
+        if value == value_:
+            raise ValueError(_("invalid value {0} for option {1} "
+                               "must be different as {2} option"
+                               "").format(value, self._name, optname))
 
 
 class ChoiceOption(Option):
-    __slots__ = ('values', 'open_values', 'opt_type')
-    opt_type = 'string'
+    """represents a choice out of several objects.
+
+    The option can also have the value ``None``
+    """
+
+    __slots__ = ('_values', '_open_values', '_opt_type')
+    _opt_type = 'string'
 
     def __init__(self, name, doc, values, default=None, default_multi=None,
                  requires=None, multi=False, callback=None,
                  callback_params=None, open_values=False, validator=None,
                  validator_args=None, properties=()):
+        """
+        :param values: is a list of values the option can possibly take
+        """
         if not isinstance(values, tuple):
-            raise ConfigError('values must be a tuple for {0}'.format(name))
-        self.values = values
+            raise TypeError(_('values must be a tuple for {0}').format(name))
+        self._values = values
         if open_values not in (True, False):
-            raise ConfigError('Open_values must be a boolean for '
-                              '{0}'.format(name))
-        self.open_values = open_values
+            raise TypeError(_('open_values must be a boolean for '
+                            '{0}').format(name))
+        self._open_values = open_values
         super(ChoiceOption, self).__init__(name, doc, default=default,
                                            default_multi=default_multi,
                                            callback=callback,
@@ -275,183 +408,422 @@ class ChoiceOption(Option):
                                            validator_args=validator_args,
                                            properties=properties)
 
+    def impl_get_values(self):
+        return self._values
+
+    def impl_is_openvalues(self):
+        return self._open_values
+
     def _validate(self, value):
-        if not self.open_values:
-            return value is None or value in self.values
-        else:
-            return True
+        if not self._open_values and not value in self._values:
+            raise ValueError(_('value {0} is not permitted, '
+                               'only {1} is allowed'
+                               '').format(value, self._values))
 
 
 class BoolOption(Option):
-    __slots__ = ('opt_type')
-    opt_type = 'bool'
+    "represents a choice between ``True`` and ``False``"
+    __slots__ = ('_opt_type',)
+    _opt_type = 'bool'
 
     def _validate(self, value):
-        return isinstance(value, bool)
+        if not isinstance(value, bool):
+            raise ValueError(_('value must be a boolean'))
 
 
 class IntOption(Option):
-    __slots__ = ('opt_type')
-    opt_type = 'int'
+    "represents a choice of an integer"
+    __slots__ = ('_opt_type',)
+    _opt_type = 'int'
 
     def _validate(self, value):
-        return isinstance(value, int)
+        if not isinstance(value, int):
+            raise ValueError(_('value must be an integer'))
 
 
 class FloatOption(Option):
-    __slots__ = ('opt_type')
-    opt_type = 'float'
+    "represents a choice of a floating point number"
+    __slots__ = ('_opt_type',)
+    _opt_type = 'float'
 
     def _validate(self, value):
-        return isinstance(value, float)
+        if not isinstance(value, float):
+            raise ValueError(_('value must be a float'))
 
 
 class StrOption(Option):
-    __slots__ = ('opt_type')
-    opt_type = 'string'
+    "represents the choice of a string"
+    __slots__ = ('_opt_type',)
+    _opt_type = 'string'
 
     def _validate(self, value):
-        return isinstance(value, str)
+        if not isinstance(value, str):
+            raise ValueError(_('value must be a string, not '
+                               '{0}').format(type(value)))
 
 
 class UnicodeOption(Option):
-    __slots__ = ('opt_type')
-    opt_type = 'unicode'
+    "represents the choice of a unicode string"
+    __slots__ = ('_opt_type',)
+    _opt_type = 'unicode'
+    _empty = u''
 
     def _validate(self, value):
-        return isinstance(value, unicode)
+        if not isinstance(value, unicode):
+            raise ValueError(_('value must be an unicode'))
 
 
 class SymLinkOption(object):
-    __slots__ = ('_name', 'opt')
-    opt_type = 'symlink'
+    __slots__ = ('_name', '_opt', '_consistencies')
+    _opt_type = 'symlink'
+    _consistencies = None
 
-    def __init__(self, name, path, opt):
+    def __init__(self, name, opt):
         self._name = name
-        self.opt = opt
-
-    def setoption(self, config, value):
-        context = config.cfgimpl_get_context()
-        path = context.cfgimpl_get_description().get_path_by_opt(self.opt)
-        setattr(context, path, value)
+        if not isinstance(opt, Option):
+            raise ValueError(_('malformed symlinkoption '
+                               'must be an option '
+                               'for symlink {0}').format(name))
+        self._opt = opt
 
     def __getattr__(self, name):
-        if name in ('_name', 'opt', 'setoption'):
-            return object.__gettattr__(self, name)
+        if name in ('_name', '_opt', '_consistencies'):
+            return object.__getattr__(self, name)
         else:
-            return getattr(self.opt, name)
+            return getattr(self._opt, name)
 
 
 class IPOption(Option):
-    __slots__ = ('opt_type')
-    opt_type = 'ip'
+    "represents the choice of an ip"
+    __slots__ = ('_opt_type', '_only_private')
+    _opt_type = 'ip'
+
+    def __init__(self, name, doc, default=None, default_multi=None,
+                 requires=None, multi=False, callback=None,
+                 callback_params=None, validator=None, validator_args=None,
+                 properties=None, only_private=False):
+        self._only_private = only_private
+        super(IPOption, self).__init__(name, doc, default=default,
+                                       default_multi=default_multi,
+                                       callback=callback,
+                                       callback_params=callback_params,
+                                       requires=requires,
+                                       multi=multi,
+                                       validator=validator,
+                                       validator_args=validator_args,
+                                       properties=properties)
 
     def _validate(self, value):
-        # by now the validation is nothing but a string, use IPy instead
-        return isinstance(value, str)
+        ip = IP('{0}/32'.format(value))
+        if ip.iptype() == 'RESERVED':
+            raise ValueError(_("IP mustn't not be in reserved class"))
+        if self._only_private and not ip.iptype() == 'PRIVATE':
+            raise ValueError(_("IP must be in private class"))
+
+
+class PortOption(Option):
+    """represents the choice of a port
+    The port numbers are divided into three ranges:
+    the well-known ports,
+    the registered ports,
+    and the dynamic or private ports.
+    You can actived this three range.
+    Port number 0 is reserved and can't be used.
+    see: http://en.wikipedia.org/wiki/Port_numbers
+    """
+    __slots__ = ('_opt_type', '_allow_range', '_allow_zero', '_min_value',
+                 '_max_value')
+    _opt_type = 'port'
+
+    def __init__(self, name, doc, default=None, default_multi=None,
+                 requires=None, multi=False, callback=None,
+                 callback_params=None, validator=None, validator_args=None,
+                 properties=None, allow_range=False, allow_zero=False,
+                 allow_wellknown=True, allow_registred=True,
+                 allow_private=False):
+        self._allow_range = allow_range
+        self._min_value = None
+        self._max_value = None
+        ports_min = [0, 1, 1024, 49152]
+        ports_max = [0, 1023, 49151, 65535]
+        is_finally = False
+        for index, allowed in enumerate([allow_zero,
+                                         allow_wellknown,
+                                         allow_registred,
+                                         allow_private]):
+            if self._min_value is None:
+                if allowed:
+                    self._min_value = ports_min[index]
+            elif not allowed:
+                is_finally = True
+            elif allowed and is_finally:
+                raise ValueError(_('inconsistency in allowed range'))
+            if allowed:
+                self._max_value = ports_max[index]
+
+        if self._max_value is None:
+            raise ValueError(_('max value is empty'))
+
+        super(PortOption, self).__init__(name, doc, default=default,
+                                         default_multi=default_multi,
+                                         callback=callback,
+                                         callback_params=callback_params,
+                                         requires=requires,
+                                         multi=multi,
+                                         validator=validator,
+                                         validator_args=validator_args,
+                                         properties=properties)
+
+    def _validate(self, value):
+        if self._allow_range and ":" in str(value):
+            value = str(value).split(':')
+            if len(value) != 2:
+                raise ValueError('range must have two values only')
+            if not value[0] < value[1]:
+                raise ValueError('first port in range must be'
+                                 ' smaller than the second one')
+        else:
+            value = [value]
+
+        for val in value:
+            if not self._min_value <= int(val) <= self._max_value:
+                raise ValueError('port must be an between {0} and {1}'
+                                 ''.format(self._min_value, self._max_value))
+
+
+class NetworkOption(Option):
+    "represents the choice of a network"
+    __slots__ = ('_opt_type',)
+    _opt_type = 'network'
+
+    def _validate(self, value):
+        ip = IP(value)
+        if ip.iptype() == 'RESERVED':
+            raise ValueError(_("network mustn't not be in reserved class"))
 
 
 class NetmaskOption(Option):
-    __slots__ = ('opt_type')
-    opt_type = 'netmask'
+    "represents the choice of a netmask"
+    __slots__ = ('_opt_type',)
+    _opt_type = 'netmask'
 
     def _validate(self, value):
-        # by now the validation is nothing but a string, use IPy instead
-        return isinstance(value, str)
+        IP('0.0.0.0/{0}'.format(value))
+
+    def _cons_network_netmask(self, optname, value, value_):
+        #opts must be (netmask, network) options
+        self.__cons_netmask(optname, value, value_, False)
+
+    def _cons_ip_netmask(self, optname, value, value_):
+        #opts must be (netmask, ip) options
+        self.__cons_netmask(optname, value, value_, True)
+
+    #def __cons_netmask(self, opt, value, context, index, opts, make_net):
+    def __cons_netmask(self, optname, val_netmask, val_ipnetwork, make_net):
+        msg = None
+        try:
+            ip = IP('{0}/{1}'.format(val_ipnetwork, val_netmask),
+                    make_net=make_net)
+            #if cidr == 32, ip same has network
+            if ip.prefixlen() != 32:
+                try:
+                    IP('{0}/{1}'.format(val_ipnetwork, val_netmask),
+                        make_net=not make_net)
+                except ValueError:
+                    if not make_net:
+                        msg = _("invalid network {0} ({1}) "
+                                "with netmask {2} ({3}),"
+                                " this network is an IP")
+                else:
+                    if make_net:
+                        msg = _("invalid IP {0} ({1}) with netmask {2} ({3}),"
+                                " this IP is a network")
+
+        except ValueError:
+            if make_net:
+                msg = _("invalid IP {0} ({1}) with netmask {2} ({3})")
+            else:
+                msg = _("invalid network {0} ({1}) with netmask {2} ({3})")
+        if msg is not None:
+            raise ValueError(msg.format(val_ipnetwork, optname,
+                                        val_netmask, self._name))
+
+
+class DomainnameOption(Option):
+    "represents the choice of a domain name"
+    __slots__ = ('_opt_type', '_type', '_allow_ip')
+    _opt_type = 'domainname'
+
+    def __init__(self, name, doc, default=None, default_multi=None,
+                 requires=None, multi=False, callback=None,
+                 callback_params=None, validator=None, validator_args=None,
+                 properties=None, allow_ip=False, type_='domainname'):
+        #netbios: for MS domain
+        #hostname: to identify the device
+        #domainname:
+        #fqdn: with tld, not supported yet
+        if type_ not in ['netbios', 'hostname', 'domainname']:
+            raise ValueError(_('unknown type_ {0} for hostname').format(type_))
+        self._type = type_
+        if allow_ip not in [True, False]:
+            raise ValueError(_('allow_ip must be a boolean'))
+        self._allow_ip = allow_ip
+        super(DomainnameOption, self).__init__(name, doc, default=default,
+                                               default_multi=default_multi,
+                                               callback=callback,
+                                               callback_params=callback_params,
+                                               requires=requires,
+                                               multi=multi,
+                                               validator=validator,
+                                               validator_args=validator_args,
+                                               properties=properties)
+
+    def _validate(self, value):
+        if self._allow_ip is True:
+            try:
+                IP('{0}/32'.format(value))
+                return
+            except ValueError:
+                pass
+        if self._type == 'netbios':
+            length = 15
+            extrachar = ''
+        elif self._type == 'hostname':
+            length = 63
+            extrachar = ''
+        elif self._type == 'domainname':
+            length = 255
+            extrachar = '\.'
+            if '.' not in value:
+                raise ValueError(_("invalid value for {0}, must have dot"
+                                   "").format(self._name))
+        if len(value) > length:
+            raise ValueError(_("invalid domainname's length for "
+                               " {0} (max {1})").format(self._name, length))
+        if len(value) == 1:
+            raise ValueError(_("invalid domainname's length for {0} (min 2)"
+                               "").format(self._name))
+        regexp = r'^[a-z]([a-z\d{0}-])*[a-z\d]$'.format(extrachar)
+        if re.match(regexp, value) is None:
+            raise ValueError(_('invalid domainname'))
 
 
 class OptionDescription(BaseInformation):
-    """Config's schema (organisation, group) and container of Options"""
+    """Config's schema (organisation, group) and container of Options
+    The `OptionsDescription` objects lives in the `tiramisu.config.Config`.
+    """
     __slots__ = ('_name', '_requires', '_cache_paths', '_group_type',
-                 '_properties', '_children')
+                 '_properties', '_children', '_consistencies',
+                 '_calc_properties', '__weakref__')
 
-    def __init__(self, name, doc, children, requires=None, properties=()):
+    def __init__(self, name, doc, children, requires=None, properties=None):
         """
-        :param children: is a list of option descriptions (including
-        ``OptionDescription`` instances for nested namespaces).
+        :param children: a list of options (including optiondescriptions)
+
         """
         if not valid_name(name):
-            raise NameError("invalid name: {0} for option descr".format(name))
+            raise ValueError(_("invalid name: "
+                               " {0} for optiondescription").format(name))
         self._name = name
-        self.informations = {}
-        self.set_information('doc', doc)
+        self._impl_informations = {}
+        self.impl_set_information('doc', doc)
         child_names = [child._name for child in children]
         #better performance like this
         valid_child = copy(child_names)
         valid_child.sort()
         old = None
         for child in valid_child:
-            if child == old:
-                raise ConflictConfigError('duplicate option name: '
-                                          '{0}'.format(child))
+            if id(child) == id(old):
+                raise ConflictError(_('duplicate option name: '
+                                      '{0}').format(child))
             old = child
         self._children = (tuple(child_names), tuple(children))
-        validate_requires_arg(requires, self._name)
-        self._requires = requires
+        self._calc_properties, self._requires = validate_requires_arg(requires, self._name)
         self._cache_paths = None
+        self._consistencies = None
+        if properties is None:
+            properties = tuple()
         if not isinstance(properties, tuple):
-            raise ConfigError('invalid properties type {0} for {1},'
-                              ' must be a tuple'.format(type(properties), self._name))
+            raise TypeError(_('invalid properties type {0} for {1},'
+                              ' must be a tuple').format(type(properties),
+                                                         self._name))
         self._properties = properties  # 'hidden', 'disabled'...
         # the group_type is useful for filtering OptionDescriptions in a config
         self._group_type = groups.default
 
-    def getdoc(self):
-        return self.get_information('doc')
+    def impl_getdoc(self):
+        return self.impl_get_information('doc')
 
     def __getattr__(self, name):
         try:
             return self._children[1][self._children[0].index(name)]
         except ValueError:
-            raise AttributeError('unknown Option {} in OptionDescription {}'
-                                 ''.format(name, self._name))
+            raise AttributeError(_('unknown Option {0} '
+                                   'in OptionDescription {1}'
+                                   '').format(name, self._name))
 
-    def getkey(self, config):
-        return tuple([child.getkey(getattr(config, child._name))
-                      for child in self._children[1]])
+    def impl_getkey(self, config):
+        return tuple([child.impl_getkey(getattr(config, child._name))
+                      for child in self.impl_getchildren()])
 
-    def getpaths(self, include_groups=False, _currpath=None):
+    def impl_getpaths(self, include_groups=False, _currpath=None):
         """returns a list of all paths in self, recursively
            _currpath should not be provided (helps with recursion)
         """
-        #FIXME : cache
         if _currpath is None:
             _currpath = []
         paths = []
-        for option in self._children[1]:
+        for option in self.impl_getchildren():
             attr = option._name
             if isinstance(option, OptionDescription):
                 if include_groups:
                     paths.append('.'.join(_currpath + [attr]))
-                paths += option.getpaths(include_groups=include_groups,
-                                         _currpath=_currpath + [attr])
+                paths += option.impl_getpaths(include_groups=include_groups,
+                                              _currpath=_currpath + [attr])
             else:
                 paths.append('.'.join(_currpath + [attr]))
         return paths
 
-    def getchildren(self):
+    def impl_getchildren(self):
         return self._children[1]
 
-    def build_cache(self, cache_path=None, cache_option=None, _currpath=None):
+    def impl_build_cache(self,
+                         cache_path=None,
+                         cache_option=None,
+                         _currpath=None,
+                         _consistencies=None):
         if _currpath is None and self._cache_paths is not None:
             return
         if _currpath is None:
             save = True
             _currpath = []
+            _consistencies = {}
         else:
             save = False
         if cache_path is None:
-            cache_path = [self._name]
-            cache_option = [self]
-        for option in self._children[1]:
+            cache_path = []
+            cache_option = []
+        for option in self.impl_getchildren():
             attr = option._name
             if attr.startswith('_cfgimpl'):
                 continue
             cache_option.append(option)
             cache_path.append(str('.'.join(_currpath + [attr])))
-            if isinstance(option, OptionDescription):
+            if not isinstance(option, OptionDescription):
+                if option._consistencies is not None:
+                    for consistency in option._consistencies:
+                        func, opt = consistency
+                        opts = (option, opt)
+                        _consistencies.setdefault(opt,
+                                                  []).append((func, opts))
+                        _consistencies.setdefault(option,
+                                                  []).append((func, opts))
+            else:
                 _currpath.append(attr)
-                option.build_cache(cache_path, cache_option, _currpath)
+                option.impl_build_cache(cache_path,
+                                        cache_option,
+                                        _currpath,
+                                        _consistencies)
                 _currpath.pop()
         if save:
             #valid no duplicated option
@@ -459,34 +831,36 @@ class OptionDescription(BaseInformation):
             valid_child.sort()
             old = None
             for child in valid_child:
-                if child == old:
-                    raise ConflictConfigError('duplicate option: '
-                                              '{0}'.format(child))
+                if id(child) == id(old):
+                    raise ConflictError(_('duplicate option: '
+                                          '{0}').format(child))
                 old = child
             self._cache_paths = (tuple(cache_option), tuple(cache_path))
+            self._consistencies = _consistencies
 
-    def get_opt_by_path(self, path):
+    def impl_get_opt_by_path(self, path):
         try:
             return self._cache_paths[0][self._cache_paths[1].index(path)]
         except ValueError:
-            raise NotFoundError('no option for path {}'.format(path))
+            raise AttributeError(_('no option for path {0}').format(path))
 
-    def get_path_by_opt(self, opt):
+    def impl_get_path_by_opt(self, opt):
         try:
             return self._cache_paths[1][self._cache_paths[0].index(opt)]
         except ValueError:
-            raise NotFoundError('no option {} found'.format(opt))
+            raise AttributeError(_('no option {0} found').format(opt))
 
     # ____________________________________________________________
-    def set_group_type(self, group_type):
+    def impl_set_group_type(self, group_type):
         """sets a given group object to an OptionDescription
 
         :param group_type: an instance of `GroupType` or `MasterGroupType`
                               that lives in `setting.groups`
         """
         if self._group_type != groups.default:
-            ConfigError('cannot change group_type if already set '
-                        '(old {}, new {})'.format(self._group_type, group_type))
+            raise TypeError(_('cannot change group_type if already set '
+                            '(old {0}, new {1})').format(self._group_type,
+                                                         group_type))
         if isinstance(group_type, groups.GroupType):
             self._group_type = group_type
             if isinstance(group_type, groups.MasterGroupType):
@@ -495,58 +869,144 @@ class OptionDescription(BaseInformation):
                 #for collect all slaves
                 slaves = []
                 master = None
-                for child in self._children[1]:
+                for child in self.impl_getchildren():
                     if isinstance(child, OptionDescription):
-                        raise ConfigError("master group {} shall not have "
-                                          "a subgroup".format(self._name))
-                    if not child.multi:
-                        raise ConfigError("not allowed option {0} in group {1}"
-                                          ": this option is not a multi"
-                                          "".format(child._name, self._name))
+                        raise ValueError(_("master group {0} shall not have "
+                                         "a subgroup").format(self._name))
+                    if isinstance(child, SymLinkOption):
+                        raise ValueError(_("master group {0} shall not have "
+                                         "a symlinkoption").format(self._name))
+                    if not child.impl_is_multi():
+                        raise ValueError(_("not allowed option {0} "
+                                         "in group {1}"
+                                         ": this option is not a multi"
+                                         "").format(child._name, self._name))
                     if child._name == self._name:
                         identical_master_child_name = True
-                        child.multitype = multitypes.master
+                        child._multitype = multitypes.master
                         master = child
                     else:
                         slaves.append(child)
                 if master is None:
-                    raise ConfigError('master group with wrong master name for {}'
-                                      ''.format(self._name))
-                master.master_slaves = tuple(slaves)
-                for child in self._children[1]:
+                    raise ValueError(_('master group with wrong'
+                                       ' master name for {0}'
+                                       ).format(self._name))
+                master._master_slaves = tuple(slaves)
+                for child in self.impl_getchildren():
                     if child != master:
-                        child.master_slaves = master
-                        child.multitype = multitypes.slave
+                        child._master_slaves = master
+                        child._multitype = multitypes.slave
                 if not identical_master_child_name:
-                    raise ConfigError("the master group: {} has not any "
-                                      "master child".format(self._name))
+                    raise ValueError(_("no child has same nom has master group"
+                                       " for: {0}").format(self._name))
         else:
-            raise ConfigError('not allowed group_type : {0}'.format(group_type))
+            raise ValueError(_('group_type : {0}'
+                               ' not allowed').format(group_type))
 
-    def get_group_type(self):
+    def impl_get_group_type(self):
         return self._group_type
 
+    def _valid_consistency(self, opt, value, context=None, index=None):
+        consistencies = self._consistencies.get(opt)
+        if consistencies is not None:
+            for consistency in consistencies:
+                opt_ = consistency[1]
+                ret = opt_[0]._launch_consistency(consistency[0],
+                                                  opt,
+                                                  value,
+                                                  context,
+                                                  index,
+                                                  opt_[1])
+                if ret is False:
+                    return False
+        return True
+
 
 def validate_requires_arg(requires, name):
-    "check malformed requirements"
-    if requires is not None:
-        config_action = {}
-        for req in requires:
-            if not type(req) == tuple:
-                raise RequiresError("malformed requirements type for option:"
-                                    " {0}, must be a tuple".format(name))
-            if len(req) == 3:
-                action = req[2]
-                inverse = False
-            elif len(req) == 4:
-                action = req[2]
-                inverse = req[3]
-            else:
-                raise RequiresError("malformed requirements for option: {0}"
-                                    " invalid len".format(name))
-            if action in config_action:
-                if inverse != config_action[action]:
-                    raise RequiresError("inconsistency in action types for option: {0}"
-                                        " action: {1}".format(name, action))
-            else:
-                config_action[action] = inverse
+    """check malformed requirements
+    and tranform dict to internal tuple
+
+    :param requires: have a look at the
+                     :meth:`tiramisu.setting.Settings.apply_requires` method to
+                     know more about
+                     the description of the requires dictionary
+    """
+    if requires is None:
+        return None, None
+    ret_requires = {}
+    config_action = {}
+
+    for require in requires:
+        if not type(require) == dict:
+            raise ValueError(_("malformed requirements type for option:"
+                               " {0}, must be a dict").format(name))
+        valid_keys = ('option', 'expected', 'action', 'inverse', 'transitive',
+                      'same_action')
+        unknown_keys = frozenset(require.keys()) - frozenset(valid_keys)
+        if unknown_keys != frozenset():
+            raise ValueError('malformed requirements for option: {0}'
+                             ' unknown keys {1}, must only '
+                             '{2}'.format(name,
+                                          unknown_keys,
+                                          valid_keys))
+        try:
+            option = require['option']
+            expected = require['expected']
+            action = require['action']
+        except KeyError:
+            raise ValueError(_("malformed requirements for option: {0}"
+                               " require must have option, expected and"
+                               " action keys").format(name))
+        inverse = require.get('inverse', False)
+        if inverse not in [True, False]:
+            raise ValueError(_('malformed requirements for option: {0}'
+                               ' inverse must be boolean'))
+        transitive = require.get('transitive', True)
+        if transitive not in [True, False]:
+            raise ValueError(_('malformed requirements for option: {0}'
+                               ' transitive must be boolean'))
+        same_action = require.get('same_action', True)
+        if same_action not in [True, False]:
+            raise ValueError(_('malformed requirements for option: {0}'
+                               ' same_action must be boolean'))
+
+        if not isinstance(option, Option):
+            print option, type(option)
+            raise ValueError(_('malformed requirements '
+                               'must be an option in option {0}').format(name))
+        if option.impl_is_multi():
+            raise ValueError(_('malformed requirements option {0} '
+                               'should not be a multi').format(name))
+        if expected is not None:
+            try:
+                option._validate(expected)
+            except ValueError, err:
+                raise ValueError(_('malformed requirements second argument '
+                                   'must be valid for option {0}'
+                                   ': {1}').format(name, err))
+        if action in config_action:
+            if inverse != config_action[action]:
+                raise ValueError(_("inconsistency in action types"
+                                   " for option: {0}"
+                                   " action: {1}").format(name, action))
+        else:
+            config_action[action] = inverse
+        if action not in ret_requires:
+            ret_requires[action] = {}
+        if option not in ret_requires[action]:
+            ret_requires[action][option] = (option, [expected], action,
+                                            inverse, transitive, same_action)
+        else:
+            ret_requires[action][option][1].append(expected)
+    ret = []
+    for opt_requires in ret_requires.values():
+        ret_action = []
+        for require in opt_requires.values():
+            req = (require[0], tuple(require[1]),
+                                     require[2],
+                                     require[3],
+                                     require[4],
+                                     require[5])
+            ret_action.append(req)
+        ret.append(tuple(ret_action))
+    return frozenset(config_action.keys()), tuple(ret)