def _get_decimal_digits(decimal_number_match, number_of_significant_digits):
    """
    Returns the amount of decimal digits of the given regex match, considering the number of significant
    digits for the provided column.

    @param decimal_number_match: a regex match of a decimal number, resulting from REGEX_MEASURE.match(x).
    @param column: the Column the decimal number is a part of. The column's information is used to compute
        the number of decimal digits.
    @return: the number of decimal digits of the given decimal number match's representation, after expanding
        the number to the required amount of significant digits
    """

    assert 'e' not in decimal_number_match.group()  # check that only decimal notation is used

    try:
        num_of_digits = int(number_of_significant_digits)
    except __HOLE__:
        num_of_digits = DEFAULT_NUMBER_OF_SIGNIFICANT_DIGITS

    if not decimal_number_match.group(GROUP_DEC_PART):
        return 0

    # If 1 > value > 0, only look at the decimal digits.
    # In the second condition, we have to remove the first character from the decimal part group because the
    # first character always is '.'
    if int(decimal_number_match.group(GROUP_INT_PART)) == 0\
            and int(decimal_number_match.group(GROUP_DEC_PART)[1:]) != 0:

        max_num_of_digits = len(decimal_number_match.group(GROUP_SIG_DEC_PART))
        num_of_digits = min(num_of_digits, max_num_of_digits)
        # number of needed decimal digits = number of zeroes after decimal point + significant digits
        curr_dec_digits = len(decimal_number_match.group(GROUP_ZEROES)) + int(num_of_digits)

    else:
        max_num_of_digits =\
            len(decimal_number_match.group(GROUP_INT_PART)) + len(decimal_number_match.group(GROUP_DEC_PART))
        num_of_digits = min(num_of_digits, max_num_of_digits)
        # number of needed decimal digits = significant digits - number of digits in front of decimal point
        curr_dec_digits = int(num_of_digits) - len(decimal_number_match.group(GROUP_INT_PART))

    return curr_dec_digits
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/tablegenerator/__init__.py/_get_decimal_digits