manifold/manifoldresult.py

   1 def enum(*sequential, **named):
   2     enums = dict(zip(sequential, range(len(sequential))), **named)
   3     return type('Enum', (), enums)
   4
   5 ManifoldCode = enum (
   6     UNKNOWN_ERROR=-1,
   7     SUCCESS=0,
   8     SESSION_EXPIRED=1,
   9     NOT_IMPLEMENTED=2,
  10     SERVER_UNREACHABLE=3,
  11 )
  12
  13 _messages_ = { -1 : "Unknown", 0: "OK", 1: "Session Expired", 2: "Not Implemented", 3: "Backend server unreachable"}
  14
  15 # being a dict this can be used with json.dumps
  16 class ManifoldResult (dict):
  17     def __init__ (self, code=ManifoldCode.SUCCESS, value=None, output=""):
  18         self['code']=code
  19         self['value']=value
  20         self['output']=output
  21         self['description'] = '' # Jordan: needed by javascript code
  22
  23     def from_json (self, json_string):
  24         d=json.dumps(json_string)
  25         for k in ['code','value','output']:
  26             self[k]=d[k]
  27
  28     # raw accessors
  29     def code (self): return self['code']
  30     def output (self): return self['output']
  31
  32     # this returns None if there's a problem, the value otherwise
  33     def ok_value (self):
  34         if self['code']==ManifoldCode.SUCCESS:
  35             return self['value']
  36
  37     # both data in a single string
  38     def error (self):
  39         return "code=%s -- %s"%(self['code'],self['output'])
  40
  41
  42     def __repr__ (self):
  43         code=self['code']
  44         result="[MFresult %s (code=%s)"%(_messages_.get(code,"???"),code)
  45         if code==0:
  46             value=self['value']
  47             if isinstance(value,list): result += " [value=list with %d elts]"%len(value)
  48             elif isinstance(value,dict): result += " [value=dict with keys %s]"%value.keys()
  49             else: result += " [value=%s: %s]"%(type(value).__name__,value)
  50         else:
  51             result += " [output=%s]"%self['output']
  52         result += "]"
  53         return result
  54
  55 # probably simpler to use a single class and transport the whole result there
  56 # instead of a clumsy set of derived classes
  57 class ManifoldException (Exception):
  58     def __init__ (self, manifold_result):
  59         self.manifold_result=manifold_result
  60     def __repr__ (self):
  61         return "Manifold Exception %s"%(self.manifold_result.error())