taskLiberty Eiffel - Tasks: task #16216, support a direct call of agents...


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

task #16216: support a direct call of agents which are returned by procedures

Submitter:  Raphael Mack <ramack>
Submitted:  Mon 06 Jun 2022 08:10:46 PM UTC
Should Start On:  Sun 05 Jun 2022 10:00:00 PM UTC Should be Finished on:  Sun 05 Jun 2022 10:00:00 PM UTC
Category:  SmartEiffel Priority:  3 - Low
Status:  None Assigned to:  None
Percent Complete:  0% Open/Closed:  Open
Fixed Release:  None Planned Release:  curtiss
Effort:  40.00

Mon 06 Jun 2022 08:22:02 PM UTC, comment #1: 

until this syntactic sugar is implemented, the feature call (of the agent returning feature) can be put into parenthesis:

Raphael Mack <ramack>
Group administrator
Mon 06 Jun 2022 08:10:46 PM UTC, original submission:  

assume an agent variable of type:

it can be called directly, e. g. by
assert(sq(2) = 4)

but if a procedure with the same return type

        return sq

it currently cannot be called by:

The task is to support this.

See test case language/unclassified/test_alias_02.e

Raphael Mack <ramack>
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 ramack (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-ee12.
    Corresponding source code