]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/ada/indepsw.ads
Correct a function pre/postcondition [PR102403].
[thirdparty/gcc.git] / gcc / ada / indepsw.ads
CommitLineData
5d09245e
AC
1------------------------------------------------------------------------------
2-- --
3-- GNAT COMPILER COMPONENTS --
4-- --
5-- I N D E P S W --
6-- --
7-- S p e c --
8-- --
8d0d46f4 9-- Copyright (C) 2004-2021, Free Software Foundation, Inc. --
5d09245e
AC
10-- --
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- --
748086b7 13-- ware Foundation; either version 3, or (at your option) any later ver- --
5d09245e
AC
14-- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
b740cf28
AC
16-- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
17-- for more details. You should have received a copy of the GNU General --
18-- Public License distributed with GNAT; see file COPYING3. If not, go to --
19-- http://www.gnu.org/licenses for a complete copy of the license. --
5d09245e
AC
20-- --
21-- GNAT was originally developed by the GNAT team at New York University. --
22-- Extensive contributions were provided by Ada Core Technologies Inc. --
23-- --
24------------------------------------------------------------------------------
25
26-- GNATLINK platform-independent switches
27
28-- Used to convert GNAT switches to their platform-dependent switch
29-- equivalent for the underlying linker.
30
30681738 31with System.OS_Lib; use System.OS_Lib;
5d09245e
AC
32
33package Indepsw is
34
35 type Switch_Kind is
36 -- Independent switches currently supported
37
38 (Map_File);
39 -- Produce a map file. The path name of the map file to produce
40 -- is given as an argument.
41
42 procedure Convert
43 (Switch : Switch_Kind;
44 Argument : String;
45 To : out String_List_Access);
46 -- Convert Switch to the platform-dependent linker switch (with or without
47 -- additional arguments) To. Issue a warning if Switch is not supported
48 -- for the platform; in this case, To is set to null.
49
50 function Is_Supported (Switch : Switch_Kind) return Boolean;
9de61fcb 51 -- Return True for each independent switch supported by the platform
5d09245e
AC
52
53private
54 -- Default warning messages when the switches are not supported by the
55 -- implementation. These are in the spec so that the platform specific
56 -- bodies do not need to redefine them.
57
58 Map_File_Not_Supported : aliased String :=
59 "the underlying linker does not allow the output of a map file";
60
61 No_Support_For : constant array (Switch_Kind) of String_Access :=
62 (Map_File => Map_File_Not_Supported'Access);
63 -- All implementations of procedure Convert should include a case
64 -- statements with a "when others =>" choice that output the default
65 -- warning message:
66
67 -- case Switch is
68 -- when ... =>
69 -- ...
70 -- when others =>
71 -- Write_Str ("warning: ");
72 -- Write_Line (No_Support_For (Switch).all);
73 -- To := null;
74 -- end case;
75
76end Indepsw;