gobo-eiffel-develop

[gobo-eiffel-develop] Problem with DS_HASH_TABLE

[Paul G. C. <pau...@sc...>]

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

Re: [gobo-eiffel-develop] Problem with DS_HASH_TABLE

[Eric B. <er...@go...>]

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:er...@go...
http://www.gobosoft.com

Re: [gobo-eiffel-develop] Problem with DS_HASH_TABLE

[Eric B. <er...@go...>]

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:er...@go...
http://www.gobosoft.com

Re: [gobo-eiffel-develop] Problem with DS_HASH_TABLE

[Berend de B. <be...@po...>]

>>>>> "Paul" == Paul G Crismer <pau...@sc...> 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