1 /*
2 * Copyright (C) 2009 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17 #include <stdio.h>
18 #include <stdlib.h>
19 #include <string.h>
20
21 #include "expr.h"
22 #include "parser.h"
23
24 extern int yyparse(Expr** root, int* error_count);
25
expect(const char * expr_str,const char * expected,int * errors)26 int expect(const char* expr_str, const char* expected, int* errors) {
27 Expr* e;
28 int error;
29 char* result;
30
31 printf(".");
32
33 int error_count = parse_string(expr_str, &e, &error_count);
34 if (error > 0 || error_count > 0) {
35 printf("error parsing \"%s\" (%d errors)\n",
36 expr_str, error_count);
37 ++*errors;
38 return 0;
39 }
40
41 State state;
42 state.cookie = NULL;
43 state.script = strdup(expr_str);
44 state.errmsg = NULL;
45
46 result = Evaluate(&state, e);
47 free(state.errmsg);
48 free(state.script);
49 if (result == NULL && expected != NULL) {
50 printf("error evaluating \"%s\"\n", expr_str);
51 ++*errors;
52 return 0;
53 }
54
55 if (result == NULL && expected == NULL) {
56 return 1;
57 }
58
59 if (strcmp(result, expected) != 0) {
60 printf("evaluating \"%s\": expected \"%s\", got \"%s\"\n",
61 expr_str, expected, result);
62 ++*errors;
63 free(result);
64 return 0;
65 }
66
67 free(result);
68 return 1;
69 }
70
test()71 int test() {
72 int errors = 0;
73
74 expect("a", "a", &errors);
75 expect("\"a\"", "a", &errors);
76 expect("\"\\x61\"", "a", &errors);
77 expect("# this is a comment\n"
78 " a\n"
79 " \n",
80 "a", &errors);
81
82
83 // sequence operator
84 expect("a; b; c", "c", &errors);
85
86 // string concat operator
87 expect("a + b", "ab", &errors);
88 expect("a + \n \"b\"", "ab", &errors);
89 expect("a + b +\nc\n", "abc", &errors);
90
91 // string concat function
92 expect("concat(a, b)", "ab", &errors);
93 expect("concat(a,\n \"b\")", "ab", &errors);
94 expect("concat(a + b,\nc,\"d\")", "abcd", &errors);
95 expect("\"concat\"(a + b,\nc,\"d\")", "abcd", &errors);
96
97 // logical and
98 expect("a && b", "b", &errors);
99 expect("a && \"\"", "", &errors);
100 expect("\"\" && b", "", &errors);
101 expect("\"\" && \"\"", "", &errors);
102 expect("\"\" && abort()", "", &errors); // test short-circuiting
103 expect("t && abort()", NULL, &errors);
104
105 // logical or
106 expect("a || b", "a", &errors);
107 expect("a || \"\"", "a", &errors);
108 expect("\"\" || b", "b", &errors);
109 expect("\"\" || \"\"", "", &errors);
110 expect("a || abort()", "a", &errors); // test short-circuiting
111 expect("\"\" || abort()", NULL, &errors);
112
113 // logical not
114 expect("!a", "", &errors);
115 expect("! \"\"", "t", &errors);
116 expect("!!a", "t", &errors);
117
118 // precedence
119 expect("\"\" == \"\" && b", "b", &errors);
120 expect("a + b == ab", "t", &errors);
121 expect("ab == a + b", "t", &errors);
122 expect("a + (b == ab)", "a", &errors);
123 expect("(ab == a) + b", "b", &errors);
124
125 // substring function
126 expect("is_substring(cad, abracadabra)", "t", &errors);
127 expect("is_substring(abrac, abracadabra)", "t", &errors);
128 expect("is_substring(dabra, abracadabra)", "t", &errors);
129 expect("is_substring(cad, abracxadabra)", "", &errors);
130 expect("is_substring(abrac, axbracadabra)", "", &errors);
131 expect("is_substring(dabra, abracadabrxa)", "", &errors);
132
133 // ifelse function
134 expect("ifelse(t, yes, no)", "yes", &errors);
135 expect("ifelse(!t, yes, no)", "no", &errors);
136 expect("ifelse(t, yes, abort())", "yes", &errors);
137 expect("ifelse(!t, abort(), no)", "no", &errors);
138
139 // if "statements"
140 expect("if t then yes else no endif", "yes", &errors);
141 expect("if \"\" then yes else no endif", "no", &errors);
142 expect("if \"\" then yes endif", "", &errors);
143 expect("if \"\"; t then yes endif", "yes", &errors);
144
145 // numeric comparisons
146 expect("less_than_int(3, 14)", "t", &errors);
147 expect("less_than_int(14, 3)", "", &errors);
148 expect("less_than_int(x, 3)", "", &errors);
149 expect("less_than_int(3, x)", "", &errors);
150 expect("greater_than_int(3, 14)", "", &errors);
151 expect("greater_than_int(14, 3)", "t", &errors);
152 expect("greater_than_int(x, 3)", "", &errors);
153 expect("greater_than_int(3, x)", "", &errors);
154
155 printf("\n");
156
157 return errors;
158 }
159
ExprDump(int depth,Expr * n,char * script)160 void ExprDump(int depth, Expr* n, char* script) {
161 printf("%*s", depth*2, "");
162 char temp = script[n->end];
163 script[n->end] = '\0';
164 printf("%s %p (%d-%d) \"%s\"\n",
165 n->name == NULL ? "(NULL)" : n->name, n->fn, n->start, n->end,
166 script+n->start);
167 script[n->end] = temp;
168 int i;
169 for (i = 0; i < n->argc; ++i) {
170 ExprDump(depth+1, n->argv[i], script);
171 }
172 }
173
main(int argc,char ** argv)174 int main(int argc, char** argv) {
175 RegisterBuiltins();
176 FinishRegistration();
177
178 if (argc == 1) {
179 return test() != 0;
180 }
181
182 FILE* f = fopen(argv[1], "r");
183 if (f == NULL) {
184 printf("%s: %s: No such file or directory\n", argv[0], argv[1]);
185 return 1;
186 }
187 char buffer[8192];
188 int size = fread(buffer, 1, 8191, f);
189 fclose(f);
190 buffer[size] = '\0';
191
192 Expr* root;
193 int error_count = 0;
194 int error = parse_string(buffer, &root, &error_count);
195 printf("parse returned %d; %d errors encountered\n", error, error_count);
196 if (error == 0 || error_count > 0) {
197
198 ExprDump(0, root, buffer);
199
200 State state;
201 state.cookie = NULL;
202 state.script = buffer;
203 state.errmsg = NULL;
204
205 char* result = Evaluate(&state, root);
206 if (result == NULL) {
207 printf("result was NULL, message is: %s\n",
208 (state.errmsg == NULL ? "(NULL)" : state.errmsg));
209 free(state.errmsg);
210 } else {
211 printf("result is [%s]\n", result);
212 }
213 }
214 return 0;
215 }
216