bugLiberty Eiffel - Bugs: bug #40018, Error in a post-condition of...

 
 

bug #40018: Error in a post-condition of ID_PROVIDER

Submitted by:  Paolo Redaelli <Tybor>
Submitted on:  Fri 13 Sep 2013 09:56:46 AM UTC  
 
Category: SmartEiffelSeverity: 3 - Normal
Priority: 5 - NormalStatus: Fixed
Assigned to: Cyril Adrian <cadrian>Open/Closed: Closed
Release: adlerFixed Release: adler
Planned Release: adler

Add a New Comment(Rich Markup)
   

You are not logged in

Please log in, so followups can be emailed to you.

 

Fri 13 Sep 2013 11:47:31 AM UTC, comment #3:

Sorry? For a one liner?
You should not... With that metric my faults are thousand times heavier...

Paolo Redaelli <Tybor>
Project Administrator
Fri 13 Sep 2013 11:30:57 AM UTC, comment #2:

fixed by https://github.com/LibertyEiffel/Liberty/commit/f738cf008d46e755e6cc07ca2caa9bf76346ed54

Cyril Adrian <cadrian>
Project AdministratorIn charge of this item.
Fri 13 Sep 2013 11:28:23 AM UTC, comment #1:

my fault, sorry

Cyril Adrian <cadrian>
Project AdministratorIn charge of this item.
Fri 13 Sep 2013 09:56:46 AM UTC, original submission:

There are some the errors that blocks the generation of documentation. Most are my fault, yet there's one that I would rather not touch:

class_check string_aliaser

            • Fatal Error: Cannot pass `hashed_string' which is of type

HASHED_STRING into formal type STRING.

The source lines involved by the message are the following:

Line 43 column 26 in STRING_ALIASER (/home/paolo/current-liberty/src/smarteiffel/kernel/string_aliaser.e):
hashed_string (model: STRING): HASHED_STRING is
^
Line 117 column 67 in ID_PROVIDER (/home/paolo/current-liberty/src/smarteiffel/generation/c/id_provider.e):
is_aliased: hashed_string = string_aliaser.hashed_string(hashed_string)

Paolo Redaelli <Tybor>
Project Administrator

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach File(s):
   
   
Comment:
   

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -unavailable- added by Tybor (Submitted the item)
  •  

    Do you think this task is very important?
    If so, you can click here to add your encouragement to it.
    This task has 0 encouragements so far.

    Only logged-in users can vote.

     

    Please enter the title of George Orwell's famous dystopian book (it's a date):

     

     

    Follow 4 latest changes.

    Date Changed By Updated Field Previous Value => Replaced By
    Fri 13 Sep 2013 11:30:57 AM UTCcadrianStatusNone=>Fixed
      Open/ClosedOpen=>Closed
      Fixed ReleaseNone=>adler
    Fri 13 Sep 2013 11:28:23 AM UTCcadrianAssigned toNone=>cadrian

    Back to the top


    Powered by Savane 3.1-cleanup1