class Value:
   def __init__(self, vty=None):
      self.valueType = vty
      self.name = None
   def getContext(self):
      return self.valueType.context
   def dump(self):
      print(self)
   def getName(self):
      return self.name
   def setName(self, name):
      if not self.name and not name:
         return
      self.name = name
   Name = property(getName, setName)

class Constant(Value):
   def __init__(self, value, vty):
      super().__init__(vty)
      self.value = value
      print('new constant value: ', value)