Mercurial > hg > CbC > CbC_gcc
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 |