Liberty 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: |
Cyril Adrian <cadrian>![]() ![]() |
Fri 07 Jun 2013 09:33:08 AM UTC, original submission:
https://github.com/LibertyEiffel/Liberty/issues/55
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>![]() ![]() |
No files currently attached
Depends on the following items: None found
Items that depend on this one: None found
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 | Status | In Progress | ![]() |
Done |
Percent Complete | 40% | ![]() |
100% | ||
Open/Closed | Open | ![]() |
Closed | ||
Fixed Release | None | ![]() |
bell | ||
2013-12-08 | cadrian | Percent Complete | 30% | ![]() |
40% |
2013-11-26 | cadrian | Status | None | ![]() |
In Progress |
Percent Complete | 20% | ![]() |
30% | ||
2013-11-15 | cadrian | Percent Complete | 0% | ![]() |
20% |
2013-11-13 | cadrian | Assigned to | None | ![]() |
cadrian |
Done, but beware when not using the GC.