Merge branch 'devel-2.4'
[ganeti-local] / lib / ht.py
index 9609063..935f4ed 100644 (file)
--- a/lib/ht.py
+++ b/lib/ht.py
@@ -1,7 +1,7 @@
 #
 #
 
-# Copyright (C) 2010 Google Inc.
+# Copyright (C) 2010, 2011 Google Inc.
 #
 # This program is free software; you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 
 """Module implementing the parameter types code."""
 
+import re
+
 from ganeti import compat
+from ganeti import utils
+from ganeti import constants
+
+
+_PAREN_RE = re.compile("^[a-zA-Z0-9_-]+$")
+
+
+def Parens(text):
+  """Enclose text in parens if necessary.
+
+  @param text: Text
+
+  """
+  text = str(text)
+
+  if _PAREN_RE.match(text):
+    return text
+  else:
+    return "(%s)" % text
+
+
+def WithDesc(text):
+  """Builds wrapper class with description text.
+
+  @type text: string
+  @param text: Description text
+  @return: Callable class
+
+  """
+  assert text[0] == text[0].upper()
+
+  class wrapper(object): # pylint: disable-msg=C0103
+    __slots__ = ["__call__"]
+
+    def __init__(self, fn):
+      """Initializes this class.
+
+      @param fn: Wrapped function
+
+      """
+      self.__call__ = fn
+
+    def __str__(self):
+      return text
+
+  return wrapper
+
+
+def CombinationDesc(op, args, fn):
+  """Build description for combinating operator.
+
+  @type op: string
+  @param op: Operator as text (e.g. "and")
+  @type args: list
+  @param args: Operator arguments
+  @type fn: callable
+  @param fn: Wrapped function
+
+  """
+  if len(args) == 1:
+    descr = str(args[0])
+  else:
+    descr = (" %s " % op).join(Parens(i) for i in args)
+
+  return WithDesc(descr)(fn)
+
 
 # Modifiable default values; need to define these here before the
 # actual LUs
 
+@WithDesc(str([]))
 def EmptyList():
   """Returns an empty list.
 
@@ -33,6 +102,7 @@ def EmptyList():
   return []
 
 
+@WithDesc(str({}))
 def EmptyDict():
   """Returns an empty dict.
 
@@ -44,11 +114,20 @@ def EmptyDict():
 NoDefault = object()
 
 
-#: The no-type (value to complex to check it in the type system)
+#: The no-type (value too complex to check it in the type system)
 NoType = object()
 
 
 # Some basic types
+@WithDesc("Anything")
+def TAny(_):
+  """Accepts any value.
+
+  """
+  return True
+
+
+@WithDesc("NotNone")
 def TNotNone(val):
   """Checks if the given value is not None.
 
@@ -56,6 +135,7 @@ def TNotNone(val):
   return val is not None
 
 
+@WithDesc("None")
 def TNone(val):
   """Checks if the given value is None.
 
@@ -63,6 +143,7 @@ def TNone(val):
   return val is None
 
 
+@WithDesc("Boolean")
 def TBool(val):
   """Checks if the given value is a boolean.
 
@@ -70,13 +151,20 @@ def TBool(val):
   return isinstance(val, bool)
 
 
+@WithDesc("Integer")
 def TInt(val):
   """Checks if the given value is an integer.
 
   """
-  return isinstance(val, int)
+  # For backwards compatibility with older Python versions, boolean values are
+  # also integers and should be excluded in this test.
+  #
+  # >>> (isinstance(False, int), isinstance(True, int))
+  # (True, True)
+  return isinstance(val, (int, long)) and not isinstance(val, bool)
 
 
+@WithDesc("Float")
 def TFloat(val):
   """Checks if the given value is a float.
 
@@ -84,6 +172,7 @@ def TFloat(val):
   return isinstance(val, float)
 
 
+@WithDesc("String")
 def TString(val):
   """Checks if the given value is a string.
 
@@ -91,6 +180,7 @@ def TString(val):
   return isinstance(val, basestring)
 
 
+@WithDesc("EvalToTrue")
 def TTrue(val):
   """Checks if a given value evaluates to a boolean True value.
 
@@ -102,10 +192,14 @@ def TElemOf(target_list):
   """Builds a function that checks if a given value is a member of a list.
 
   """
-  return lambda val: val in target_list
+  def fn(val):
+    return val in target_list
+
+  return WithDesc("OneOf %s" % (utils.CommaJoin(target_list), ))(fn)
 
 
 # Container types
+@WithDesc("List")
 def TList(val):
   """Checks if the given value is a list.
 
@@ -113,6 +207,7 @@ def TList(val):
   return isinstance(val, list)
 
 
+@WithDesc("Dictionary")
 def TDict(val):
   """Checks if the given value is a dictionary.
 
@@ -124,7 +219,10 @@ def TIsLength(size):
   """Check is the given container is of the given size.
 
   """
-  return lambda container: len(container) == size
+  def fn(container):
+    return len(container) == size
+
+  return WithDesc("Length %s" % (size, ))(fn)
 
 
 # Combinator types
@@ -134,7 +232,8 @@ def TAnd(*args):
   """
   def fn(val):
     return compat.all(t(val) for t in args)
-  return fn
+
+  return CombinationDesc("and", args, fn)
 
 
 def TOr(*args):
@@ -143,50 +242,148 @@ def TOr(*args):
   """
   def fn(val):
     return compat.any(t(val) for t in args)
