Thread: Is it correct to raise an exception in a domain check

Is it correct to raise an exception in a domain check

From
Logan Grosz
Date:
Hi,

I have a `DOMAIN` on `JSONB`. I need to verify the shape of the JSON, so I have a check expression written in PL/pgSQL. The docs say

> Each constraint must be an expression producing a Boolean result

Would it be correct to raise an exception to indicate a failed check? I perform type-casts (that throw already) and other checks that would benefit from attaching a description to the client error.

Thank you,
Logan

Re: Is it correct to raise an exception in a domain check

From
Tom Lane
Date:
Logan Grosz <logan.grosz@gmail.com> writes:
> I have a `DOMAIN` on `JSONB`. I need to verify the shape of the JSON, so I
> have a check expression written in PL/pgSQL. The docs say

>> Each constraint must be an expression producing a Boolean result

> Would it be correct to raise an exception to indicate a failed
> check?

It'd be better just to have the CHECK expression return false.
Admittedly, that's usually just going to end in an exception,
but pre-judging that inside the expression doesn't seem ideal.
An example of why not is that you'd break "soft" input error
handling in COPY.

As you say, there are some cases where it's hard to avoid
an exception, but I'm not sure that "better error message"
is a good justification for throwing one.  Still, in the
end it's your own judgment to make.

            regards, tom lane