(f)
return catch_conversion_error_wrap
Catch unknown operators errors and converts them into conversion error.
Catch unknown operators errors and converts them into conversion error.
Catch unknown operators errors and converts them into conversion error .
def catch_conversion_error(f):
    """Catch unknown operators errors and converts them into conversion error."""

    @wraps(f)
    def catch_conversion_error_wrap(*args, **kwargs):
        try:
            res = f(*args, **kwargs)
        except pysmt.exceptions.UnsupportedOperatorError as ex:
            raise pysmt.exceptions.ConvertExpressionError(message=
                "Could not convert the input expression. " +
                "The formula contains unsupported operators. " +
                "The error was: %s" % ex.message,
            expression=ex.expression)
        return res
    return catch_conversion_error_wrap
def catch_conversion_error ( f ) : @ wraps ( f ) def catch_conversion_error_wrap ( * args , * * kwargs ) : try : res = f ( * args , * * kwargs ) except pysmt . exceptions . UnsupportedOperatorError as ex : raise pysmt . exceptions . ConvertExpressionError ( message = "Could not convert the input expression. " + "The formula contains unsupported operators. " + "The error was: %s" % ex . message , expression = ex . expression ) return res return catch_conversion_error_wrap