-  return fn
+
+  return CombinationDesc("or", args, fn)
 
 
 def TMap(fn, test):
   """Checks that a modified version of the argument passes the given test.
 
   """
-  return lambda val: test(fn(val))
+  return WithDesc("Result of %s must be %s" %
+                  (Parens(fn), Parens(test)))(lambda val: test(fn(val)))
+
+
+def TRegex(pobj):
+  """Checks whether a string matches a specific regular expression.
+
+  @param pobj: Compiled regular expression as returned by C{re.compile}
+
+  """
+  desc = WithDesc("String matching regex \"%s\"" %
+                  pobj.pattern.encode("string_escape"))
+
+  return desc(TAnd(TString, pobj.match))
 
 
 # Type aliases
 
 #: a non-empty string
-TNonEmptyString = TAnd(TString, TTrue)
-
+TNonEmptyString = WithDesc("NonEmptyString")(TAnd(TString, TTrue))
 
 #: a maybe non-empty string
 TMaybeString = TOr(TNonEmptyString, TNone)
 
-
 #: a maybe boolean (bool or none)
 TMaybeBool = TOr(TBool, TNone)
 
+#: Maybe a dictionary (dict or None)
+TMaybeDict = TOr(TDict, TNone)
 
 #: a positive integer
-TPositiveInt = TAnd(TInt, lambda v: v >= 0)
+TPositiveInt = \
+  TAnd(TInt, WithDesc("EqualGreaterZero")(lambda v: v >= 0))
 
 #: a strictly positive integer
-TStrictPositiveInt = TAnd(TInt, lambda v: v > 0)
+TStrictPositiveInt = \
+  TAnd(TInt, WithDesc("GreaterThanZero")(lambda v: v > 0))
+
+#: a positive float
+TPositiveFloat = \
+  TAnd(TFloat, WithDesc("EqualGreaterZero")(lambda v: v >= 0.0))
+
+#: Job ID
+TJobId = TOr(TPositiveInt,
+             TRegex(re.compile("^%s$" % constants.JOB_ID_TEMPLATE)))
 
 
 def TListOf(my_type):
   """Checks if a given value is a list with all elements of the same type.
 
   """
-  return TAnd(TList,
-               lambda lst: compat.all(my_type(v) for v in lst))
+  desc = WithDesc("List of %s" % (Parens(my_type), ))
+  return desc(TAnd(TList, lambda lst: compat.all(my_type(v) for v in lst)))
 
 
 def TDictOf(key_type, val_type):
   """Checks a dict type for the type of its key/values.
 
   """
-  return TAnd(TDict,
-              lambda my_dict: (compat.all(key_type(v) for v in my_dict.keys())
-                               and compat.all(val_type(v)
-                                              for v in my_dict.values())))
+  desc = WithDesc("Dictionary with keys of %s and values of %s" %
+                  (Parens(key_type), Parens(val_type)))
+
+  def fn(container):
+    return (compat.all(key_type(v) for v in container.keys()) and
+            compat.all(val_type(v) for v in container.values()))
+
+  return desc(TAnd(TDict, fn))
+
+
+def _TStrictDictCheck(require_all, exclusive, items, val):
+  """Helper function for L{TStrictDict}.
+
+  """
+  notfound_fn = lambda _: not exclusive
+
+  if require_all and not frozenset(val.keys()).issuperset(items.keys()):
+    # Requires items not found in value
+    return False
+
+  return compat.all(items.get(key, notfound_fn)(value)
+                    for (key, value) in val.items())
+
+
+def TStrictDict(require_all, exclusive, items):
+  """Strict dictionary check with specific keys.
+
+  @type require_all: boolean
+  @param require_all: Whether all keys in L{items} are required
+  @type exclusive: boolean
+  @param exclusive: Whether only keys listed in L{items} should be accepted
+  @type items: dictionary
+  @param items: Mapping from key (string) to verification function
+
+  """
+  descparts = ["Dictionary containing"]
+
+  if exclusive:
+    descparts.append(" none but the")
+
+  if require_all:
+    descparts.append(" required")
+
+  if len(items) == 1:
+    descparts.append(" key ")
+  else:
+    descparts.append(" keys ")
+
+  descparts.append(utils.CommaJoin("\"%s\" (value %s)" % (key, value)
+                                   for (key, value) in items.items()))
+
+  desc = WithDesc("".join(descparts))
+
+  return desc(TAnd(TDict,
+                   compat.partial(_TStrictDictCheck, require_all, exclusive,
+                                  items)))
+
+
+def TItems(items):
+  """Checks individual items of a container.
+
+  If the verified value and the list of expected items differ in length, this
+  check considers only as many items as are contained in the shorter list. Use
+  L{TIsLength} to enforce a certain length.
+
+  @type items: list
+  @param items: List of checks
+
+  """
+  assert items, "Need items"
+
+  text = ["Item", "item"]
+  desc = WithDesc(utils.CommaJoin("%s %s is %s" %
+                                  (text[int(idx > 0)], idx, Parens(check))
+                                  for (idx, check) in enumerate(items)))
+
+  return desc(lambda value: compat.all(check(i)
+                                       for (check, i) in zip(items, value)))