Re: post condition violation with KL_CASE_INSENSITIVE_STRING_EQUALITY_TESTER

Berend de Boer <[email protected]> Wed, 13 Jan 2016 15:50:00 +1300
Newsgroups gmane.comp.lang.eiffel.gobo.devel
Message-ID <[email protected]>
--===============5496087740491300967==
Content-Type: multipart/signed;
	boundary="pgp-sign-Multipart_Wed_Jan_13_15:50:00_2016-1";
	micalg=pgp-sha256; protocol="application/pgp-signature"
Content-Transfer-Encoding: 7bit

--pgp-sign-Multipart_Wed_Jan_13_15:50:00_2016-1
Content-Type: text/plain; format=flowed; charset=US-ASCII

>>>>> "Berend" == Berend de Boer <[email protected]> writes:

    Berend> if fields.has ("ST) then

Just noticed that there is a field with value "St" so should find
something, but doesn't.

--
All the best,

Berend de Boer


--pgp-sign-Multipart_Wed_Jan_13_15:50:00_2016-1
Content-Type: application/pgp-signature
Content-Transfer-Encoding: 7bit
Content-Description: OpenPGP Digital Signature

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAABCAAGBQJWlbtYAAoJEKOfeD48G3g5d4sQAL4rVCOBP43O59vmOiFkKIc7
S2fkBFubRsWXuMRtGG9FFr/LdqvMQv9xTPr34yH2YLYQXtvd/1/+yeGf4QID8M4X
rrJBsT1zKmg2bnUIyj+6ZJv+yjX4E/4n61c8ecTJH5ilnvr74CrJz9AJYu+Niec0
kxr+Qqkk7UmI4yiJn5U8RVe+XAZSZbQ0066SUtXZtudq95TVY+NNrTZ8WdHwte5g
w9SXU8l4SNK49tQk4PEFMSBgY7m+BgfX7an9CHsjyttPqHOPpPoM7ULgoCMAm23C
DB2NdpnJS8pLcTNGRwrxStlEc4ibACeXnJmYV3NfNBBq5FdOgqjnf1sytunE6cVl
pj7xqoKYRvNWX8yXnxck5DNDga8iobOkYFa7nMVNtZ0VUKWAXOLMWny8C5i2w6vG
mKx97VqMpqjvKMIFPIvd6CRAG43hzRf5UqjGoKPLYKhM8gOezY9LL8UNm6uRBvyC
Aa3q9SV0FhYfYBTcPKmrag2QlDzfhrkqFquQW2wXh7BLxUzwXfkjNkq10Xqt+NBQ
yA0eSsT6glK2poN4i+um4PN2132BLkERFC39SZ6Snk8MHaSSgauwJhRCOnfbypMp
5UI3RhrUxfeM0NMVVE3Y2W/Fu17j0NgvCA7eK+lohJIbNaWmldqu7rV8gF9CAVJz
ojLWK3wy7QOinjwnJO8w
=KEiJ
-----END PGP SIGNATURE-----

--pgp-sign-Multipart_Wed_Jan_13_15:50:00_2016-1--


--===============5496087740491300967==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

------------------------------------------------------------------------------
Site24x7 APM Insight: Get Deep Visibility into Application Performance
APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
Monitor end-to-end web transactions and take corrective actions now
Troubleshoot faster and improve end-user experience. Signup Now!
http://pubads.g.doubleclick.net/gampad/clk?id=267308311&iu=/4140
--===============5496087740491300967==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
gobo-eiffel-develop mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

--===============5496087740491300967==--