------------------------------------------------------------------------------ -- -- -- GNATPP COMPONENTS -- -- -- -- Pp -- -- -- -- S p e c -- -- -- -- Copyright (C) 2001-2016, AdaCore -- -- -- -- GNATPP is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free -- -- Software Foundation; either version 3, or ( at your option) any later -- -- version. GNATCHECK is distributed in the hope that it will be useful, -- -- but WITHOUT ANY WARRANTY; without even the implied warranty of -- -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General -- -- Public License for more details. You should have received a copy of the -- -- GNU General Public License distributed with GNAT; see file COPYING3. If -- -- not, go to http://www.gnu.org/licenses for a complete copy of the -- -- license. -- -- -- -- GNATPP is maintained by AdaCore (http://www.adacore.com) -- -- -- ------------------------------------------------------------------------------ pragma Ada_2012; pragma Warnings (Off); -- imported for children with ASIS_UL.Debug; with ASIS_UL.Dbg_Out; use ASIS_UL; with Ada.Wide_Characters.Handling; use Ada.Wide_Characters.Handling; with ASIS_UL.String_Utilities; use ASIS_UL.String_Utilities; use Ada; pragma Warnings (On); package Pp is -- Root of pretty-printing utilities pragma Elaborate_Body; Debug_Mode : Boolean renames ASIS_UL.Debug.Debug_Flag_9; Assert_Enabled : Boolean := False; -- Set to True in body if assertions are enabled. This should really be a -- constant, but there's no easy mechanism for that. end Pp;