def __init__(self):

    def identifier(scanner, token):
        return ('IDENT', token)

    def operator(scanner, token):
        return ('OPERATOR', token)

    def digit(scanner, token):
        return ('DIGIT', token)

    def open_brace(scanner, token):
        return ('OPEN_BRACE', token)

    def close_brace(scanner, token):
        return ('CLOSE_BRACE', token)
    self.scanner = re.Scanner([('[a-zA-Z_]\\w*', identifier), ('-*[0-9]*\\.?[0-9]+([eE][-+]?[0-9]+)?', digit), ('}', close_brace), ('}', close_brace), ('{', open_brace), (':', None), ('\\s+', None)])
def __init__(self):

    def identifier(scanner, token):
        return ('IDENT', token)

    def operator(scanner, token):
        return ('OPERATOR', token)

    def digit(scanner, token):
        return ('DIGIT', token)

    def open_brace(scanner, token):
        return ('OPEN_BRACE', token)

    def close_brace(scanner, token):
        return ('CLOSE_BRACE', token)
    self.scanner = re.Scanner([('[a-zA-Z_]\\w*', identifier), ('-*[0-9]*\\.?[0-9]+([eE][-+]?[0-9]+)?', digit), ('}', close_brace), ('}', close_brace), ('{', open_brace), (':', None), ('\\s+', None)])