From: "Jeffrey R.Carter" <spam.jrcarter.not@spam.acm.org.not>
Subject: Re: Odd Behaviour
Date: Tue, 18 Jan 2022 12:28:38 +0100 [thread overview]
Message-ID: <ss6896$hh6$1@dont-email.me> (raw)
In-Reply-To: <09dcb07d-f7b8-432b-8338-840ff90faef1n@googlegroups.com>
On 2022-01-18 12:05, Mark Wilson wrote:
>
> Pre => (if HandleType = SQL_HANDLE_ENV then
> InputHandle = SQL_NULL_HANDLE
> else
> InputHandle /= SQL_NULL_HANDLE),
> Post => (if SQL_OK (Result) then
> OutputHandlePtr /= SQL_NULL_HANDLE
> else
> OutputHandlePtr = SQL_NULL_HANDLE);
What happens with
Pre => (Handletype = SQL_Handle_Env) = (Inputhandle = SQL_Null_Handle)
and
Post => SQL_OK (Result) = (Outputhandleptr /= SQL_Null_Handle)
which seem to be equivalent?
--
Jeff Carter
"Monsieur Arthur King, who has the brain of a duck, you know."
Monty Python & the Holy Grail
09
next prev parent reply other threads:[~2022-01-18 11:28 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-01-18 11:05 Odd Behaviour Mark Wilson
2022-01-18 11:16 ` Marius Amado-Alves
2022-01-18 11:21 ` Mark Wilson
2022-01-18 11:24 ` Mark Wilson
2022-01-18 11:28 ` Jeffrey R.Carter [this message]
2022-01-18 11:35 ` Mark Wilson
2022-01-18 11:48 ` Jeffrey R.Carter
2022-01-18 11:51 ` Mark Wilson
2022-01-18 12:08 ` Mark Wilson
2022-01-18 12:18 ` Mark Wilson
2022-01-18 12:27 ` Mark Wilson
2022-01-18 13:50 ` Mark Wilson
2022-01-18 12:25 ` Jeffrey R.Carter
2022-01-18 12:30 ` Mark Wilson
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox