def nums(cls):
        "all numeric digit characters in this range"
        return u''.join(filter(unicode.isdigit, cls._get_chars_for_ranges()))
all numeric digit characters in this range
product/gradle-plugin/src/main/python/pip/_vendor/pyparsing.py