serialize new callback
[tiramisu.git] / tiramisu / option.py
index 5b9b222..89d960a 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
+import sys
+from copy import copy, deepcopy
 from types import FunctionType
-from tiramisu.error import (ConfigError, NotFoundError, ConflictConfigError,
-                            RequiresError, RequirementRecursionError,
-                            PropertiesOptionError)
-from tiramisu.autolib import carry_out_calculation
+from IPy import IP
+
+from tiramisu.error import ConflictError, ConfigError
 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
@@ -45,44 +54,283 @@ def valid_name(name):
 #
 
 
-class BaseInformation(object):
-    __slots__ = ('informations')
+class BaseOption(object):
+    """This abstract base class stands for attribute access
+    in options that have to be set only once, it is of course done in the
+    __setattr__ method
+    """
+    __slots__ = ('_name', '_requires', '_properties', '_readonly',
+                 '_consistencies', '_calc_properties', '_impl_informations',
+                 '_state_consistencies', '_state_readonly', '_state_requires',
+                 '_stated')
+
+    def __init__(self, name, doc, requires, properties):
+        if not valid_name(name):
+            raise ValueError(_("invalid name: {0} for option").format(name))
+        self._name = name
+        self._impl_informations = {}
+        self.impl_set_information('doc', doc)
+        self._calc_properties, self._requires = validate_requires_arg(
+            requires, self._name)
+        self._consistencies = None
+        if properties is None:
+            properties = tuple()
+        if not isinstance(properties, tuple):
+            raise TypeError(_('invalid properties type {0} for {1},'
+                            ' must be a tuple').format(
+                                type(properties),
+                                self._name))
+        if self._calc_properties is not None and properties is not tuple():
+            set_forbidden_properties = set(properties) & self._calc_properties
+            if set_forbidden_properties != frozenset():
+                raise ValueError('conflict: properties already set in '
+                                 'requirement {0}'.format(
+                                     list(set_forbidden_properties)))
+        self._properties = properties  # 'hidden', 'disabled'...
+
+    def __setattr__(self, name, value):
+        """set once and only once some attributes in the option,
+        like `_name`. `_name` cannot be changed one the option and
+        pushed in the :class:`tiramisu.option.OptionDescription`.
 
-    def set_information(self, key, value):
+        if the attribute `_readonly` is set to `True`, the option is
+        "frozen" (which has noting to do with the high level "freeze"
+        propertie or "read_only" property)
+        """
+        if not name.startswith('_state') and name not in ('_cache_paths',
+                                                          '_consistencies'):
+            is_readonly = False
+            # never change _name
+            if name == '_name':
+                try:
+                    self._name
+                    #so _name is already set
+                    is_readonly = True
+                except:
+                    pass
+            try:
+                if self._readonly is True:
+                    if value is True:
+                        # already readonly and try to re set readonly
+                        # don't raise, just exit
+                        return
+                    is_readonly = True
+            except AttributeError:
+                pass
+            if is_readonly:
+                raise AttributeError(_("'{0}' ({1}) object attribute '{2}' is"
+                                       " read-only").format(
+                                           self.__class__.__name__,
+                                           self._name,
+                                           name))
+        object.__setattr__(self, name, value)
+
+    # information
+    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
+        self._impl_informations[key] = value
 
