tests/i/library-lines/program.cps


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21


INCLUDE "library.cps"
TRY
    CALL Check()
CATCH
    OUTPUT "bounds caught"
ENDTRY
TRY
    CALL Bounds()
CATCH
    OUTPUT "contract caught"
ENDTRY
TRY
    CALL FileError()
CATCH
    OUTPUT "file caught"
ENDTRY
TRY
    DECLARE X : Broken
CATCH
    OUTPUT "constructor caught"
ENDTRY