bad_old2.msg | searchcode

/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
 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------