-    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]
+        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))
+            raise ValueError(_("information's item not found: {0}").format(
+                key))
+
+    # serialize/unserialize
+    def _impl_convert_consistencies(self, descr, load=False):
+        """during serialization process, many things have to be done.
+        one of them is the localisation of the options.
+        The paths are set once for all.
+
+        :type descr: :class:`tiramisu.option.OptionDescription`
+        :param load: `True` if we are at the init of the option description
+        :type load: bool
+        """
+        if not load and self._consistencies is None:
+            self._state_consistencies = None
+        elif load and self._state_consistencies is None:
+            self._consistencies = None
+            del(self._state_consistencies)
+        else:
+            if load:
+                consistencies = self._state_consistencies
+            else:
+                consistencies = self._consistencies
+            if isinstance(consistencies, list):
+                new_value = []
+                for consistency in consistencies:
+                    if load:
+                        new_value.append((consistency[0],
+                                          descr.impl_get_opt_by_path(
+                                              consistency[1])))
+                    else:
+                        new_value.append((consistency[0],
+                                          descr.impl_get_path_by_opt(
+                                              consistency[1])))
+
+            else:
+                new_value = {}
+                for key, _consistencies in consistencies.items():
+                    new_value[key] = []
+                    for key_cons, _cons in _consistencies:
+                        _list_cons = []
+                        for _con in _cons:
+                            if load:
+                                _list_cons.append(
+                                    descr.impl_get_opt_by_path(_con))
+                            else:
+                                _list_cons.append(
+                                    descr.impl_get_path_by_opt(_con))
+                        new_value[key].append((key_cons, tuple(_list_cons)))
+            if load:
+                del(self._state_consistencies)
+                self._consistencies = new_value
+            else:
+                self._state_consistencies = new_value
+
+    def _impl_convert_requires(self, descr, load=False):
+        """export of the requires during the serialization process
+
+        :type descr: :class:`tiramisu.option.OptionDescription`
+        :param load: `True` if we are at the init of the option description
+        :type load: bool
+        """
+        if not load and self._requires is None:
+            self._state_requires = None
+        elif load and self._state_requires is None:
+            self._requires = None
+            del(self._state_requires)
+        else:
+            if load:
+                _requires = self._state_requires
+            else:
+                _requires = self._requires
+            new_value = []
+            for requires in _requires:
+                new_requires = []
+                for require in requires:
+                    if load:
+                        new_require = [descr.impl_get_opt_by_path(require[0])]
+                    else:
+                        new_require = [descr.impl_get_path_by_opt(require[0])]
+                    new_require.extend(require[1:])
+                    new_requires.append(tuple(new_require))
+                new_value.append(tuple(new_requires))
+            if load:
+                del(self._state_requires)
+                self._requires = new_value
+            else:
+                self._state_requires = new_value
+
+    # serialize
+    def _impl_getstate(self, descr):
+        """the under the hood stuff that need to be done
+        before the serialization.
+
+        :param descr: the parent :class:`tiramisu.option.OptionDescription`
+        """
+        self._stated = True
+        self._impl_convert_consistencies(descr)
+        self._impl_convert_requires(descr)
+        try:
+            self._state_readonly = self._readonly
+        except AttributeError:
+            pass
+
+    def __getstate__(self, stated=True):
+        """special method to enable the serialization with pickle
+        Usualy, a `__getstate__` method does'nt need any parameter,
+        but somme under the hood stuff need to be done before this action
+
+        :parameter stated: if stated is `True`, the serialization protocol
+                           can be performed, not ready yet otherwise
+        :parameter type: bool
+        """
+        try:
+            self._stated
+        except AttributeError:
+            raise SystemError(_('cannot serialize Option, '
+                                'only in OptionDescription'))
+        slots = set()
+        for subclass in self.__class__.__mro__:
+            if subclass is not object:
+                slots.update(subclass.__slots__)
+        slots -= frozenset(['_cache_paths', '__weakref__'])
+        states = {}
+        for slot in slots:
+            # remove variable if save variable converted
+            # in _state_xxxx variable
+            if '_state' + slot not in slots:
+                if slot.startswith('_state'):
+                    # should exists
+                    states[slot] = getattr(self, slot)
+                    # remove _state_xxx variable
+                    self.__delattr__(slot)
+                else:
+                    try:
+                        states[slot] = getattr(self, slot)
+                    except AttributeError:
+                        pass
+        if not stated:
+            del(states['_stated'])
+        return states
+
+    # unserialize
+    def _impl_setstate(self, descr):
+        """the under the hood stuff that need to be done
+        before the serialization.
+
+        :type descr: :class:`tiramisu.option.OptionDescription`
+        """
+        self._impl_convert_consistencies(descr, load=True)
+        self._impl_convert_requires(descr, load=True)
+        try:
+            self._readonly = self._state_readonly
+            del(self._state_readonly)
+            del(self._stated)
+        except AttributeError:
+            pass
+
+    def __setstate__(self, state):
+        """special method that enables us to serialize (pickle)
+
+        Usualy, a `__setstate__` method does'nt need any parameter,
+        but somme under the hood stuff need to be done before this action
+
+        :parameter state: a dict is passed to the loads, it is the attributes
+                          of the options object
+        :type state: dict
+        """
+        for key, value in state.items():
+            setattr(self, key, value)
 
 
-class Option(BaseInformation):
+class Option(BaseOption):
     """
     Abstract base class for configuration option's.
 
-    Reminder: an Option object is **not** a container for the value
+    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__ = ('_multi', '_validator', '_default_multi', '_default',
+                 '_state_callback', '_callback', '_multitype',
+                 '_master_slaves', '__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,
+                 callback_params=None, validator=None, validator_params=None,
                  properties=None):
         """
         :param name: the option's name
