From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-2.9 required=3.0 tests=BAYES_00,NICE_REPLY_A autolearn=ham autolearn_force=no version=3.4.6 Path: eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail From: "Jeffrey R.Carter" Newsgroups: comp.lang.ada Subject: Re: Odd Behaviour Date: Tue, 18 Jan 2022 12:28:38 +0100 Organization: A noiseless patient Spider Message-ID: References: <09dcb07d-f7b8-432b-8338-840ff90faef1n@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Tue, 18 Jan 2022 11:28:38 -0000 (UTC) Injection-Info: reader02.eternal-september.org; posting-host="4de166002d9673ed6313a248996ba33e"; logging-data="17958"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19+R0BkTe/8yN+h/tsN1fYmb8x+NKpCZXM=" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.3.1 Cancel-Lock: sha1:fTsFSfCOxIfNbLSxjieDD5RdE8Q= In-Reply-To: <09dcb07d-f7b8-432b-8338-840ff90faef1n@googlegroups.com> Content-Language: en-US Xref: reader02.eternal-september.org comp.lang.ada:63385 List-Id: 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