taskLiberty Eiffel - Tasks: task #12658, require then

 
 

You are not allowed to post comments on this tracker with your current authentication level.

task #12658: require then

Submitter:  Cyril Adrian <cadrian>
Submitted:  Fri 07 Jun 2013 08:34:23 AM UTC
   
 
Should Start On:  Thu 06 Jun 2013 10:00:00 PM UTC Should be Finished on:  Thu 06 Jun 2013 10:00:00 PM UTC
Category:  SmartEiffel Priority:  5 - Normal
Status:  None Assigned to:  None
Percent Complete:  0% Open/Closed:  Open
Fixed Release:  None Planned Release:  None
Effort:  0.00

Fri 07 Jun 2013 08:34:23 AM UTC, original submission:  

https://github.com/LibertyEiffel/Liberty/issues/76

  • Allow to strengthen invariant for inserted classes (not conformant)
  • Disallow simple "require" or "require else" on inherited features if there is no precondition on the inherited feature
Cyril Adrian <cadrian>
Group administrator

 

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

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -email is unavailable- added by cadrian (Submitted the item)
  •  

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

     

    No changes have been made to this item

    Back to the top

    Powered by Savane 3.13-f8d8.
    Corresponding source code