lib/python/Components/config.py

   1 class configFile:
   2         def __init__(self):
   3                 self.changed = 0
   4                 self.configElements = { }
   5                 try:
   6                         self.file = open("config")
   7                 except IOError:
   8                         print "cannot open config file"
   9                         return
  10
  11                 while 1:
  12                         line = self.file.readline()
  13                         if line == "":
  14                                 break
  15
  16                         if line.startswith("#"):                #skip comments
  17                                 continue
  18
  19                         self.addElement(line)
  20                 self.file.close()
  21
  22         def addElement(self, line):
  23                 x = line.find("=")
  24                 if x > -1:
  25                         self.configElements[line[:x]] = line[x + 1:]
  26
  27         def getKey(self, key):
  28                 return self.configElements[key]
  29
  30         def setKey(self, key, value):
  31                 self.changed = 1
  32                 self.configElements[key] = value
  33
  34         def save(self):
  35                 if self.changed == 0:           #no changes, so no write to disk needed
  36                         return
  37
  38                 fileHandle = open("config", "w")
  39
  40                 for x in self.configElements:
  41                         wstr = x + "=" + self.configElements[x]
  42
  43                         if wstr[len(wstr) - 1] != '\n':
  44                                 wstr = wstr + "\n"
  45
  46                         fileHandle.write(wstr)
  47
  48                 fileHandle.close()
  49
  50 class configSelection:
  51         def __init__(self, parent):
  52                 self.parent = parent
  53
  54         def checkValues(self):
  55                 if self.parent.value < 0:
  56                         self.parent.value = 0
  57
  58                 if(self.parent.value >= (len(self.parent.vals) - 1)):
  59                         self.parent.value = len(self.parent.vals) - 1
  60
  61         def cancel(self):
  62                 self.parent.reload()
  63
  64         def save(self):
  65                 self.parent.save()
  66
  67         def handleKey(self, key):
  68                 if key == config.key["prevElement"]:
  69                         self.parent.value = self.parent.value - 1
  70                 if key == config.key["nextElement"]:
  71                         self.parent.value = self.parent.value + 1
  72
  73                 self.checkValues()
  74
  75                 self.parent.change()
  76
  77         def __call__(self, selected):                   #needed by configlist
  78                 self.checkValues()
  79                 return ("text", self.parent.vals[self.parent.value])
  80
  81 class configSequence:
  82         def __init__(self, parent):
  83                 self.parent = parent
  84                 self.markedPos = 0
  85
  86         def checkValues(self):
  87                 maxPos = len(self.parent.value) * self.parent.vals[1]
  88                 print maxPos
  89
  90                 if self.markedPos >= maxPos:
  91                         self.markedPos = maxPos - 1
  92                 if self.markedPos < 0:
  93                         self.markedPos = 0
  94
  95         def cancel(self):
  96                 self.parent.reload()
  97
  98         def save(self):
  99                 self.parent.save()
 100
 101         def handleKey(self, key):
 102                 #this will no change anything on the value itself
 103                 #so we can handle it here in gui element
 104                 if key == config.key["prevElement"]:
 105                         self.markedPos -= 1
 106                 if key == config.key["nextElement"]:
 107                         self.markedPos += 1
 108
 109                 if key >= config.key["0"] and key <= config.key["9"]:
 110                         number = 9 - config.key["9"] + key
 111                         # length of numberblock
 112                         numberLen = len(str(self.parent.vals[1][1]))
 113                         # position in the block
 114                         posinblock = self.markedPos % numberLen
 115                         # blocknumber
 116                         blocknumber = self.markedPos / numberLen
 117
 118                         oldvalue = self.parent.value[blocknumber]
 119                         olddec = oldvalue % 10 ** (numberLen - posinblock) - (oldvalue % 10 ** (numberLen - posinblock - 1))
 120                         newvalue = oldvalue - olddec + (10 ** (numberLen - posinblock - 1) * number)
 121
 122                         print "You actually pressed a number (" + str(number) + ") which will be added at block number " + str(blocknumber) + " on position " + str(posinblock)
 123                         print "Old value: " + str(oldvalue) + " olddec: " + str(olddec) + " newvalue: " + str(newvalue)
 124                         self.parent.value[blocknumber] = newvalue
 125                         self.markedPos += 1
 126
 127                 self.checkValues()
 128
 129                 print "markPos:",
 130                 print self.markedPos
 131
 132                 #FIXME: dont call when press left/right
 133                 self.parent.change()
 134
 135         def __call__(self, selected):                   #needed by configlist
 136                 value = ""
 137                 mPos = self.markedPos
 138                 print "Positon: " + str(mPos)
 139                 for i in self.parent.value:
 140                         if len(value):  #fixme no heading separator possible
 141                                 value += self.parent.vals[0]
 142                                 if mPos >= len(value) - 1:
 143                                         mPos += 1
 144
 145                         #diff =         self.parent.vals[1] - len(str(i))
 146                         #if diff > 0:
 147                                 ## if this helps?!
 148                                 #value += " " * diff
 149                         print (("%0" + str(len(str(self.parent.vals[1][1]))) + "d") % i)
 150                         value += ("%0" + str(len(str(self.parent.vals[1][1]))) + "d") % i
 151
 152                         # only mark cursor when we are selected
 153                         # (this code is heavily ink optimized!)
 154                 return ("mtext"[1-selected:], value, [mPos])
 155
 156 class configValue:
 157         def __init__(self, obj):
 158                 self.obj = obj
 159
 160         def __str__(self):
 161                 return self.obj
 162
 163 class Config:
 164         def __init__(self):
 165                 self.key = { "choseElement": 0,
 166                                          "prevElement": 1,
 167                                          "nextElement": 2,
 168                                          "0": 10,
 169                                          "1": 11,
 170                                          "2": 12,
 171                                          "3": 13,
 172                                          "4": 14,
 173                                          "5": 15,
 174                                          "6": 16,
 175                                          "7": 17,
 176                                          "8": 18,
 177                                          "9": 19 }
 178
 179 config = Config();
 180 configfile = configFile()
 181
 182 class ConfigSlider:
 183         def __init__(self, parent):
 184                 self.parent = parent
 185
 186         def cancel(self):
 187                 self.parent.reload()
 188
 189         def save(self):
 190                 self.parent.save()
 191
 192         def checkValues(self):
 193                 if self.parent.value < 0:
 194                         self.parent.value = 0
 195
 196                 if self.parent.value > 10:
 197                         self.parent.value = 10
 198
 199         def handleKey(self, key):
 200                 if key == config.key["prevElement"]:
 201                         self.parent.value = self.parent.value - 1
 202                 if key == config.key["nextElement"]:
 203                         self.parent.value = self.parent.value + 1
 204
 205                 self.checkValues()
 206                 self.parent.change()
 207
 208         def __call__(self, selected):                   #needed by configlist
 209                 self.checkValues()
 210                 return ("slider", self.parent.value * 10)
 211
 212 class ConfigSubsection:
 213         def __init__(self):
 214                 pass
 215
 216 class configElement:
 217         def datafromFile(self, control, data):
 218                 if control == ConfigSlider:
 219                         return int(data);
 220                 elif control == configSelection:
 221                         return int(data);
 222                 elif control == configSequence:
 223                         list = [ ]
 224                         part = data.split(self.vals[0])
 225                         for x in part:
 226                                 list.append(int(x))
 227                         return list
 228                 else:
 229                         return ""
 230
 231         def datatoFile(self, control, data):
 232                 if control == ConfigSlider:
 233                         return str(data);
 234                 elif control == configSelection:
 235                         return str(data);
 236                 elif control == configSequence:
 237                         value = ((len(data) * ("%d" + self.vals[0]))[0:-1]) % tuple(data)
 238 #                       just in case you don't understand the above, here an equivalent:
 239 #                       value = ""
 240 #                       for i in data:
 241 #                               if value !="":
 242 #                                       value += self.vals[0]
 243 #                               value += str(i)
 244                         return value
 245                 else:
 246                         return ""
 247
 248         def loadData(self):
 249                 try:
 250                         value = self.datafromFile(self.controlType, configfile.getKey(self.configPath))
 251                 except:
 252                         value = ""
 253
 254                 if value == "":
 255                         print "value not found - using default"
 256                         self.value = self.defaultValue
 257                         self.save()             #add missing value to dict
 258                 else:
 259                         self.value = value
 260
 261         def __init__(self, configPath, control, defaultValue, vals):
 262                 self.configPath = configPath
 263                 self.defaultValue = defaultValue
 264                 self.controlType = control
 265                 self.vals = vals
 266                 self.notifierList = [ ]
 267                 self.enabled = True
 268                 self.loadData()
 269         def addNotifier(self, notifier):
 270                 self.notifierList.append(notifier);
 271                 notifier(self);
 272         def change(self):
 273                 for notifier in self.notifierList:
 274                         notifier(self)
 275         def reload(self):
 276                 self.loadData()
 277         def save(self):
 278                 configfile.setKey(self.configPath, self.datatoFile(self.controlType,self.value))