OLD | NEW |
1 -- Copyright 2007-2012 Free Software Foundation, Inc. | 1 -- Copyright 2007-2013 Free Software Foundation, Inc. |
2 -- | 2 -- |
3 -- This program is free software; you can redistribute it and/or modify | 3 -- This program is free software; you can redistribute it and/or modify |
4 -- it under the terms of the GNU General Public License as published by | 4 -- it under the terms of the GNU General Public License as published by |
5 -- the Free Software Foundation; either version 3 of the License, or | 5 -- the Free Software Foundation; either version 3 of the License, or |
6 -- (at your option) any later version. | 6 -- (at your option) any later version. |
7 -- | 7 -- |
8 -- This program is distributed in the hope that it will be useful, | 8 -- This program is distributed in the hope that it will be useful, |
9 -- but WITHOUT ANY WARRANTY; without even the implied warranty of | 9 -- but WITHOUT ANY WARRANTY; without even the implied warranty of |
10 -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | 10 -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
11 -- GNU General Public License for more details. | 11 -- GNU General Public License for more details. |
(...skipping 22 matching lines...) Expand all Loading... |
34 pragma Assert (False); -- SPOT3 | 34 pragma Assert (False); -- SPOT3 |
35 null; | 35 null; |
36 exception | 36 exception |
37 when others => | 37 when others => |
38 null; | 38 null; |
39 end; | 39 end; |
40 | 40 |
41 raise Constraint_Error; -- SPOT4 | 41 raise Constraint_Error; -- SPOT4 |
42 | 42 |
43 end Foo; | 43 end Foo; |
OLD | NEW |