/test/language/error_warning_msg/bad_old2.msg

http://github.com/tybor/Liberty · Unknown · 19 lines · 16 code · 3 blank · 0 comment · 0 complexity · ef5ff9e887480ca6aadb0698c5fe2bbe MD5 · raw file 

    

  1. ****** Error: Expression "old" can be used in ensure clause only
    2. 

  2. (VAOL.1).
    3. 

  3. 

  4. Line 12 column 17 in BAD_OLD2 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_old2.e):
    5. 

  5.          if i = old (old i) then
    6. 

  6.                 ^               
    7. 

  7. ------
    8. 

  8. ****** Error: Expression "old" can be used in ensure clause only
    9. 

  9. (VAOL.1).
    10. 

  10. 

  11. Line 12 column 22 in BAD_OLD2 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_old2.e):
    12. 

  12.          if i = old (old i) then
    13. 

  13.                      ^          
    14. 

  14. ------
    15. 

  15. ****** 2 errors.
    16. 

  16. Load class "/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_old2.e" aborted.
    17. 

  17. ****** Fatal Error: Unable to load class "BAD_OLD2".
    18. 

  18. 

  19. ------
    20.