mediator.py 文件源码

def int_ge0(text):
    """
    Convert given text to an integer greater than or equal to 0.

    Used by `ArgumentParser`.

    :param text: Text to convert to integer.

    :return: An integer greater than or equal to 0.
    """
    try:
        # Convert to int
        int_value = int(text)

        # Ensure greater than or equal to 0
        assert int_value >= 0
    except Exception:
        # Raise an exception to notify ArgumentParser
        raise ArgumentTypeError(
            '`%s` is not an integer greater than or equal to 0.' % text)

    # Return the valid value
    return int_value