Liberty 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>

 

(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.

 

Copyright © 2024 Free Software Foundation, Inc.
Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.
The Levitating, Meditating, Flute-playing Gnu logo is a GNU GPL'ed image provided by the Nevrax Design Team.
Page source code