1 def enum(*sequential, **named):
2 enums = dict(zip(sequential, range(len(sequential))), **named)
3 return type('Enum', (), enums)
12 # being a dict this can be used with json.dumps
13 class ManifoldResult (dict):
14 def __init__ (self, code=ManifoldCode.SUCCESS, value=None, output=""):
19 def from_json (self, json_string):
20 d=json.dumps(json_string)
21 for k in ['code','value','output']:
25 def code (self): return self['code']
26 def output (self): return self['output']
28 # this returns None if there's a problem, the value otherwise
30 if self['code']==ManifoldCode.SUCCESS:
33 # both data in a single string
35 return "code=%s -- %s"%(self['code'],self['output'])
39 result="[[MFresult code=%s"%self['code']
42 if isinstance(value,list): result += " [value=list with %d elts]"%len(value)
43 else: result += " [value=other %s]"%value
45 result += " [output=%s]"%self['output']
49 # probably simpler to use a single class and transport the whole result there
50 # instead of a clumsy set of derived classes
51 class ManifoldException (Exception):
52 def __init__ (self, manifold_result):
53 self.manifold_result=manifold_result
55 return "Manifold Exception %s"%(self.manifold_result.error())