Param/Int/__init__.py


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

from Param import Param

def ParamInt(Param):
  def __init__(self, value, classname=""):
    self._classname = classname
    super(ParamInt).__init__()
    try: 
      self.value = int(value)
    except Exception as e:
      self.err_warn("Not an int: %s" % str(value))
      self.err_warn(str(e))
  def __int__(self):
    return int(self.value)
  
  def __float__(self):
    return float(self.value)