1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
|
------------------------------------------------------------------------------
-- --
-- GNATSTUB COMPONENTS --
-- --
-- G N A T S T U B . O P T I O N S --
-- --
-- S p e c --
-- --
-- Copyright (C) 1997-2014, AdaCore --
-- --
-- Gnatstub is free software; you can redistribute it and/or modify it --
-- under the terms of the GNU General Public License as published by the --
-- Free Software Foundation; either version 3 or (at your option) any later --
-- version. Gnatstub is distributed in the hope that it will be useful, but --
-- WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABI- --
-- LITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public Li- --
-- cense 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. --
-- --
-- Gnatstub was originally developed by Alexei Kuchumov as a part of --
-- collaboration between Software Engineering Laboratory of the Swiss --
-- Federal Institute of Technology in Lausanne, Switzerland, and the --
-- Scientific Research Computer Center of the Moscow State University, --
-- Russia. This work was supported by a grant from the Swiss National --
-- Science Foundation, no 7SUPJ048247, funding a project "Development of --
-- ASIS for GNAT with industry quality". --
-- --
-- Gnatstub is now maintained by AdaCore (http://www.adacore.com). --
------------------------------------------------------------------------------
-- This package defines variables for storing Gnatstub options and parameters,
-- as well as some internal parameters used by gnatstub
with GNAT.OS_Lib; use GNAT.OS_Lib;
with Gnatstub.Projects;
package Gnatstub.Options is
Initialized : Boolean := False;
-- set to True by Initialize, if initialization is successful
-------------
-- Options --
-------------
Alphabetical_Ordering : Boolean := False;
-- If this flag is set ON, gnatstub orders the local bodies alphabetically.
Indent : constant Natural := 3;
-- Indentation in the outputted source, is not set from command line.
No_Exception_In_Stubs : Boolean := False;
-- '--no-exception'
-- If this flag is ON, generated procedure stubs contain null statement
-- instead of a raise statement. ????
No_Local_Comment_Headers : Boolean := False;
-- '--no-local-header'
-- If this flag is ON, no comment header with unit name is placed before
-- the unit body stub.
Overwrite_Body : Boolean := False;
-- Should an existing body be overwritten
type Sampler_Header is (
No_Header,
-- no header should be put into a body sample being created (default)
Stand_Header,
-- a sample comment header will be placed into a body sample
From_Spec,
-- a comment header from the spec will be placed into a body sampler
From_File);
-- a comment header is copied from a file
Header : Sampler_Header := No_Header;
Overwrite_Tree : Boolean := False;
-- in case, if the current directory already contains the tree file with
-- the name corresponding to Gnatstub parameter, indicates whether or not
-- this file should be overwritten
Delete_Tree : Boolean := True;
-- indicates if Gnatstub should delete the tree file created by itself.
Reuse_Tree : Boolean := False;
-- indicates if the existing tree should be reused
Indent_Level : Natural := 3;
-- indentation level
Max_Body_Line_Length : Natural := 79;
-- maximum line length in the body file being generated
Body_Form : String_Access;
-- Defines the encoding of the output file.
Generate_Subunits : Boolean := False;
-- --subunits
-- If this flag is ON, gnatstub accepts a body unit as an argument and it
-- generates the subunit stubs for the body stubs from the argument body.
------------------------------
-- File and Directory names --
------------------------------
File_Name : String_Access;
-- The name of file that contains processed unit. This is the only one
-- obligatory parameter. Only one unit name may be given. The name
-- should be the name of the source file, it has to follow the GNAT
-- file name conventions (in particular, it has to have .ads suffix).
-- the file name may or may not contain the path information.
Short_File_Name : String_Access;
-- File name without directory information
Full_File_Name : String_Access;
-- Fully qualified normalized name of the argument file
Tree_Name : String_Access;
-- we need it in more, then one routine, so we define it here
Body_Name : String_Access;
Full_Body_Name : String_Access;
-- Fully qualified normalized name of the body file
Header_File_Name : String_Access;
-- The name of the file to copy a comment header from
Destination_Dir : String_Access;
-- directory to put the sampler body in
Dest_Dir_Set : Boolean := False;
-- Is needed because of old-fashion gnatstub command line interface. Is set
-- ON if the destination dir is set as the second argument in the command
-- line (that is, not by "--dir=<directory_name>" option. Prevents changing
-- destination directory by other means when analyzing parameters.
----------------------
-- Status variables --
----------------------
Tree_Exists : Boolean := False;
-- if the tree file has been created or has been found as existing
-- during the initialization
Dir_Count : Natural := 0;
-- the number of '-I' options in command line
File_Name_Len : Natural;
File_Name_First : Natural;
File_Name_Last : Natural;
Short_File_Name_Len : Natural;
Short_File_Name_First : Natural;
Short_File_Name_Last : Natural;
-- To simplify dealing with the spec file name
Gnatstub_Prj : Gnatstub.Projects.Gnatstub_Project_Type;
Num_Of_Args : Natural := 0;
end Gnatstub.Options;
|
