| 1 | --------------------------------------------------------------- {{{1 ---------- |
|---|---|
| 2 | --: Copyright © 2023 … 2023 Martin Krischik «krischik@users.sourceforge.net» |
| 3 | ----------------------------------------------------------------------------- |
| 4 | --: This library is free software; you can redistribute it and/or modify it |
| 5 | --: under the terms of the GNU Library General Public License as published by |
| 6 | --: the Free Software Foundation; either version 2 of the License, or (at your |
| 7 | --: option) any later version. |
| 8 | --: |
| 9 | --: This library is distributed in the hope that it will be useful, but |
| 10 | --: WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY |
| 11 | --: or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Library General Public |
| 12 | --: License for more details. |
| 13 | --: |
| 14 | --: You should have received a copy of the GNU Library General Public License |
| 15 | --: along with this library; if not, write to the Free Software Foundation, |
| 16 | --: Inc., 675 Mass Ave, Cambridge, MA 02139, USA. |
| 17 | --------------------------------------------------------------- }}}1 ---------- |
| 18 | |
| 19 | pragma License (Modified_Gpl); |
| 20 | pragma Ada_2022; |
| 21 | |
| 22 | with AdaCL.Assert; |
| 23 | |
| 24 | --- |
| 25 | -- @summary |
| 26 | -- |
| 27 | -- @description |
| 28 | -- Assertion with trace as reporting backend |
| 29 | -- |
| 30 | package AdaCL.Trace.Assert is new AdaCL.Assert (AdaCL.Trace.Report_Assertion); |
| 31 | |
| 32 | ---------------------------------------------------------------- {{{ ---------- |
| 33 | --: vim: set textwidth=0 nowrap tabstop=8 shiftwidth=3 softtabstop=3 expandtab : |
| 34 | --: vim: set filetype=ada fileencoding=utf-8 fileformat=unix foldmethod=expr : |
| 35 | --: vim: set spell spelllang=en_gb |