def getPropIndex(self, propName):
i = 0
for prop in self.prop:
if prop.getName() == propName:
return i
i += 1
return None
def add(self, rev2):
for prop in rev2.properties:
index = self.getPropIndex(prop.getName())
if index != None:
self.properties[index].add(prop)
else:
self.properties.append(prop)
self.prop = self.properties
