🌐 AI搜索 & 代理 主页
Google Git
Sign in
chromium / external / github.com / git / git / refs/tags/v2.14.0-rc0 / . / ws.c
blob: a07caedd5a565bbf29e4f9b3036ac60e6e9f716e [file] [log] [blame]
Junio C Hamanocf1b7862007-12-06 08:14:14[diff] [blame]1/*
2 * Whitespace rules
3 *
4 * Copyright (c) 2007 Junio C Hamano
5 */
6
7#include "cache.h"
8#include "attr.h"
9
10static struct whitespace_rule {
11 const char *rule_name;
12 unsigned rule_bits;
Junio C Hamano727c3712010-04-02 23:37:00[diff] [blame]13 unsigned loosens_error:1,
14 exclude_default:1;
Junio C Hamanocf1b7862007-12-06 08:14:14[diff] [blame]15} whitespace_rule_names[] = {
Junio C Hamanoa4379002009-06-21 09:35:18[diff] [blame]16 { "trailing-space", WS_TRAILING_SPACE, 0 },
17 { "space-before-tab", WS_SPACE_BEFORE_TAB, 0 },
18 { "indent-with-non-tab", WS_INDENT_WITH_NON_TAB, 0 },
19 { "cr-at-eol", WS_CR_AT_EOL, 1 },
Junio C Hamanoafd9db42009-09-15 10:28:08[diff] [blame]20 { "blank-at-eol", WS_BLANK_AT_EOL, 0 },
21 { "blank-at-eof", WS_BLANK_AT_EOF, 0 },
Chris Webb3e3ec2a2010-04-02 23:37:08[diff] [blame]22 { "tab-in-indent", WS_TAB_IN_INDENT, 0, 1 },
Junio C Hamanocf1b7862007-12-06 08:14:14[diff] [blame]23};
24
25unsigned parse_whitespace_rule(const char *string)
26{
27 unsigned rule = WS_DEFAULT_RULE;
28
29 while (string) {
30 int i;
31 size_t len;
32 const char *ep;
33 int negated = 0;
34
35 string = string + strspn(string, ", \t\n\r");
Rohit Mani2c5495f2014-03-08 06:48:31[diff] [blame]36 ep = strchrnul(string, ',');
37 len = ep - string;
Junio C Hamanocf1b7862007-12-06 08:14:14[diff] [blame]38
39 if (*string == '-') {
40 negated = 1;
41 string++;
42 len--;
43 }
44 if (!len)
45 break;
46 for (i = 0; i < ARRAY_SIZE(whitespace_rule_names); i++) {
47 if (strncmp(whitespace_rule_names[i].rule_name,
48 string, len))
49 continue;
50 if (negated)
51 rule &= ~whitespace_rule_names[i].rule_bits;
52 else
53 rule |= whitespace_rule_names[i].rule_bits;
54 break;
55 }
Johannes Sixtf4b05a42010-11-30 08:29:11[diff] [blame]56 if (strncmp(string, "tabwidth=", 9) == 0) {
57 unsigned tabwidth = atoi(string + 9);
58 if (0 < tabwidth && tabwidth < 0100) {
59 rule &= ~WS_TAB_WIDTH_MASK;
60 rule |= tabwidth;
61 }
62 else
63 warning("tabwidth %.*s out of range",
64 (int)(len - 9), string + 9);
65 }
Junio C Hamanocf1b7862007-12-06 08:14:14[diff] [blame]66 string = ep;
67 }
Chris Webb3e3ec2a2010-04-02 23:37:08[diff] [blame]68
69 if (rule & WS_TAB_IN_INDENT && rule & WS_INDENT_WITH_NON_TAB)
70 die("cannot enforce both tab-in-indent and indent-with-non-tab");
Junio C Hamanocf1b7862007-12-06 08:14:14[diff] [blame]71 return rule;
72}
73
Junio C Hamanocf1b7862007-12-06 08:14:14[diff] [blame]74unsigned whitespace_rule(const char *pathname)
75{
Junio C Hamano2aef63d2017-01-28 02:01:57[diff] [blame]76 static struct attr_check *attr_whitespace_rule;
Junio C Hamanocf1b7862007-12-06 08:14:14[diff] [blame]77
Junio C Hamano2aef63d2017-01-28 02:01:57[diff] [blame]78 if (!attr_whitespace_rule)
79 attr_whitespace_rule = attr_check_initl("whitespace", NULL);
80
81 if (!git_check_attr(pathname, attr_whitespace_rule)) {
Junio C Hamanocf1b7862007-12-06 08:14:14[diff] [blame]82 const char *value;
83
Junio C Hamano2aef63d2017-01-28 02:01:57[diff] [blame]84 value = attr_whitespace_rule->items[0].value;
Junio C Hamanocf1b7862007-12-06 08:14:14[diff] [blame]85 if (ATTR_TRUE(value)) {
86 /* true (whitespace) */
Johannes Sixtf4b05a42010-11-30 08:29:11[diff] [blame]87 unsigned all_rule = ws_tab_width(whitespace_rule_cfg);
Junio C Hamanocf1b7862007-12-06 08:14:14[diff] [blame]88 int i;
89 for (i = 0; i < ARRAY_SIZE(whitespace_rule_names); i++)
Junio C Hamano727c3712010-04-02 23:37:00[diff] [blame]90 if (!whitespace_rule_names[i].loosens_error &&
91 !whitespace_rule_names[i].exclude_default)
Junio C Hamanoa4379002009-06-21 09:35:18[diff] [blame]92 all_rule |= whitespace_rule_names[i].rule_bits;
Junio C Hamanocf1b7862007-12-06 08:14:14[diff] [blame]93 return all_rule;
94 } else if (ATTR_FALSE(value)) {
95 /* false (-whitespace) */
Johannes Sixtf4b05a42010-11-30 08:29:11[diff] [blame]96 return ws_tab_width(whitespace_rule_cfg);
Junio C Hamanocf1b7862007-12-06 08:14:14[diff] [blame]97 } else if (ATTR_UNSET(value)) {
98 /* reset to default (!whitespace) */
99 return whitespace_rule_cfg;
100 } else {
101 /* string */
102 return parse_whitespace_rule(value);
103 }
104 } else {
105 return whitespace_rule_cfg;
106 }
107}
Wincent Colaiutac1795bb2007-12-13 13:32:29[diff] [blame]108
109/* The returned string should be freed by the caller. */
110char *whitespace_error_string(unsigned ws)
111{
Brandon Caseyf285a2d2008-10-09 19:12:12[diff] [blame]112 struct strbuf err = STRBUF_INIT;
Junio C Hamanoaeb84b02009-09-06 05:21:17[diff] [blame]113 if ((ws & WS_TRAILING_SPACE) == WS_TRAILING_SPACE)
Wincent Colaiuta420f4f02007-12-14 11:23:43[diff] [blame]114 strbuf_addstr(&err, "trailing whitespace");
Junio C Hamanoaeb84b02009-09-06 05:21:17[diff] [blame]115 else {
116 if (ws & WS_BLANK_AT_EOL)
117 strbuf_addstr(&err, "trailing whitespace");
118 if (ws & WS_BLANK_AT_EOF) {
119 if (err.len)
120 strbuf_addstr(&err, ", ");
121 strbuf_addstr(&err, "new blank line at EOF");
122 }
123 }
Wincent Colaiutac1795bb2007-12-13 13:32:29[diff] [blame]124 if (ws & WS_SPACE_BEFORE_TAB) {
125 if (err.len)
126 strbuf_addstr(&err, ", ");
Wincent Colaiuta420f4f02007-12-14 11:23:43[diff] [blame]127 strbuf_addstr(&err, "space before tab in indent");
Wincent Colaiutac1795bb2007-12-13 13:32:29[diff] [blame]128 }
129 if (ws & WS_INDENT_WITH_NON_TAB) {
130 if (err.len)
131 strbuf_addstr(&err, ", ");
Wincent Colaiuta420f4f02007-12-14 11:23:43[diff] [blame]132 strbuf_addstr(&err, "indent with spaces");
Wincent Colaiutac1795bb2007-12-13 13:32:29[diff] [blame]133 }
Chris Webb3e3ec2a2010-04-02 23:37:08[diff] [blame]134 if (ws & WS_TAB_IN_INDENT) {
135 if (err.len)
136 strbuf_addstr(&err, ", ");
137 strbuf_addstr(&err, "tab in indent");
138 }
Wincent Colaiutac1795bb2007-12-13 13:32:29[diff] [blame]139 return strbuf_detach(&err, NULL);
140}
141
142/* If stream is non-NULL, emits the line after checking. */
Junio C Hamano8f8841e2008-06-26 22:35:21[diff] [blame]143static unsigned ws_check_emit_1(const char *line, int len, unsigned ws_rule,
144 FILE *stream, const char *set,
145 const char *reset, const char *ws)
Wincent Colaiutac1795bb2007-12-13 13:32:29[diff] [blame]146{
147 unsigned result = 0;
J. Bruce Fields954ecd42007-12-16 16:31:39[diff] [blame]148 int written = 0;
Wincent Colaiutac1795bb2007-12-13 13:32:29[diff] [blame]149 int trailing_whitespace = -1;
150 int trailing_newline = 0;
Junio C Hamanob2979ff2008-01-15 08:59:05[diff] [blame]151 int trailing_carriage_return = 0;
Wincent Colaiutac1795bb2007-12-13 13:32:29[diff] [blame]152 int i;
153
154 /* Logic is simpler if we temporarily ignore the trailing newline. */
155 if (len > 0 && line[len - 1] == '\n') {
156 trailing_newline = 1;
157 len--;
158 }
Junio C Hamanob2979ff2008-01-15 08:59:05[diff] [blame]159 if ((ws_rule & WS_CR_AT_EOL) &&
160 len > 0 && line[len - 1] == '\r') {
161 trailing_carriage_return = 1;
162 len--;
163 }
Wincent Colaiutac1795bb2007-12-13 13:32:29[diff] [blame]164
165 /* Check for trailing whitespace. */
Junio C Hamanoaeb84b02009-09-06 05:21:17[diff] [blame]166 if (ws_rule & WS_BLANK_AT_EOL) {
Wincent Colaiutac1795bb2007-12-13 13:32:29[diff] [blame]167 for (i = len - 1; i >= 0; i--) {
168 if (isspace(line[i])) {
169 trailing_whitespace = i;
Junio C Hamanoaeb84b02009-09-06 05:21:17[diff] [blame]170 result |= WS_BLANK_AT_EOL;
Wincent Colaiutac1795bb2007-12-13 13:32:29[diff] [blame]171 }
172 else
173 break;
174 }
175 }
176
Kevin Ballardcfd1a982010-10-20 22:17:26[diff] [blame]177 if (trailing_whitespace == -1)
178 trailing_whitespace = len;
179
Chris Webb3e3ec2a2010-04-02 23:37:08[diff] [blame]180 /* Check indentation */
Kevin Ballardcfd1a982010-10-20 22:17:26[diff] [blame]181 for (i = 0; i < trailing_whitespace; i++) {
J. Bruce Fields9afa2d42007-12-16 16:31:40[diff] [blame]182 if (line[i] == ' ')
J. Bruce Fields10209992007-12-16 16:31:38[diff] [blame]183 continue;
J. Bruce Fields10209992007-12-16 16:31:38[diff] [blame]184 if (line[i] != '\t')
Wincent Colaiutac1795bb2007-12-13 13:32:29[diff] [blame]185 break;
J. Bruce Fieldsffe56882007-12-16 16:31:41[diff] [blame]186 if ((ws_rule & WS_SPACE_BEFORE_TAB) && written < i) {
J. Bruce Fields10209992007-12-16 16:31:38[diff] [blame]187 result |= WS_SPACE_BEFORE_TAB;
J. Bruce Fieldsffe56882007-12-16 16:31:41[diff] [blame]188 if (stream) {
189 fputs(ws, stream);
190 fwrite(line + written, i - written, 1, stream);
191 fputs(reset, stream);
Chris Webb3e3ec2a2010-04-02 23:37:08[diff] [blame]192 fwrite(line + i, 1, 1, stream);
J. Bruce Fieldsffe56882007-12-16 16:31:41[diff] [blame]193 }
Chris Webb3e3ec2a2010-04-02 23:37:08[diff] [blame]194 } else if (ws_rule & WS_TAB_IN_INDENT) {
195 result |= WS_TAB_IN_INDENT;
196 if (stream) {
197 fwrite(line + written, i - written, 1, stream);
198 fputs(ws, stream);
199 fwrite(line + i, 1, 1, stream);
200 fputs(reset, stream);
201 }
202 } else if (stream) {
203 fwrite(line + written, i - written + 1, 1, stream);
204 }
J. Bruce Fields9afa2d42007-12-16 16:31:40[diff] [blame]205 written = i + 1;
Wincent Colaiutac1795bb2007-12-13 13:32:29[diff] [blame]206 }
207
208 /* Check for indent using non-tab. */
Johannes Sixtf4b05a42010-11-30 08:29:11[diff] [blame]209 if ((ws_rule & WS_INDENT_WITH_NON_TAB) && i - written >= ws_tab_width(ws_rule)) {
Wincent Colaiutac1795bb2007-12-13 13:32:29[diff] [blame]210 result |= WS_INDENT_WITH_NON_TAB;
J. Bruce Fieldsffe56882007-12-16 16:31:41[diff] [blame]211 if (stream) {
Wincent Colaiutac1795bb2007-12-13 13:32:29[diff] [blame]212 fputs(ws, stream);
J. Bruce Fieldsffe56882007-12-16 16:31:41[diff] [blame]213 fwrite(line + written, i - written, 1, stream);
Wincent Colaiutac1795bb2007-12-13 13:32:29[diff] [blame]214 fputs(reset, stream);
Wincent Colaiutac1795bb2007-12-13 13:32:29[diff] [blame]215 }
J. Bruce Fieldsffe56882007-12-16 16:31:41[diff] [blame]216 written = i;
217 }
Wincent Colaiutac1795bb2007-12-13 13:32:29[diff] [blame]218
J. Bruce Fieldsffe56882007-12-16 16:31:41[diff] [blame]219 if (stream) {
Junio C Hamanob2979ff2008-01-15 08:59:05[diff] [blame]220 /*
221 * Now the rest of the line starts at "written".
222 * The non-highlighted part ends at "trailing_whitespace".
223 */
Wincent Colaiutac1795bb2007-12-13 13:32:29[diff] [blame]224
225 /* Emit non-highlighted (middle) segment. */
J. Bruce Fields954ecd42007-12-16 16:31:39[diff] [blame]226 if (trailing_whitespace - written > 0) {
Wincent Colaiutac1795bb2007-12-13 13:32:29[diff] [blame]227 fputs(set, stream);
J. Bruce Fields954ecd42007-12-16 16:31:39[diff] [blame]228 fwrite(line + written,
229 trailing_whitespace - written, 1, stream);
Wincent Colaiutac1795bb2007-12-13 13:32:29[diff] [blame]230 fputs(reset, stream);
231 }
232
233 /* Highlight errors in trailing whitespace. */
234 if (trailing_whitespace != len) {
235 fputs(ws, stream);
236 fwrite(line + trailing_whitespace,
237 len - trailing_whitespace, 1, stream);
238 fputs(reset, stream);
239 }
Junio C Hamanob2979ff2008-01-15 08:59:05[diff] [blame]240 if (trailing_carriage_return)
241 fputc('\r', stream);
Wincent Colaiutac1795bb2007-12-13 13:32:29[diff] [blame]242 if (trailing_newline)
243 fputc('\n', stream);
244 }
245 return result;
246}
Junio C Hamanofe3403c2008-02-24 00:59:16[diff] [blame]247
Junio C Hamano8f8841e2008-06-26 22:35:21[diff] [blame]248void ws_check_emit(const char *line, int len, unsigned ws_rule,
249 FILE *stream, const char *set,
250 const char *reset, const char *ws)
251{
252 (void)ws_check_emit_1(line, len, ws_rule, stream, set, reset, ws);
253}
254
255unsigned ws_check(const char *line, int len, unsigned ws_rule)
256{
257 return ws_check_emit_1(line, len, ws_rule, NULL, NULL, NULL, NULL);
258}
259
Junio C Hamano877f23c2008-06-26 22:36:59[diff] [blame]260int ws_blank_line(const char *line, int len, unsigned ws_rule)
261{
262 /*
263 * We _might_ want to treat CR differently from other
264 * whitespace characters when ws_rule has WS_CR_AT_EOL, but
265 * for now we just use this stupid definition.
266 */
267 while (len-- > 0) {
268 if (!isspace(*line))
269 return 0;
270 line++;
271 }
272 return 1;
273}
274
Chris Webbd511bd32010-04-02 23:37:23[diff] [blame]275/* Copy the line onto the end of the strbuf while fixing whitespaces */
276void ws_fix_copy(struct strbuf *dst, const char *src, int len, unsigned ws_rule, int *error_count)
Junio C Hamanofe3403c2008-02-24 00:59:16[diff] [blame]277{
278 /*
279 * len is number of bytes to be copied from src, starting
280 * at src. Typically src[len-1] is '\n', unless this is
281 * the incomplete last line.
282 */
283 int i;
284 int add_nl_to_tail = 0;
285 int add_cr_to_tail = 0;
286 int fixed = 0;
287 int last_tab_in_indent = -1;
288 int last_space_in_indent = -1;
289 int need_fix_leading_space = 0;
Junio C Hamanofe3403c2008-02-24 00:59:16[diff] [blame]290
291 /*
292 * Strip trailing whitespace
293 */
Junio C Hamanoafd9db42009-09-15 10:28:08[diff] [blame]294 if (ws_rule & WS_BLANK_AT_EOL) {
Junio C Hamano422a82f2009-07-25 08:29:20[diff] [blame]295 if (0 < len && src[len - 1] == '\n') {
Junio C Hamanofe3403c2008-02-24 00:59:16[diff] [blame]296 add_nl_to_tail = 1;
297 len--;
Junio C Hamano422a82f2009-07-25 08:29:20[diff] [blame]298 if (0 < len && src[len - 1] == '\r') {
Junio C Hamanofe3403c2008-02-24 00:59:16[diff] [blame]299 add_cr_to_tail = !!(ws_rule & WS_CR_AT_EOL);
300 len--;
301 }
302 }
303 if (0 < len && isspace(src[len - 1])) {
304 while (0 < len && isspace(src[len-1]))
305 len--;
306 fixed = 1;
307 }
308 }
309
310 /*
311 * Check leading whitespaces (indent)
312 */
313 for (i = 0; i < len; i++) {
314 char ch = src[i];
315 if (ch == '\t') {
316 last_tab_in_indent = i;
317 if ((ws_rule & WS_SPACE_BEFORE_TAB) &&
318 0 <= last_space_in_indent)
319 need_fix_leading_space = 1;
320 } else if (ch == ' ') {
321 last_space_in_indent = i;
322 if ((ws_rule & WS_INDENT_WITH_NON_TAB) &&
Johannes Sixtf4b05a42010-11-30 08:29:11[diff] [blame]323 ws_tab_width(ws_rule) <= i - last_tab_in_indent)
Junio C Hamanofe3403c2008-02-24 00:59:16[diff] [blame]324 need_fix_leading_space = 1;
325 } else
326 break;
327 }
328
Junio C Hamanofe3403c2008-02-24 00:59:16[diff] [blame]329 if (need_fix_leading_space) {
330 /* Process indent ourselves */
331 int consecutive_spaces = 0;
332 int last = last_tab_in_indent + 1;
333
334 if (ws_rule & WS_INDENT_WITH_NON_TAB) {
335 /* have "last" point at one past the indent */
336 if (last_tab_in_indent < last_space_in_indent)
337 last = last_space_in_indent + 1;
338 else
339 last = last_tab_in_indent + 1;
340 }
341
342 /*
343 * between src[0..last-1], strip the funny spaces,
344 * updating them to tab as needed.
345 */
346 for (i = 0; i < last; i++) {
347 char ch = src[i];
348 if (ch != ' ') {
349 consecutive_spaces = 0;
Chris Webbd511bd32010-04-02 23:37:23[diff] [blame]350 strbuf_addch(dst, ch);
Junio C Hamanofe3403c2008-02-24 00:59:16[diff] [blame]351 } else {
352 consecutive_spaces++;
Johannes Sixtf4b05a42010-11-30 08:29:11[diff] [blame]353 if (consecutive_spaces == ws_tab_width(ws_rule)) {
Chris Webbd511bd32010-04-02 23:37:23[diff] [blame]354 strbuf_addch(dst, '\t');
Junio C Hamanofe3403c2008-02-24 00:59:16[diff] [blame]355 consecutive_spaces = 0;
356 }
357 }
358 }
359 while (0 < consecutive_spaces--)
Chris Webbd511bd32010-04-02 23:37:23[diff] [blame]360 strbuf_addch(dst, ' ');
Junio C Hamanofe3403c2008-02-24 00:59:16[diff] [blame]361 len -= last;
362 src += last;
363 fixed = 1;
Chris Webb4e35c512010-04-02 23:37:30[diff] [blame]364 } else if ((ws_rule & WS_TAB_IN_INDENT) && last_tab_in_indent >= 0) {
365 /* Expand tabs into spaces */
Johannes Sixtd35711a2010-11-30 08:22:04[diff] [blame]366 int start = dst->len;
Chris Webb4e35c512010-04-02 23:37:30[diff] [blame]367 int last = last_tab_in_indent + 1;
368 for (i = 0; i < last; i++) {
369 if (src[i] == '\t')
370 do {
371 strbuf_addch(dst, ' ');
Johannes Sixtf4b05a42010-11-30 08:29:11[diff] [blame]372 } while ((dst->len - start) % ws_tab_width(ws_rule));
Chris Webb4e35c512010-04-02 23:37:30[diff] [blame]373 else
374 strbuf_addch(dst, src[i]);
375 }
376 len -= last;
377 src += last;
378 fixed = 1;
Junio C Hamanofe3403c2008-02-24 00:59:16[diff] [blame]379 }
380
Chris Webbd511bd32010-04-02 23:37:23[diff] [blame]381 strbuf_add(dst, src, len);
Junio C Hamanofe3403c2008-02-24 00:59:16[diff] [blame]382 if (add_cr_to_tail)
Chris Webbd511bd32010-04-02 23:37:23[diff] [blame]383 strbuf_addch(dst, '\r');
Junio C Hamanofe3403c2008-02-24 00:59:16[diff] [blame]384 if (add_nl_to_tail)
Chris Webbd511bd32010-04-02 23:37:23[diff] [blame]385 strbuf_addch(dst, '\n');
Junio C Hamanofe3403c2008-02-24 00:59:16[diff] [blame]386 if (fixed && error_count)
387 (*error_count)++;
Junio C Hamanofe3403c2008-02-24 00:59:16[diff] [blame]388}