multi, None and validation
[tiramisu.git] / tiramisu / setting.py
1 # -*- coding: utf-8 -*-
2 "sets the options of the configuration objects Config object itself"
3 # Copyright (C) 2012-2013 Team tiramisu (see AUTHORS for all contributors)
4 #
5 # This program is free software; you can redistribute it and/or modify
6 # it under the terms of the GNU General Public License as published by
7 # the Free Software Foundation; either version 2 of the License, or
8 # (at your option) any later version.
9 #
10 # This program is distributed in the hope that it will be useful,
11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
13 # GNU General Public License for more details.
14 #
15 # You should have received a copy of the GNU General Public License
16 # along with this program; if not, write to the Free Software
17 # Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
18 #
19 # The original `Config` design model is unproudly borrowed from
20 # the rough pypy's guys: http://codespeak.net/svn/pypy/dist/pypy/config/
21 # the whole pypy projet is under MIT licence
22 # ____________________________________________________________
23 from time import time
24 from copy import copy
25 from tiramisu.error import RequirementRecursionError, PropertiesOptionError
26 from tiramisu.i18n import _
27
28
29 expires_time = 5
30 ro_remove = ('permissive', 'hidden')
31 ro_append = ('frozen', 'disabled', 'validator', 'everything_frozen', 'mandatory')
32 rw_remove = ('permissive', 'everything_frozen', 'mandatory')
33 rw_append = ('frozen', 'disabled', 'validator', 'hidden')
34
35
36 class _const:
37     """convenient class that emulates a module
38     and builds constants (that is, unique names)"""
39     class ConstError(TypeError):
40         pass
41
42     def __setattr__(self, name, value):
43         if name in self.__dict__:
44             raise self.ConstError, _("Can't rebind group ({})").format(name)
45         self.__dict__[name] = value
46
47     def __delattr__(self, name):
48         if name in self.__dict__:
49             raise self.ConstError, _("Can't unbind group ({})").format(name)
50         raise ValueError(name)
51
52
53 # ____________________________________________________________
54 class GroupModule(_const):
55     "emulates a module to manage unique group (OptionDescription) names"
56     class GroupType(str):
57         """allowed normal group (OptionDescription) names
58         *normal* means : groups that are not master
59         """
60         pass
61
62     class DefaultGroupType(GroupType):
63         """groups that are default (typically 'default')"""
64         pass
65
66     class MasterGroupType(GroupType):
67         """allowed normal group (OptionDescription) names
68         *master* means : groups that have the 'master' attribute set
69         """
70         pass
71 # setting.groups (emulates a module)
72 groups = GroupModule()
73
74
75 def populate_groups():
76     "populates the available groups in the appropriate namespaces"
77     groups.master = groups.MasterGroupType('master')
78     groups.default = groups.DefaultGroupType('default')
79     groups.family = groups.GroupType('family')
80
81 # names are in the module now
82 populate_groups()
83
84
85 # ____________________________________________________________
86 class OwnerModule(_const):
87     """emulates a module to manage unique owner names.
88
89     owners are living in `Config._cfgimpl_value_owners`
90     """
91     class Owner(str):
92         """allowed owner names
93         """
94         pass
95
96     class DefaultOwner(Owner):
97         """groups that are default (typically 'default')"""
98         pass
99 # setting.owners (emulates a module)
100 owners = OwnerModule()
101
102
103 def populate_owners():
104     """populates the available owners in the appropriate namespaces
105
106     - 'user' is the generic is the generic owner.
107     - 'default' is the config owner after init time
108     """
109     setattr(owners, 'default', owners.DefaultOwner('default'))
110     setattr(owners, 'user', owners.Owner('user'))
111
112     def add_owner(name):
113         """
114         :param name: the name of the new owner
115         """
116         setattr(owners, name, owners.Owner(name))
117     setattr(owners, 'add_owner', add_owner)
118
119 # names are in the module now
120 populate_owners()
121
122
123 class MultiTypeModule(_const):
124     class MultiType(str):
125         pass
126
127     class DefaultMultiType(MultiType):
128         pass
129
130     class MasterMultiType(MultiType):
131         pass
132
133     class SlaveMultiType(MultiType):
134         pass
135
136 multitypes = MultiTypeModule()
137
138
139 def populate_multitypes():
140     setattr(multitypes, 'default', multitypes.DefaultMultiType('default'))
141     setattr(multitypes, 'master', multitypes.MasterMultiType('master'))
142     setattr(multitypes, 'slave', multitypes.SlaveMultiType('slave'))
143
144 populate_multitypes()
145
146
147 class Property(object):
148     __slots__ = ('_setting', '_properties', '_opt')
149
150     def __init__(self, setting, prop, opt=None):
151         self._opt = opt
152         self._setting = setting
153         self._properties = prop
154
155     def append(self, propname):
156         self._properties.add(propname)
157         self._setting._set_properties(self._properties, self._opt)
158         self._setting.context.cfgimpl_reset_cache()
159
160     def remove(self, propname):
161         if propname in self._properties:
162             self._properties.remove(propname)
163             self._setting._set_properties(self._properties, self._opt)
164             self._setting.context.cfgimpl_reset_cache()
165
166     def __contains__(self, propname):
167         return propname in self._properties
168
169     def __repr__(self):
170         return str(list(self._properties))
171
172
173 #____________________________________________________________
174 class Setting(object):
175     "``Config()``'s configuration options"
176     __slots__ = ('context', '_properties', '_permissives', '_owner', '_cache')
177
178     def __init__(self, context):
179         # properties attribute: the name of a property enables this property
180         # key is None for global properties
181         self._properties = {None: set(('expire', 'validator'))}
182         # permissive properties
183         self._permissives = {}
184         # generic owner
185         self._owner = owners.user
186         self.context = context
187         self._cache = {}
188
189     #____________________________________________________________
190     # properties methods
191     def __contains__(self, propname):
192         return propname in self._get_properties()
193
194     def __repr__(self):
195         return str(list(self._get_properties()))
196
197     def __getitem__(self, opt):
198         return Property(self, self._get_properties(opt), opt)
199
200     def __setitem__(self, opt, value):
201         raise ValueError('you must only append/remove properties')
202
203     def _get_properties(self, opt=None, is_apply_req=True):
204         if opt is None:
205             props = self._properties.get(opt, set())
206         else:
207             exp = None
208             if opt in self._cache:
209                 exp = time()
210                 props, created = self._cache[opt]
211                 if exp < created:
212                     return props
213             if is_apply_req:
214                 apply_requires(opt, self.context)
215             props = self._properties.get(opt, opt._properties)
216             self._set_cache(opt, props, exp)
217         return props
218
219     def append(self, propname):
220         "puts property propname in the Config's properties attribute"
221         Property(self, self._get_properties()).append(propname)
222
223     def remove(self, propname):
224         "deletes property propname in the Config's properties attribute"
225         Property(self, self._get_properties()).remove(propname)
226
227     def _set_properties(self, properties, opt=None):
228         """save properties for specified opt
229         (never save properties if same has option properties)
230         """
231         if opt is None:
232             self._properties[opt] = properties
233         else:
234             if opt._properties == properties:
235                 if opt in self._properties:
236                     del(self._properties[opt])
237             else:
238                 self._properties[opt] = properties
239
240     #____________________________________________________________
241     def validate_properties(self, opt_or_descr, is_descr, is_write,
242                             value=None, force_permissive=False,
243                             force_properties=None):
244         #opt properties
245         properties = copy(self._get_properties(opt_or_descr))
246         #remove opt permissive
247         properties -= self._get_permissive(opt_or_descr)
248         #remove global permissive if need
249         self_properties = copy(self._get_properties())
250         if force_permissive is True or 'permissive' in self_properties:
251             properties -= self._get_permissive()
252
253         #global properties
254         if force_properties is not None:
255             self_properties.update(force_properties)
256
257         #calc properties
258         properties &= self_properties
259         #mandatory and frozen are special properties
260         if is_descr:
261             properties -= frozenset(('mandatory', 'frozen'))
262         else:
263             if 'mandatory' in properties and \
264                     not self.context.cfgimpl_get_values()._is_empty(opt_or_descr,
265                                                                     value):
266                 properties.remove('mandatory')
267             if is_write and 'everything_frozen' in self_properties:
268                 properties.add('frozen')
269             elif 'frozen' in properties and not is_write:
270                 properties.remove('frozen')
271
272         if properties != frozenset():
273             if 'frozen' in properties:
274                 raise_text = 'cannot change the value for option {0} this option is frozen'
275             else:
276                 raise_text = "trying to access to an option named: {0} with properties {1}"
277             raise PropertiesOptionError(_(raise_text).format(opt_or_descr._name,
278                                         str(properties)),
279                                         list(properties))
280
281     def _get_permissive(self, opt=None):
282         return self._permissives.get(opt, frozenset())
283
284     def set_permissive(self, permissive, opt=None):
285         if not isinstance(permissive, tuple):
286             raise TypeError(_('permissive must be a tuple'))
287         self._permissives[opt] = frozenset(permissive)
288
289     #____________________________________________________________
290     def setowner(self, owner):
291         ":param owner: sets the default value for owner at the Config level"
292         if not isinstance(owner, owners.Owner):
293             raise TypeError(_("invalid generic owner {0}").format(str(owner)))
294         self._owner = owner
295
296     def getowner(self):
297         return self._owner
298
299     #____________________________________________________________
300     def _read(self, remove, append):
301         for prop in remove:
302             self.remove(prop)
303         for prop in append:
304             self.append(prop)
305
306     def read_only(self):
307         "convenience method to freeze, hidde and disable"
308         self._read(ro_remove, ro_append)
309
310     def read_write(self):
311         "convenience method to freeze, hidde and disable"
312         self._read(rw_remove, rw_append)
313
314     def _set_cache(self, opt, props, exp):
315         if 'expire' in self:
316             if exp is None:
317                 exp = time()
318             self._cache[opt] = (props, time() + expires_time)
319
320     def reset_cache(self, only_expired):
321         if only_expired:
322             exp = time()
323             keys = self._cache.keys()
324             for key in keys:
325                 props, created = self._cache[key]
326                 if exp > created:
327                     del(self._cache[key])
328         else:
329             self._cache.clear()
330
331
332 def apply_requires(opt, config):
333     "carries out the jit (just in time requirements between options"
334     def build_actions(requires):
335         "action are hide, show, enable, disable..."
336         trigger_actions = {}
337         for require in requires:
338             action = require[2]
339             trigger_actions.setdefault(action, []).append(require)
340         return trigger_actions
341     #for symlink
342     if hasattr(opt, '_requires') and opt._requires is not None:
343         # filters the callbacks
344         settings = config.cfgimpl_get_settings()
345         setting = Property(settings, settings._get_properties(opt, False), opt)
346         trigger_actions = build_actions(opt._requires)
347         descr = config.cfgimpl_get_context().cfgimpl_get_description()
348         optpath = descr.impl_get_path_by_opt(opt)
349         for requires in trigger_actions.values():
350             matches = False
351             for require in requires:
352                 if len(require) == 3:
353                     option, expected, action = require
354                     inverse = False
355                 elif len(require) == 4:
356                     option, expected, action, inverse = require
357                 path = descr.impl_get_path_by_opt(option)
358                 if path == optpath or path.startswith(optpath + '.'):
359                     raise RequirementRecursionError(_("malformed requirements "
360                                                     "imbrication detected for option: '{0}' "
361                                                     "with requirement on: '{1}'").format(optpath, path))
362                 try:
363                     value = config.cfgimpl_get_context()._getattr(path, force_permissive=True)
364                 except PropertiesOptionError, err:
365                     properties = err.proptype
366                     raise PropertiesOptionError(_("option '{0}' has requirement's property error: "
367                                                   "{1} {2}").format(opt._name, path, properties), properties)
368                 except AttributeError:
369                     raise AttributeError(_("required option not found: "
370                                          "{0}").format(path))
371                 if value == expected:
372                     if inverse:
373                         setting.remove(action)
374                     else:
375                         setting.append(action)
376                     matches = True
377             # no requirement has been triggered, then just reverse the action
378             if not matches:
379                 if inverse:
380                     setting.append(action)
381                 else:
382                     setting.remove(action)