def __init__(self):
##- position counter
self.is_newline = True
self.lineno = 1
self.column = 0
### ----------------
GenericScanner.__init__(self)
def tokenize(self, input):
self.rv = []
GenericScanner.tokenize(self, input)
return self.rv
def __init__(self):
GenericScanner.__init__(self)
def tokenize(self, input):
self.rv = []
GenericScanner.tokenize(self, input)
return self.rv
def __init__(self, coverage_path=None):
GenericScanner.__init__(self)
def __init__(self):
GenericScanner.__init__(self)
def __init__(self):
self.is_newline = True
self.indents = [0]
GenericScanner.__init__(self)
def tokenize(self, string):
self.rv = []
GenericScanner.tokenize(self, string)
return self.rv
def __init__(self):
self.is_newline = True
self.indents = [0]
self.lineno = 1
self.column = 0
GenericScanner.__init__(self)
def tokenize(self, string):
self.rv = []
GenericScanner.tokenize(self, string)
return self.rv
def __init__(self):
self.is_newline = True
self.indents = [0]
self.lineno = 1
self.column = 0
GenericScanner.__init__(self)