taskLiberty Eiffel - Tasks: task #12671, make inline agents closures


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

task #12671: make inline agents closures

Submitter:  Cyril Adrian <cadrian>
Submitted:  Fri 07 Jun 2013 09:33:08 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:  Done Percent Complete:  100%
Assigned to:  cadrian Open/Closed:  Closed
Fixed Release:  bell Planned Release:  bell
Effort:  0.00

Tue 28 Oct 2014 01:02:34 PM UTC, comment #1: 

Done, but beware when not using the GC.

Cyril Adrian <cadrian>
Project Administrator
Fri 07 Jun 2013 09:33:08 AM UTC, original submission:  


As suggested by http://liberty-eiffel.blogspot.de/2009/11/inline-agents-should-be-closures.html agents shall be able to access locals of their outer feature.

See also notes in #51. (in contracts there is no outer feature, even though pre- and postconditions could have (read) access to their "outer" features parameters and Result.)

Cyril Adrian <cadrian>
Project 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.




    Follow 9 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2014-10-28 cadrian StatusIn Progress Done
        Percent Complete40% 100%
        Open/ClosedOpen Closed
        Fixed ReleaseNone bell
    2013-12-08 cadrian Percent Complete30% 40%
    2013-11-26 cadrian StatusNone In Progress
        Percent Complete20% 30%
    2013-11-15 cadrian Percent Complete0% 20%
    2013-11-13 cadrian Assigned toNone cadrian

    Back to the top

    Powered by Savane 3.9