def tokenize(self, input): self.rv = [] GenericScanner.tokenize(self, input) return self.rv
def __init__(self): GenericScanner.__init__(self)