def _int_type_cast(value):
    """Makes sure a value is an integer.

    Args:
        value: String or integer. Value to be type-cast.

    Returns:
        The integer version of the original value.

    Raises:
        GitRvException: If the value can't be cast to an integer.
    """
    try:
        value = int(value)
    except (ValueError, __HOLE__):
        raise GitRvException('Property must be integer. Received %r.'
                             % (value,))
    return value
dataset/ETHPy150Open googlearchive/git-rv/utils.py/_int_type_cast