taskLiberty Eiffel - Tasks: task #12654, add warning in case of effectless...


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

task #12654: add warning in case of effectless command executed on expanded type

Submitted by:  Cyril Adrian <cadrian>
Submitted on:  Fri 07 Jun 2013 08:26:15 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: NonePercent Complete: 0%
Assigned to: NoneOpen/Closed: Open
Fixed Release: NonePlanned Release: None
Effort: 0.00

Fri 07 Jun 2013 08:26:15 AM UTC, original submission:


Liberty should issue a warning in case a command is executed on a qualified expression of expanded type.

See also discussion on

For discussion here:
assume a force_to_bounds(a, b: INTEGER) feature in class INTEGER

class AUX

class TEST
test: is
a_int: INTEGER
create a_aux
a_aux.int.force_to_bounds(1, 2) -- [1] this has no effect and shall emit the warning
a_int.force_to_bounds(1, 2) -- [2] this has effect and shall just work
my_int.force_to_bounds(1, 2) -- [3] this has effect and shall just work
my_int: INTEGER

The warning shall occur, whenever command (or other feature call with side effects on the call target) is called on a foreign target I. e. with a statement containing at least two dots (.) before the command.

Commands directly executed on local variables or attributes of Current should be find from my understanding.

  • We should check whether this behavior is fully tested.
  • the wiki page on expanded types needs update when the warning is there
Cyril Adrian <cadrian>
Project Administrator


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):



    Follows 1 latest change.

    Date Changed By Updated Field Previous Value => Replaced By
    Fri 07 Jun 2013 08:32:17 AM UTCcadrianCategoryNone=>SmartEiffel

    Back to the top

    Powered by Savane 3.1-cleanup1