/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. (VAOL.1).
  3. Line 12 column 17 in BAD_OLD2 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_old2.e):
  4. if i = old (old i) then
  5. ^
  6. ------
  7. ****** Error: Expression "old" can be used in ensure clause only
  8. (VAOL.1).
  9. Line 12 column 22 in BAD_OLD2 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_old2.e):
  10. if i = old (old i) then
  11. ^
  12. ------
  13. ****** 2 errors.
  14. Load class "/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_old2.e" aborted.
  15. ****** Fatal Error: Unable to load class "BAD_OLD2".
  16. ------