comparison gcc/ada/sem_prag.ads @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children 1830386684a0
comparison
equal deleted inserted replaced
111:04ced10e8804 131:84e7813d76e9
4 -- -- 4 -- --
5 -- S E M _ P R A G -- 5 -- S E M _ P R A G --
6 -- -- 6 -- --
7 -- S p e c -- 7 -- S p e c --
8 -- -- 8 -- --
9 -- Copyright (C) 1992-2017, Free Software Foundation, Inc. -- 9 -- Copyright (C) 1992-2018, Free Software Foundation, Inc. --
10 -- -- 10 -- --
11 -- GNAT is free software; you can redistribute it and/or modify it under -- 11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- -- 12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- -- 13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- 14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
189 Pragma_Priority_Specific_Dispatching => False, 189 Pragma_Priority_Specific_Dispatching => False,
190 Pragma_Remote_Call_Interface => False, 190 Pragma_Remote_Call_Interface => False,
191 Pragma_Remote_Types => False, 191 Pragma_Remote_Types => False,
192 Pragma_Shared_Passive => False, 192 Pragma_Shared_Passive => False,
193 Pragma_Task_Dispatching_Policy => False, 193 Pragma_Task_Dispatching_Policy => False,
194 Pragma_Unmodified => False,
195 Pragma_Unreferenced => False,
194 Pragma_Warnings => False, 196 Pragma_Warnings => False,
195 others => True); 197 others => True);
196 198
197 ----------------- 199 -----------------
198 -- Subprograms -- 200 -- Subprograms --
393 -- Contract_Cases 395 -- Contract_Cases
394 -- Depends 396 -- Depends
395 -- Extensions_Visible 397 -- Extensions_Visible
396 -- Global 398 -- Global
397 -- Initializes 399 -- Initializes
400 -- Max_Entry_Queue_Depth
398 -- Max_Queue_Length 401 -- Max_Queue_Length
399 -- Post 402 -- Post
400 -- Post_Class 403 -- Post_Class
401 -- Postcondition 404 -- Postcondition
402 -- Pre 405 -- Pre