Problem with DS_HASH_TABLE

4 Messages

Paul G. Crismer

Reply Threaded

Hello,

I have a problem with DS_HASH_TABLE. A precondition violation in
'clashes_put'.

Class / Object Routine Nature of exception Effect
-------------------------------------------------------------------------------
DS_HASH_TABLE clashes_put @12 index_small_enough:
<000000000B20FEF8> (From DS_ARRAYED_SPARSE_TABLE)
Runtime check violated. Fail
-------------------------------------------------------------------------------
DS_HASH_TABLE clashes_put @3
<000000000B20FEF8> (From DS_ARRAYED_SPARSE_TABLE)
Routine failure. Fail
-------------------------------------------------------------------------------
DS_HASH_TABLE put @12
<000000000B20FEF8> (From DS_SPARSE_TABLE) Routine failure. Fail
-------------------------------------------------------------------------------

How does it come? Before putting the new element we check the table is
not full.
Is there a known problem with DS_HASH_TABLE?

Best regards,

Paul G. Crismer

-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Eric Bezault

Re: Problem with DS_HASH_TABLE

Reply Threaded

Paul G. Crismer wrote:

> I have a problem with DS_HASH_TABLE. A precondition violation in
> 'clashes_put'.
>
> Class / Object Routine Nature of exception Effect
> -------------------------------------------------------------------------------
> DS_HASH_TABLE clashes_put @12 index_small_enough:
> <000000000B20FEF8> (From DS_ARRAYED_SPARSE_TABLE)
> Runtime check violated. Fail
> -------------------------------------------------------------------------------
> DS_HASH_TABLE clashes_put @3
> <000000000B20FEF8> (From DS_ARRAYED_SPARSE_TABLE)
> Routine failure. Fail
> -------------------------------------------------------------------------------
> DS_HASH_TABLE put @12
> <000000000B20FEF8> (From DS_SPARSE_TABLE) Routine failure. Fail
> -------------------------------------------------------------------------------
>
> How does it come? Before putting the new element we check the table is
> not full.
> Is there a known problem with DS_HASH_TABLE?

There is no known problem.
Can you reproduce the bug on a small example?

--
Eric Bezault
mailto:ericb@...
http://www.gobosoft.com

-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Eric Bezault

Re: Problem with DS_HASH_TABLE

Reply Threaded

In reply to this post by Paul G. Crismer

Paul G. Crismer wrote:
> I have a problem with DS_HASH_TABLE. A precondition violation in
> 'clashes_put'.

Hi Paul,

Did you get a precondition violation on DS_HASH_TABLE.put after
following Ted's suggestion to enable Supplier Precondition in
the configuration?

--
Eric Bezault
mailto:ericb@...
http://www.gobosoft.com

-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

Berend de Boer

Re: Problem with DS_HASH_TABLE

Reply Threaded

In reply to this post by Paul G. Crismer

>>>>> "Paul" == Paul G Crismer <paul-georges.crismer@...> writes:

Paul> Hello, I have a problem with DS_HASH_TABLE. A precondition
Paul> violation in 'clashes_put'.

Hi Paul,

Maybe you have an issue where a STRING isn't cloned and overwritten
while adding things?

--
Cheers,

Berend de Boer

-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php
_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

smime.p7s (1K) Download Attachment