MIME-Version: 1.0
From: Logan Grosz <logan.grosz@gmail.com>
Date: Sun, 8 Jun 2025 22:01:47 -0600
Message-ID: <CANn=KGi1fU3rkEbwnOZX3_WNQJXa39tbkmn7N4tAMSf75r7nNw@mail.gmail.com>
Subject: Is it correct to raise an exception in a domain check
To: pgsql-general@lists.postgresql.org
Content-Type: multipart/alternative; boundary="0000000000002c8d7b06371ba478"
Archived-At: <https://www.postgresql.org/message-id/CANn%3DKGi1fU3rkEbwnOZX3_WNQJXa39tbkmn7N4tAMSf75r7nNw%40mail.gmail.com>
Precedence: bulk

--0000000000002c8d7b06371ba478
Content-Type: text/plain; charset="UTF-8"

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

--0000000000002c8d7b06371ba478
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Hi,<div><br></div><div>I have a `DOMAIN` on `JSONB`. I nee=
d to verify the shape of the JSON, so I have a check expression written in =
PL/pgSQL. The docs say</div><div><br></div><div>&gt;=C2=A0Each constraint m=
ust be an expression producing a Boolean result</div><div><br>Would it be c=
orrect to raise an exception to indicate a failed check? I perform type-cas=
ts (that throw already) and other checks that would benefit from attaching =
a description=C2=A0to the client error.</div><div><br>Thank you,</div><div>=
Logan<br></div></div>

--0000000000002c8d7b06371ba478--