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