aboutsummaryrefslogtreecommitdiff
path: root/ch1/1-24_syntax-checker.c
blob: 019b9bc402ec98da4fb2808d8918d010fc8db6e5 (plain)
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
163
#include <stdio.h>

/* The C Programming Language: 2nd Edition
 * Exercise 1-24:
 * "Write a program to check a C program for rudimentary syntax errors like
 * unbalanced parentheses, brackets, and braces. Don't forget about quotes, both
 * single and double, escape sequences, and comments. (This program is hard if
 * you do it in full generality.)"
 *
 * Proksima from Freenode's ##c helped me understand full generality where
 * Ixquick, Wikipedia, and StackOverflow all failed: a program that has full
 * generality handles all use cases. In this case, my program should report no
 * errors from a well formed C source file, and return correct errors for every
 * non-valid C source file.
 *
 * I can tackle this one the same way I tackled the previous exercise: with a
 * FSM. The trick is in catching the mismatched levels.
 *
 * Post-solution note: switch() would've made this MUCH shorter...
 */

char c;

/* Set the state/count variables */
int linenr, parens, brackets, braces, singqs, dubqs, escapes, mcomms, scomms = 0;

int main() {
	linenr = 1;
	// Begin streaming!
	while ((c = getchar()) != EOF) {
		if (scomms == 1) {
			if (c == '\n') {
				scomms--;
			} else {
				continue;
			}
		} else if (mcomms == 1) {
			if (c == '*') {
				if (getchar() == '/') {
					mcomms--;
				}
			}
		} else {
			// Check for escape sequences
			if (c == '\\') {
				escapes++;
				c = getchar();
				// This does not detect all sequences; just the ones covered in Chapter 1.
				if (c != '\\' && c != 't' && c != '\'' && c != '"' && c != 'n' && c != 'b' && c != '0') {
					break;
				} else {
					escapes--;
				}
			}
			// Newline behavior
			if (c == '\n') {
				if (singqs > 0 || dubqs > 0) {
					break;
				}
				linenr++;
			}
			// Parentheses
			if (c == '(') {
				parens++;
			}
			if (c == ')') {
				parens -= 1;
				if (parens < 0) {
					break;
				}
			}
			// Brackets
			if (c == '[') {
				brackets++;
			}
			if (c == ']') {
				brackets--;
				if (brackets < 0) {
					break;
				}
			}
			// Braces
			if (c == '{') {
				braces++;
			}
			if (c == '}') {
				braces--;
				if (braces < 0) {
					break;
				}
			}
			// Double quotes
			if (c == '"') {
				if (dubqs == 0) {
					dubqs++;
				} else {
					dubqs--;
				}
			}
			// Single quotes, which are only checked outside of doubles.
			if (c == '\'' && dubqs == 0) {
				if (singqs == 0) {
					singqs++;
				} else {
					singqs--;
				}
			}
			// Comment detection
			if (c == '/') {
				if (getchar() == '*') {
					mcomms++;
				}
				if (getchar() == '/') {
					scomms++;
				}
			}
		}
	}

	if (escapes > 0) {
		printf("Invalid escape sequence on line %d!\n", linenr);
		return 1;
	}
	if (singqs > 0) {
		printf("Unclosed single quote on line %d!\n", linenr);
		return 1;
	}
	if (dubqs > 0) {
		printf("Unclosed double quote on line %d!\n", linenr);
		return 1;
	}
	if (brackets > 0) {
		printf("Unclosed brackets on line %d!\n", linenr);
		return 1;
	}
	if (brackets < 0) {
		printf("Too many close brackets on line %d!\n", linenr);
		return 1;
	}
	if (parens > 0) {
		printf("Unclosed parenthesis on line %d!\n", linenr);
		return 1;
	}
	if (parens < 0) {
		printf("Too many close parentheses on line %d!\n", linenr);
		return 1;
	}
	if (braces > 0) {
		printf("Unclosed braces on line %d!\n", linenr);
		return 1;
	}
	if (braces < 0) {
		printf("Too many close braces on line %d!\n", linenr);
		return 1;
	}
	if (mcomms == 1) {
		printf("Unclosed comment at end of file!\n");
		return 1;
	}

	printf("All clean.\n");
	return 0;
}