File: gch.ini

package info (click to toggle)
gch 19990519-6
  • links: PTS
  • area: main
  • in suites: potato
  • size: 500 kB
  • ctags: 19
  • sloc: ada: 1,780; perl: 1,330
file content (58 lines) | stat: -rw-r--r-- 2,287 bytes parent folder | download | duplicates (3)
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

                       GNATCHK COMPONENT

                      G N A T C H K . I N I

This file defines values of some parameters to be used
to set a mode of diagnostics, mode of checking and specific parameters of rule
checking routines.
The file is organized in a parameter=value way like an usual ini file.

Caution: Be careful, don't change the layout of the initialization!
A very simple search method is used now to find out the corresponding lines.
The method would be improved in next versions.
Note that you need not to recompile anything after the lines changing.

----------------------------------------------------------------
   -------------------------
   -- Mode of Diagnostics --
   -------------------------
Gnat_Mode=True;
   --  If Gnat_Mode is set ON, Gch produces diagnostics using the Gnat style
   --  file: line: column: violation
   --  adding a single line of violating source exactly in case of Verbose_Mode
Verbose_Mode=False;
   --  If Verbose_Mode is set ON, Gch produces its version information and
   --  in case of processing more then one source (as a result of a wild card
   --  given in its command line) it outputs names of the units being checked
Hide_Rejected_Files=True;
   --  This flag indicates if Gch should hide diagnostics telling that a file
   --  is rejected to check (e.g. since unacceptable naming).
Show_Global_Statistics=False;
   --  This flag indicates if Gch should show global statistics concerning
   --  all processed files.


   -------------------------
   -- Mode of Checking --
   -------------------------

Delete_Tree_Mode=True;
   --  This flag indicates if Gch should delete tree files.

   -------------------------------------------
   -- Objects of the checking rule QS_5_2_2 --
   -------------------------------------------

   --  As a rule to check we use the following:
   --  "Use  named  parameter association in calls of infrequently
   --  used subprograms or entries with many formal parameters".
   --  You may edit the Positive values of the following lines
   --  as you want.

Meaning_of_'infrequently used'=5
Meaning_of_'many formal parameters'=3
Number_of_lines_between_'infrequently_used_calls'=25  -- not used yet

End_Of_Gch.ini
----------------------------------------------------------------