class UserManagerToFile(UserManager): ## Init ## def __init__(self, userClass=None): def initNextSerialNum(self): ## WebKit integration ## def wasInstalled(self, owner): ## File storage specifics ## def userDir(self): def setUserDir(self, userDir): def loadUser(self, serialNum, default=NoDefault): def scanSerialNums(self): ## UserManager customizations ## def setUserClass(self, userClass): ## UserManager concrete methods ## def nextSerialNum(self): def addUser(self, user): def userForSerialNum(self, serialNum, default=NoDefault): def userForExternalId(self, externalId, default=NoDefault): def userForName(self, name, default=NoDefault): def users(self): def activeUsers(self): def inactiveUsers(self): ## Encoder/decoder ## def encoder(self): def decoder(self): def setEncoderDecoder(self, encoder, decoder): class UserMixIn: def filename(self): def save(self): def __init__(self, mgr, filterFunc=None): def __getitem__(self, index): def __len__(self):