blob: 86d6a48a2afe91f5d8f66f164b6783a828b65f92 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
MODULE exceptiontest;
IMPORT EXCEPTIONS;
VAR
s: EXCEPTIONS.ExceptionSource;
BEGIN
EXCEPTIONS.AllocateSource(s) ;
EXCEPTIONS.RAISE(s, 1, 'Exception text')
EXCEPT
HALT(0)
END exceptiontest.
|