Mercurial > hg > CbC > CbC_gcc
comparison gcc/ada/styleg.ads @ 111:04ced10e8804
gcc 7
author | kono |
---|---|
date | Fri, 27 Oct 2017 22:46:09 +0900 |
parents | |
children | 84e7813d76e9 |
comparison
equal
deleted
inserted
replaced
68:561a7518be6b | 111:04ced10e8804 |
---|---|
1 ------------------------------------------------------------------------------ | |
2 -- -- | |
3 -- GNAT COMPILER COMPONENTS -- | |
4 -- -- | |
5 -- S T Y L E G -- | |
6 -- -- | |
7 -- S p e c -- | |
8 -- -- | |
9 -- Copyright (C) 1992-2017, Free Software Foundation, Inc. -- | |
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- -- | |
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- -- | |
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- | |
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. -- | |
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 -- This generic package collects the routines used for style checking, as | |
27 -- activated by the relevant command line option. These are gathered in | |
28 -- a separate package so that they can more easily be customized. Calls | |
29 -- to these subprograms are only made if Opt.Style_Check is set True. | |
30 -- Styleg does not depends on the GNAT tree (Atree, Sinfo, ...). | |
31 | |
32 with Types; use Types; | |
33 | |
34 generic | |
35 with procedure Error_Msg (Msg : String; Flag_Location : Source_Ptr); | |
36 -- Output a message at specified location | |
37 | |
38 with procedure Error_Msg_S (Msg : String); | |
39 -- Output a message at current scan pointer location | |
40 | |
41 with procedure Error_Msg_SC (Msg : String); | |
42 -- Output a message at the start of the current token | |
43 | |
44 with procedure Error_Msg_SP (Msg : String); | |
45 -- Output a message at the start of the previous token | |
46 | |
47 package Styleg is | |
48 | |
49 procedure Check_Abs_Not; | |
50 -- Called after scanning an ABS or NOT operator to check spacing | |
51 | |
52 procedure Check_Apostrophe; | |
53 -- Called after scanning an apostrophe to check spacing | |
54 | |
55 procedure Check_Arrow (Inside_Depends : Boolean := False); | |
56 -- Called after scanning out an arrow to check spacing. Inside_Depends is | |
57 -- True if the call is from an argument of the Depends or Refined_Depends | |
58 -- aspect or pragma (where the allowed/required format is =>+). | |
59 | |
60 procedure Check_Attribute_Name (Reserved : Boolean); | |
61 -- The current token is an attribute designator. Check that it | |
62 -- is capitalized in an appropriate manner. Reserved is set if | |
63 -- the attribute designator is a reserved word (access, digits, | |
64 -- delta or range) to allow differing rules for the two cases. | |
65 | |
66 procedure Check_Boolean_Operator (Node : Node_Id); | |
67 -- Node is a node for an AND or OR operator. Check that the usage meets | |
68 -- the style rules. | |
69 | |
70 procedure Check_Box; | |
71 -- Called after scanning out a box to check spacing | |
72 | |
73 procedure Check_Binary_Operator; | |
74 -- Called after scanning out a binary operator other than a plus, minus | |
75 -- or exponentiation operator. Intended for checking spacing rules. | |
76 | |
77 procedure Check_Exponentiation_Operator; | |
78 -- Called after scanning out an exponentiation operator. Intended for | |
79 -- checking spacing rules. | |
80 | |
81 procedure Check_Colon; | |
82 -- Called after scanning out colon to check spacing | |
83 | |
84 procedure Check_Colon_Equal; | |
85 -- Called after scanning out colon equal to check spacing | |
86 | |
87 procedure Check_Comma; | |
88 -- Called after scanning out comma to check spacing | |
89 | |
90 procedure Check_Comment; | |
91 -- Called with Scan_Ptr pointing to the first minus sign of a comment. | |
92 -- Intended for checking any specific rules for comment placement/format. | |
93 | |
94 procedure Check_Dot_Dot; | |
95 -- Called after scanning out dot dot to check spacing | |
96 | |
97 procedure Check_EOF; | |
98 -- Called after scanning out EOF mark | |
99 | |
100 procedure Check_HT; | |
101 -- Called with Scan_Ptr pointing to a horizontal tab character | |
102 | |
103 procedure Check_Indentation; | |
104 -- Called at the start of a new statement or declaration, with Token_Ptr | |
105 -- pointing to the first token of the statement or declaration. The check | |
106 -- is that the starting column is appropriate to the indentation rules if | |
107 -- Token_Ptr is the first token on the line. | |
108 | |
109 procedure Check_Left_Paren; | |
110 -- Called after scanning out a left parenthesis to check spacing | |
111 | |
112 procedure Check_Line_Max_Length (Len : Nat); | |
113 -- Called with Scan_Ptr pointing to the first line terminator character | |
114 -- terminating the current line. Used to check for appropriate line length. | |
115 -- The parameter Len is the length of the current line. | |
116 | |
117 procedure Check_Line_Terminator (Len : Nat); | |
118 -- Called with Scan_Ptr pointing to the first line terminator terminating | |
119 -- the current line, used to check for appropriate line terminator usage. | |
120 -- The parameter Len is the length of the current line. | |
121 | |
122 procedure Check_Not_In; | |
123 -- Called with Scan_Ptr pointing to an IN token, and Prev_Token_Ptr | |
124 -- pointing to a NOT token. Used to check proper layout of NOT IN. | |
125 | |
126 procedure Check_Pragma_Name; | |
127 -- The current token is a pragma identifier. Check that it is spelled | |
128 -- properly (i.e. with an appropriate casing convention). | |
129 | |
130 procedure Check_Right_Paren; | |
131 -- Called after scanning out a right parenthesis to check spacing | |
132 | |
133 procedure Check_Semicolon; | |
134 -- Called after scanning out a semicolon to check spacing | |
135 | |
136 procedure Check_Then (If_Loc : Source_Ptr); | |
137 -- Called to check that THEN and IF keywords are appropriately positioned. | |
138 -- The parameters show the first characters of the two keywords. This | |
139 -- procedure is called with Token_Ptr pointing to the THEN keyword. | |
140 | |
141 procedure Check_Separate_Stmt_Lines; | |
142 pragma Inline (Check_Separate_Stmt_Lines); | |
143 -- Called after scanning THEN (not preceded by AND) or ELSE (not preceded | |
144 -- by OR). Used to check that no tokens follow on the same line (which | |
145 -- would interfere with coverage testing). Handles case of THEN ABORT as | |
146 -- an exception, as well as PRAGMA after ELSE. | |
147 | |
148 procedure Check_Unary_Plus_Or_Minus (Inside_Depends : Boolean := False); | |
149 -- Called after scanning a unary plus or minus to check spacing. The flag | |
150 -- Inside_Depends is set if we are scanning within a Depends or | |
151 -- Refined_Depends pragma or Aspect, in which case =>+ requires a | |
152 -- following space. | |
153 | |
154 procedure Check_Vertical_Bar; | |
155 -- Called after scanning a vertical bar to check spacing | |
156 | |
157 procedure Check_Xtra_Parens (Loc : Source_Ptr); | |
158 -- Called after scanning an if, case, or quantified expression that has at | |
159 -- least one level of parentheses around the entire expression. | |
160 | |
161 function Mode_In_Check return Boolean; | |
162 pragma Inline (Mode_In_Check); | |
163 -- Determines whether style checking is active and the Mode_In_Check is | |
164 -- set, forbidding the explicit use of mode IN. | |
165 | |
166 procedure No_End_Name (Name : Node_Id); | |
167 -- Called if an END is encountered where a name is allowed but not present. | |
168 -- The parameter is the node whose name is the name that is permitted in | |
169 -- the END line, and the scan pointer is positioned so that if an error | |
170 -- message is to be generated in this situation, it should be generated | |
171 -- using Error_Msg_SP. | |
172 | |
173 procedure No_Exit_Name (Name : Node_Id); | |
174 -- Called when exiting a named loop, but a name is not present on the EXIT. | |
175 -- The parameter is the node whose name should have followed EXIT, and the | |
176 -- scan pointer is positioned so that if an error message is to be | |
177 -- generated, it should be generated using Error_Msg_SP. | |
178 | |
179 procedure Non_Lower_Case_Keyword; | |
180 -- Called if a reserved keyword is scanned which is not spelled in all | |
181 -- lower case letters. On entry Token_Ptr points to the keyword token. | |
182 -- This is not used for keywords appearing as attribute designators, | |
183 -- where instead Check_Attribute_Name (True) is called. | |
184 | |
185 end Styleg; |