MIME-Version: 1.0
References: <CANn=KGi1fU3rkEbwnOZX3_WNQJXa39tbkmn7N4tAMSf75r7nNw@mail.gmail.com>
In-Reply-To: <CANn=KGi1fU3rkEbwnOZX3_WNQJXa39tbkmn7N4tAMSf75r7nNw@mail.gmail.com>
From: Ron Johnson <ronljohnsonjr@gmail.com>
Date: Tue, 10 Jun 2025 17:28:31 -0400
Message-ID: <CANzqJaBYUDRua2LYQHp6rZVAR2OUVe_65Hw-NFd_gA1pxksFzQ@mail.gmail.com>
Subject: Re: Is it correct to raise an exception in a domain check
To: "pgsql-generallists.postgresql.org" <pgsql-general@lists.postgresql.org>
Content-Type: multipart/alternative; boundary="0000000000006f292f06373e61ec"
Archived-At: <https://www.postgresql.org/message-id/CANzqJaBYUDRua2LYQHp6rZVAR2OUVe_65Hw-NFd_gA1pxksFzQ%40mail.gmail.com>
Precedence: bulk

--0000000000006f292f06373e61ec
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Tue, Jun 10, 2025 at 4:53=E2=80=AFPM Logan Grosz <logan.grosz@gmail.com>=
 wrote:

> 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 benef=
it
> from attaching a description to the client error.
>

Since PG will throw an error when any CHECK constraint fails, are you
hoping to provide more details by throwing your own exception?

--=20
Death to <Redacted>, and butter sauce.
Don't boil me, I'm still alive.
<Redacted> lobster!

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

<div dir=3D"ltr"><div dir=3D"ltr">On Tue, Jun 10, 2025 at 4:53=E2=80=AFPM L=
ogan Grosz &lt;<a href=3D"mailto:logan.grosz@gmail.com">logan.grosz@gmail.c=
om</a>&gt; wrote:</div><div class=3D"gmail_quote gmail_quote_container"><bl=
ockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-lef=
t:1px solid rgb(204,204,204);padding-left:1ex"><div dir=3D"ltr">Hi,<div><br=
></div><div>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</div>=
<div><br></div><div>&gt;=C2=A0Each constraint must be an expression produci=
ng a Boolean result</div><div><br>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=C2=A0to the cl=
ient error.</div></div></blockquote><div><br></div><div>Since PG will throw=
 an error when any CHECK constraint fails, are you hoping to provide more d=
etails by throwing your own exception?</div><div><br></div></div><span clas=
s=3D"gmail_signature_prefix">-- </span><br><div dir=3D"ltr" class=3D"gmail_=
signature"><div dir=3D"ltr">Death to &lt;Redacted&gt;, and butter sauce.<di=
v>Don&#39;t boil me, I&#39;m still alive.<br><div><div>&lt;Redacted&gt; lob=
ster!</div></div></div></div></div></div>

--0000000000006f292f06373e61ec--