Add explicit return to main
[mspang/inapt.git] / parser.rl
1 #include <stdio.h>
2 #include <string.h>
3 #include <stdlib.h>
4 #include <unistd.h>
5 #include <fcntl.h>
6 #include <ctype.h>
7 #include <vector>
8
9 #include "inapt.h"
10 #include "util.h"
11
12 using namespace std;
13
14 #define MAXDEPTH 100
15 #define BUFSIZE 4096
16
17 %%{
18     machine inapt;
19
20     action strstart { ts = p; }
21
22     action add_alternate {
23         std::string tmp (ts, p - ts); ts = 0;
24         alternates.push_back(tmp);
25     }
26
27     action add_package {
28         inapt_package *tmp_package = new inapt_package;
29         tmp_package->alternates.swap(alternates);
30         tmp_package->action = tmp_action->action;
31         tmp_package->linenum = curline - (*p == '\n');
32         tmp_package->filename = curfile;
33         tmp_package->predicates.swap(predicates);
34         tmp_action->packages.push_back(tmp_package);
35     }
36
37     action start_install {
38         tmp_action = new inapt_action;
39         tmp_action->action = inapt_action::INSTALL;
40         tmp_action->predicates.swap(predicates);
41         block_stack.back()->actions.push_back(tmp_action);
42     }
43
44     action start_remove {
45         tmp_action = new inapt_action;
46         tmp_action->action = inapt_action::REMOVE;
47         tmp_action->predicates.swap(predicates);
48         block_stack.back()->actions.push_back(tmp_action);
49     }
50
51     action add_profiles {
52         inapt_profiles *tmp_profiles = new inapt_profiles;
53         tmp_profiles->profiles.swap(profiles);
54         tmp_profiles->predicates.swap(predicates);
55         block_stack.back()->profiles.push_back(tmp_profiles);
56     }
57
58     action newline {
59         curline += 1;
60     }
61
62     action start_block {
63         if (top < MAXDEPTH) {
64             inapt_block *tmp_block = new inapt_block;
65             block_stack.push_back(tmp_block);
66             fcall main;
67         } else {
68             fatal("%s: %d: Syntax Error: Nesting Too Deep at '{'", curfile, curline);
69         }
70     }
71
72     action end_block {
73         if (top) {
74             fret;
75         } else {
76             fatal("%s: %d: Syntax Error: Unexpected '}'", curfile, curline);
77         }
78     }
79
80     action start_conditional {
81         inapt_conditional *cond = new inapt_conditional;
82         cond->predicates.swap(predicates);
83         conditional_stack.push_back(cond);
84     }
85
86     action full_conditional {
87         inapt_conditional *cond = conditional_stack.back(); conditional_stack.pop_back();
88         cond->else_block = block_stack.back(); block_stack.pop_back();
89         cond->then_block = block_stack.back(); block_stack.pop_back();
90         block_stack.back()->children.push_back(cond);
91     }
92
93     action half_conditional {
94         inapt_conditional *cond = conditional_stack.back(); conditional_stack.pop_back();
95         cond->else_block = NULL;
96         cond->then_block = block_stack.back(); block_stack.pop_back();
97         block_stack.back()->children.push_back(cond);
98     }
99
100     action predicate {
101         std::string tmp (ts, p - ts); ts = 0;
102         predicates.push_back(tmp);
103     }
104
105     action profile {
106         std::string tmp (ts, p - ts); ts = 0;
107         profiles.push_back(tmp);
108     }
109
110     newline = '\n' @newline;
111     comment = '#' (any - '\n')* newline;
112     whitespace = [\t\v\f\r ] | comment | newline;
113     profile = alpha (alpha | digit | '-' | '+' | '.')*;
114     package_name = ((lower | digit) (lower | digit | '+' | '-' | '.')+) >strstart;
115     predicate = '@' ('!'? profile ('/' '!'? profile)*) >strstart %predicate whitespace+;
116     package_alternates = package_name >strstart %add_alternate ('/' package_name >strstart %add_alternate)*;
117     package_list = ((whitespace+ predicate* package_alternates)+ %add_package whitespace*);
118     profile_list = (whitespace+ profile >strstart %profile)* whitespace*;
119     cmd_install = ('install' @start_install package_list ';');
120     cmd_remove = ('remove' @start_remove package_list ';');
121     cmd_profiles = ('profiles' profile_list ';' @add_profiles);
122     end_block = '}' @end_block;
123     cmd_if = 'if' whitespace+ predicate+ '{' @start_conditional @start_block whitespace*
124              ('else' whitespace* '{' @start_block whitespace* ';' @full_conditional | ';' @half_conditional);
125     cmd = whitespace* (predicate* (cmd_install | cmd_remove | cmd_profiles) | cmd_if);
126     cmd_list = cmd* whitespace* end_block?;
127     main := cmd_list;
128 }%%
129
130 %% write data;
131
132 void badsyntax(const char *filename, int lineno, char badchar, const char *message) {
133     if (!message) {
134         if (badchar == '\n')
135             message = "Unexpected newline";
136         else if (isspace(badchar))
137             message = "Unexpected whitespace";
138         else
139             message = "Syntax error";
140     }
141
142     if (isprint(badchar) && !isspace(badchar))
143         fatal("%s: %d: %s at '%c'", filename, lineno, message, badchar);
144     else
145         fatal("%s: %d: %s", filename, lineno, message);
146 }
147
148 void parser(const char *filename, inapt_block *top_block)
149 {
150     static char buf[BUFSIZE];
151     int fd;
152     int cs, have = 0;
153     int done = 0;
154     int curline = 1;
155     char *ts = 0;
156
157     std::vector<inapt_block *> block_stack;
158     std::vector<inapt_conditional *> conditional_stack;
159     std::vector<std::string> alternates;
160     std::vector<std::string> predicates;
161     std::vector<std::string> profiles;
162     block_stack.push_back(top_block);
163     inapt_action *tmp_action = NULL;
164
165     int stack[MAXDEPTH];
166     int top = 0;
167
168     const char *curfile = filename;
169
170     if (!filename || !strcmp(filename, "-")) {
171         curfile = "stdin";
172         fd = 0;
173     } else {
174         fd = open(filename, O_RDONLY);
175         if (fd < 0)
176             fatalpe("open: %s", filename);
177     }
178
179     %% write init;
180
181     while (!done) {
182         char *p = buf + have, *pe, *eof = 0;
183         int len, space = BUFSIZE - have;
184
185         if (!space)
186             badsyntax(curfile, curline, 0, "Overlength token");
187
188         len = read(fd, p, space);
189         if (len < 0)
190             fatalpe("Unable to read spec");
191         pe = p + len;
192
193         if (!len) {
194             eof = pe;
195             done = 1;
196         }
197
198         %% write exec;
199
200         if (cs == inapt_error)
201             badsyntax(curfile, curline, *p, NULL);
202
203         have = 0;
204
205         if (ts) {
206             have = pe - ts;
207             memmove(buf, ts, have);
208             ts = buf;
209         }
210     }
211
212     if (cs < inapt_first_final)
213         badsyntax(curfile, curline, 0, "Unexpected EOF");
214
215     if (top)
216         badsyntax(curfile, curline, 0, "Unclosed block at EOF");
217 }