@@ -97,182 +345,297 @@ class Option(BaseInformation):
         :param callback: the name of a function. If set, the function's output
                          is responsible of the option's value
         :param callback_params: the callback's parameter
-        :param validator: the name of a function wich stands for a custom
+        :param validator: the name of a function which stands for a custom
                           validation of the value
-        :param validator_args: the validator's parameters
+        :param validator_params: the validator's parameters
+        :param properties: tuple of default properties
+
         """
-        if not valid_name(name):
-            raise NameError("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._validator_args = None
+        super(Option, self).__init__(name, doc, requires, properties)
+        self._multi = multi
         if validator is not None:
-            if type(validator) != FunctionType:
-                raise TypeError("validator must be a function")
-            self._validator = (validator, validator_args)
+            validate_callback(validator, validator_params, 'validator')
+            self._validator = (validator, validator_params)
         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 as 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)
+            validate_callback(callback, callback_params, 'callback')
+            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, False):
-                raise ConfigError("invalid default value {0} "
-                                  "for option {1}"
-                                  "".format(str(default), name))
-            self.multitype = multitypes.default
-            self.default_multi = default_multi
+            self._multitype = multitypes.default
+            self._default_multi = default_multi
+        self.impl_validate(default)
+        self._default = default
+
+    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:
-            if default is not None and not self.validate(default, False):
-                raise ConfigError("invalid default value {0} "
-                                  "for option {1}".format(str(default), name))
-        self.default = default
-        if properties is None:
-            properties = ()
-        if not isinstance(properties, tuple):
-            raise ConfigError('invalid properties type {0} for {1},'
-                              ' must be a tuple'.format(type(properties), self._name))
-        self._properties = properties  # 'hidden', 'disabled'...
+            #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 validate(self, value, validate=True):
+    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:
+                if self._validator[1] is not None:
+                    validator_params = deepcopy(self._validator[1])
+                    if '' in validator_params:
+                        lst = list(validator_params[''])
+                        lst.insert(0, val)
+                        validator_params[''] = tuple(lst)
+                    else:
+                        validator_params[''] = (val,)
+                else:
+                    validator_params = {'': (val,)}
+                ret = carry_out_calculation(self._name, config=context,
+                                            callback=self._validator[0],
+                                            callback_params=validator_params)
+                if ret not in [False, True]:
+                    raise ConfigError(_('validator should return a boolean, '
+                                        'not {0}').format(ret))
+                return ret
+            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 as 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 impl_get_multitype(self):
+        return self._multitype
 
-    def is_empty_by_default(self):
+    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 getcallback_value(self, config):
-        callback, callback_params = self.callback
-        if callback_params is None:
-            callback_params = {}
-        return carry_out_calculation(self._name, config=config,
-                                     callback=callback,
-                                     callback_params=callback_params)
+    def impl_getkey(self, value):
+        return value
 
-    def reset(self, config):
-        """resets the default value and owner
-        """
-        config._cfgimpl_context._cfgimpl_values.reset(self)
+    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))
+
+    def _impl_convert_callbacks(self, descr, load=False):
+        if not load and self._callback is None:
+            self._state_callback = None
+        elif load and self._state_callback is None:
+            self._callback = None
+            del(self._state_callback)
+        else:
+            if load:
+                callback, callback_params = self._state_callback
+            else:
+                callback, callback_params = self._callback
+            if callback_params is not None:
+                cllbck_prms = {}
+                for key, values in callback_params.items():
+                    vls = []
+                    for value in values:
+                        if isinstance(value, tuple):
+                            if load:
+                                value = (descr.impl_get_opt_by_path(value[0]),
+                                         value[1])
+                            else:
+                                value = (descr.impl_get_path_by_opt(value[0]),
+                                         value[1])
+                        vls.append(value)
+                    cllbck_prms[key] = tuple(vls)
+            else:
+                cllbck_prms = None
 
-    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):
-            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):
-        return value
+            if load:
+                del(self._state_callback)
+                self._callback = (callback, cllbck_prms)
+            else:
+                self._state_callback = (callback, cllbck_prms)
 
-    def is_multi(self):
-        return self.multi
+    # serialize
+    def _impl_getstate(self, descr):
+        """the under the hood stuff that need to be done
+        before the serialization.
+        """
+        self._stated = True
+        self._impl_convert_callbacks(descr)
+        super(Option, self)._impl_getstate(descr)
+
+    # unserialize
+    def _impl_setstate(self, descr):
+        """the under the hood stuff that need to be done
+        before the serialization.
+        """
+        self._impl_convert_callbacks(descr, load=True)
+        super(Option, self)._impl_setstate(descr)
 
 
 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 = '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=()):
+                 validator_params=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,
@@ -280,109 +643,349 @@ class ChoiceOption(Option):
                                            requires=requires,
                                            multi=multi,
                                            validator=validator,
-                                           validator_args=validator_args,
+                                           validator_params=validator_params,
                                            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__ = tuple()
+    _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__ = tuple()
+    _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__ = tuple()
+    _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__ = tuple()
+    _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)))
+
+
+if sys.version_info[0] >= 3:
+    #UnicodeOption is same has StrOption in python 3+
+    class UnicodeOption(StrOption):
+        __slots__ = tuple()
+        pass
+else:
+    class UnicodeOption(Option):
+        "represents the choice of a unicode string"
+        __slots__ = tuple()
+        _opt_type = 'unicode'
+        _empty = u''
+
+        def _validate(self, value):
+            if not isinstance(value, unicode):
+                raise ValueError(_('value must be an unicode'))
+
+
+class SymLinkOption(BaseOption):
+    __slots__ = ('_name', '_opt', '_state_opt')
+    _opt_type = 'symlink'
+    #not return _opt consistencies
+    _consistencies = {}
+
+    def __init__(self, name, opt):
+        self._name = name
+        if not isinstance(opt, Option):
+            raise ValueError(_('malformed symlinkoption '
+                               'must be an option '
+                               'for symlink {0}').format(name))
+        self._opt = opt
+        self._readonly = True
 
+    def __getattr__(self, name):
+        if name in ('_name', '_opt', '_opt_type', '_readonly'):
+            return object.__getattr__(self, name)
+        else:
+            return getattr(self._opt, name)
 
-class UnicodeOption(Option):
-    __slots__ = ('opt_type')
-    opt_type = 'unicode'
+    def _impl_getstate(self, descr):
+        super(SymLinkOption, self)._impl_getstate(descr)
+        self._state_opt = descr.impl_get_path_by_opt(self._opt)
 
-    def _validate(self, value):
-        return isinstance(value, unicode)
+    def _impl_setstate(self, descr):
+        self._opt = descr.impl_get_opt_by_path(self._state_opt)
+        del(self._state_opt)
+        super(SymLinkOption, self)._impl_setstate(descr)
 
+    def _impl_convert_consistencies(self, descr, load=False):
+        if load:
+            del(self._state_consistencies)
+        else:
+            self._state_consistencies = None
 
-class SymLinkOption(object):
-    __slots__ = ('_name', 'opt')
-    opt_type = 'symlink'
 
-    def __init__(self, name, path, opt):
-        self._name = name
-        self.opt = opt
+class IPOption(Option):
+    "represents the choice of an ip"
+    __slots__ = ('_only_private', '_allow_reserved')
+    _opt_type = 'ip'
 
-    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)
+    def __init__(self, name, doc, default=None, default_multi=None,
+                 requires=None, multi=False, callback=None,
+                 callback_params=None, validator=None, validator_params=None,
+                 properties=None, only_private=False, allow_reserved=False):
+        self._only_private = only_private
+        self._allow_reserved = allow_reserved
+        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_params=validator_params,
+                                       properties=properties)
 
-    def __getattr__(self, name):
-        if name in ('_name', 'opt', 'setoption'):
-            return object.__gettattr__(self, name)
+    def _validate(self, value):
+        ip = IP('{0}/32'.format(value))
+        if not self._allow_reserved and 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__ = ('_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_params=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_params=validator_params,
+                                         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:
-            return getattr(self.opt, name)
+            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 IPOption(Option):
-    __slots__ = ('opt_type')
-    opt_type = 'ip'
+
+class NetworkOption(Option):
+    "represents the choice of a network"
+    __slots__ = tuple()
+    _opt_type = 'network'
 
     def _validate(self, value):
-        # by now the validation is nothing but a string, use IPy instead
-        return isinstance(value, str)
+        ip = IP(value)
+        if ip.iptype() == 'RESERVED':
+            raise ValueError(_("network shall not be in reserved class"))
 
 
 class NetmaskOption(Option):
-    __slots__ = ('opt_type')
-    opt_type = 'netmask'
+    "represents the choice of a netmask"
+    __slots__ = tuple()
+    _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)
 
-class OptionDescription(BaseInformation):
-    """Config's schema (organisation, group) and container of Options"""
+    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__ = ('_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_params=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_params=validator_params,
+                                               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(BaseOption):
+    """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')
+                 '_state_group_type', '_properties', '_children',
+                 '_consistencies', '_calc_properties', '__weakref__',
+                 '_readonly', '_impl_informations', '_state_requires',
+                 '_state_consistencies', '_stated', '_state_readonly')
+    _opt_type = 'optiondescription'
 
-    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))
-        self._name = name
-        self.informations = {}
-        self.set_information('doc', doc)
+        super(OptionDescription, self).__init__(name, doc, requires, properties)
         child_names = [child._name for child in children]
         #better performance like this
         valid_child = copy(child_names)
@@ -390,111 +993,127 @@ class OptionDescription(BaseInformation):
         old = None
         for child in valid_child:
             if child == old:
-                raise ConflictConfigError('duplicate option name: '
-                                          '{0}'.format(child))
+                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._cache_paths = None
-        if not isinstance(properties, tuple):
-            raise ConfigError('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):
+        if name in self.__slots__:
+            return object.__getattribute__(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,
+                         force_no_consistencies=False):
         if _currpath is None and self._cache_paths is not None:
+            # cache already set
             return
         if _currpath is None:
             save = True
             _currpath = []
+            if not force_no_consistencies:
+                _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
+            if option in cache_option:
+                raise ConflictError(_('duplicate option: {0}').format(option))
+
             cache_option.append(option)
+            if not force_no_consistencies:
+                option._readonly = True
             cache_path.append(str('.'.join(_currpath + [attr])))
-            if isinstance(option, OptionDescription):
+            if not isinstance(option, OptionDescription):
+                if not force_no_consistencies and \
+                        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,
+                                        force_no_consistencies)
                 _currpath.pop()
         if save:
-            #valid no duplicated option
-            valid_child = copy(cache_option)
-            valid_child.sort()
-            old = None
-            for child in valid_child:
-                if child == old:
-                    raise ConflictConfigError('duplicate option: '
-                                              '{0}'.format(child))
-                old = child
             self._cache_paths = (tuple(cache_option), tuple(cache_path))
+            if not force_no_consistencies:
+                self._consistencies = _consistencies
+                self._readonly = True
 
-    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):
@@ -503,112 +1122,224 @@ 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 _impl_getstate(self, descr=None):
+        """enables us to export into a dict
+        :param descr: parent :class:`tiramisu.option.OptionDescription`
+        """
+        if descr is None:
+            self.impl_build_cache()
+            descr = self
+        super(OptionDescription, self)._impl_getstate(descr)
+        self._state_group_type = str(self._group_type)
+        for option in self.impl_getchildren():
+            option._impl_getstate(descr)
+
+    def __getstate__(self):
+        """special method to enable the serialization with pickle
+        """
+        stated = True
+        try:
+            # the `_state` attribute is a flag that which tells us if
+            # the serialization can be performed
+            self._stated
+        except AttributeError:
+            # if cannot delete, _impl_getstate never launch
+            # launch it recursivement
+            # _stated prevent __getstate__ launch more than one time
+            # _stated is delete, if re-serialize, re-lauch _impl_getstate
+            self._impl_getstate()
+            stated = False
+        return super(OptionDescription, self).__getstate__(stated)
+
+    def _impl_setstate(self, descr=None):
+        """enables us to import from a dict
+        :param descr: parent :class:`tiramisu.option.OptionDescription`
+        """
+        if descr is None:
+            self._cache_paths = None
+            self.impl_build_cache(force_no_consistencies=True)
+            descr = self
+        self._group_type = getattr(groups, self._state_group_type)
+        del(self._state_group_type)
+        super(OptionDescription, self)._impl_setstate(descr)
+        for option in self.impl_getchildren():
+            option._impl_setstate(descr)
+
+    def __setstate__(self, state):
+        super(OptionDescription, self).__setstate__(state)
+        try:
+            self._stated
+        except AttributeError:
+            self._impl_setstate()
+
 
 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
-
-
-def apply_requires(opt, config):
-    "carries out the jit (just in time requirements between options"
-    def build_actions(requires):
-        "action are hide, show, enable, disable..."
-        trigger_actions = {}
-        for require in requires:
-            action = require[2]
-            trigger_actions.setdefault(action, []).append(require)
-        return trigger_actions
-    #for symlink
-    if hasattr(opt, '_requires') and opt._requires is not None:
-        # filters the callbacks
-        setting = config.cfgimpl_get_settings()
-        trigger_actions = build_actions(opt._requires)
-        if isinstance(opt, OptionDescription):
-            optpath = config._cfgimpl_get_path() + '.' + opt._name
+    """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 = {}
+
+    # start parsing all requires given by user (has dict)
+    # transforme it to a tuple
+    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))
+        # prepare all attributes
+        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):
+            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 as 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:
-            optpath = config.cfgimpl_get_context().cfgimpl_get_description().get_path_by_opt(opt)
-        for requires in trigger_actions.values():
-            matches = False
-            for require in requires:
-                if len(require) == 3:
-                    path, expected, action = require
-                    inverse = False
-                elif len(require) == 4:
-                    path, expected, action, inverse = require
-                if path.startswith(optpath):
-                    raise RequirementRecursionError("malformed requirements "
-                                                    "imbrication detected for option: '{0}' "
-                                                    "with requirement on: '{1}'".format(optpath, path))
-                try:
-                    value = config.cfgimpl_get_context()._getattr(path, force_permissive=True)
-                except PropertiesOptionError, err:
-                    properties = err.proptype
-                    raise NotFoundError("option '{0}' has requirement's property error: "
-                                        "{1} {2}".format(opt._name, path, properties))
-                except Exception, err:
-                    raise NotFoundError("required option not found: "
-                                        "{0}".format(path))
-                if value == expected:
-                    if inverse:
-                        setting.del_property(action, opt)
-                    else:
-                        setting.add_property(action, opt)
-                    matches = True
-                    #FIXME optimisation : fait un double break non ? voire un return
-            # no requirement has been triggered, then just reverse the action
-            if not matches:
-                if inverse:
-                    setting.add_property(action, opt)
-                else:
-                    setting.del_property(action, opt)
+            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)
+    # transform dict to tuple
+    ret = []
+    for opt_requires in ret_requires.values():
+        ret_action = []
+        for require in opt_requires.values():
+            ret_action.append((require[0], tuple(require[1]), require[2],
+                               require[3], require[4], require[5]))
+        ret.append(tuple(ret_action))
+    return frozenset(config_action.keys()), tuple(ret)
+
+
+def validate_callback(callback, callback_params, type_):
+    if type(callback) != FunctionType:
+        raise ValueError(_('{0} should be a function').format(type_))
+    if callback_params is not None:
+        if not isinstance(callback_params, dict):
+            raise ValueError(_('{0}_params should be a dict').format(type_))
+        for key, callbacks in callback_params.items():
+            if key != '' and len(callbacks) != 1:
+                raise ValueError(_('{0}_params with key {1} should not have '
+                                   'length different to 1').format(type_,
+                                                                   key))
+            if not isinstance(callbacks, tuple):
+                raise ValueError(_('{0}_params should be tuple for key "{1}"'
+                                   ).format(type_, key))
+            for callbk in callbacks:
+                if isinstance(callbk, tuple):
+                    option, force_permissive = callbk
+                    if type_ == 'validator' and not force_permissive:
+                        raise ValueError(_('validator not support tuple'))
+                    if not isinstance(option, Option) and not \
+                            isinstance(option, SymLinkOption):
+                        raise ValueError(_('{0}_params should have an option '
+                                           'not a {0} for first argument'
+                                           ).format(type_, type(option)))
+                    if force_permissive not in [True, False]:
+                        raise ValueError(_('{0}_params should have a boolean'
+                                           'not a {0} for second argument'
+                                           ).format(type_, type(
+                                               force_permissive)))