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


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

task #12671: make inline agents closures

Submitted by:  Cyril Adrian <cadrian>
Submitted on:  Fri 07 Jun 2013 09:33:08 AM UTC  
Should Start On: Thu 06 Jun 2013 10:00:00 PM UTCShould be Finished on: Thu 06 Jun 2013 10:00:00 PM UTC
Category: SmartEiffelPriority: 5 - Normal
Status: In ProgressPercent Complete: 40%
Assigned to: Cyril Adrian <cadrian>Open/Closed: Open
Fixed Release: NonePlanned Release: bell
Effort: 0.00

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 AdministratorIn charge of this item.


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 cadrian (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 5 latest changes.

    Date Changed By Updated Field Previous Value => Replaced By
    Sun 08 Dec 2013 03:37:48 PM UTCcadrianPercent Complete30%=>40%
    Tue 26 Nov 2013 12:23:48 PM UTCcadrianStatusNone=>In Progress
      Percent Complete20%=>30%
    Fri 15 Nov 2013 08:55:01 AM UTCcadrianPercent Complete0%=>20%
    Wed 13 Nov 2013 12:06:13 PM UTCcadrianAssigned toNone=>cadrian

    Back to the top

    Powered by Savane 3.1-cleanup