1 //===-- ResourceScriptToken.cpp ---------------------------------*- C++-*-===//
2 //
3 // The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===---------------------------------------------------------------------===//
9 //
10 // This file implements an interface defined in ResourceScriptToken.h.
11 // In particular, it defines an .rc script tokenizer.
12 //
13 //===---------------------------------------------------------------------===//
14
15 #include "ResourceScriptToken.h"
16 #include "llvm/Support/raw_ostream.h"
17
18 #include <algorithm>
19 #include <cassert>
20 #include <cctype>
21 #include <cstdlib>
22 #include <utility>
23
24 using namespace llvm;
25
26 using Kind = RCToken::Kind;
27
28 // Checks if Representation is a correct description of an RC integer.
29 // It should be a 32-bit unsigned integer, either decimal, octal (0[0-7]+),
30 // or hexadecimal (0x[0-9a-f]+). It might be followed by a single 'L'
31 // character (that is the difference between our representation and
32 // StringRef's one). If Representation is correct, 'true' is returned and
33 // the return value is put back in Num.
rcGetAsInteger(StringRef Representation,uint32_t & Num)34 static bool rcGetAsInteger(StringRef Representation, uint32_t &Num) {
35 size_t Length = Representation.size();
36 if (Length == 0)
37 return false;
38 // Strip the last 'L' if unnecessary.
39 if (std::toupper(Representation.back()) == 'L')
40 Representation = Representation.drop_back(1);
41
42 return !Representation.getAsInteger<uint32_t>(0, Num);
43 }
44
RCToken(RCToken::Kind RCTokenKind,StringRef Value)45 RCToken::RCToken(RCToken::Kind RCTokenKind, StringRef Value)
46 : TokenKind(RCTokenKind), TokenValue(Value) {}
47
intValue() const48 uint32_t RCToken::intValue() const {
49 assert(TokenKind == Kind::Int);
50 // We assume that the token already is a correct integer (checked by
51 // rcGetAsInteger).
52 uint32_t Result;
53 bool IsSuccess = rcGetAsInteger(TokenValue, Result);
54 assert(IsSuccess);
55 (void)IsSuccess; // Silence the compiler warning when -DNDEBUG flag is on.
56 return Result;
57 }
58
isLongInt() const59 bool RCToken::isLongInt() const {
60 return TokenKind == Kind::Int && std::toupper(TokenValue.back()) == 'L';
61 }
62
value() const63 StringRef RCToken::value() const { return TokenValue; }
64
kind() const65 Kind RCToken::kind() const { return TokenKind; }
66
isBinaryOp() const67 bool RCToken::isBinaryOp() const {
68 switch (TokenKind) {
69 case Kind::Plus:
70 case Kind::Minus:
71 case Kind::Pipe:
72 case Kind::Amp:
73 return true;
74 default:
75 return false;
76 }
77 }
78
getStringError(const Twine & message)79 static Error getStringError(const Twine &message) {
80 return make_error<StringError>("Error parsing file: " + message,
81 inconvertibleErrorCode());
82 }
83
84 namespace {
85
86 class Tokenizer {
87 public:
Tokenizer(StringRef Input)88 Tokenizer(StringRef Input) : Data(Input), DataLength(Input.size()) {}
89
90 Expected<std::vector<RCToken>> run();
91
92 private:
93 // All 'advancing' methods return boolean values; if they're equal to false,
94 // the stream has ended or failed.
95 bool advance(size_t Amount = 1);
96 bool skipWhitespaces();
97
98 // Consumes a token. If any problem occurred, a non-empty Error is returned.
99 Error consumeToken(const Kind TokenKind);
100
101 // Check if tokenizer is about to read FollowingChars.
102 bool willNowRead(StringRef FollowingChars) const;
103
104 // Check if tokenizer can start reading an identifier at current position.
105 // The original tool did non specify the rules to determine what is a correct
106 // identifier. We assume they should follow the C convention:
107 // [a-zA-Z_][a-zA-Z0-9_]*.
108 bool canStartIdentifier() const;
109 // Check if tokenizer can continue reading an identifier.
110 bool canContinueIdentifier() const;
111
112 // Check if tokenizer can start reading an integer.
113 // A correct integer always starts with a 0-9 digit,
114 // can contain characters 0-9A-Fa-f (digits),
115 // Ll (marking the integer is 32-bit), Xx (marking the representation
116 // is hexadecimal). As some kind of separator should come after the
117 // integer, we can consume the integer until a non-alphanumeric
118 // character.
119 bool canStartInt() const;
120 bool canContinueInt() const;
121
122 bool canStartString() const;
123
124 // Check if tokenizer can start reading a single line comment (e.g. a comment
125 // that begins with '//')
126 bool canStartLineComment() const;
127
128 // Check if tokenizer can start or finish reading a block comment (e.g. a
129 // comment that begins with '/*' and ends with '*/')
130 bool canStartBlockComment() const;
131
132 // Throw away all remaining characters on the current line.
133 void skipCurrentLine();
134
135 bool streamEof() const;
136
137 // Classify the token that is about to be read from the current position.
138 Kind classifyCurrentToken() const;
139
140 // Process the Kind::Identifier token - check if it is
141 // an identifier describing a block start or end.
142 void processIdentifier(RCToken &token) const;
143
144 StringRef Data;
145 size_t DataLength, Pos;
146 };
147
skipCurrentLine()148 void Tokenizer::skipCurrentLine() {
149 Pos = Data.find_first_of("\r\n", Pos);
150 Pos = Data.find_first_not_of("\r\n", Pos);
151
152 if (Pos == StringRef::npos)
153 Pos = DataLength;
154 }
155
run()156 Expected<std::vector<RCToken>> Tokenizer::run() {
157 Pos = 0;
158 std::vector<RCToken> Result;
159
160 // Consume an optional UTF-8 Byte Order Mark.
161 if (willNowRead("\xef\xbb\xbf"))
162 advance(3);
163
164 while (!streamEof()) {
165 if (!skipWhitespaces())
166 break;
167
168 Kind TokenKind = classifyCurrentToken();
169 if (TokenKind == Kind::Invalid)
170 return getStringError("Invalid token found at position " + Twine(Pos));
171
172 const size_t TokenStart = Pos;
173 if (Error TokenError = consumeToken(TokenKind))
174 return std::move(TokenError);
175
176 // Comments are just deleted, don't bother saving them.
177 if (TokenKind == Kind::LineComment || TokenKind == Kind::StartComment)
178 continue;
179
180 RCToken Token(TokenKind, Data.take_front(Pos).drop_front(TokenStart));
181 if (TokenKind == Kind::Identifier) {
182 processIdentifier(Token);
183 } else if (TokenKind == Kind::Int) {
184 uint32_t TokenInt;
185 if (!rcGetAsInteger(Token.value(), TokenInt)) {
186 // The integer has incorrect format or cannot be represented in
187 // a 32-bit integer.
188 return getStringError("Integer invalid or too large: " +
189 Token.value().str());
190 }
191 }
192
193 Result.push_back(Token);
194 }
195
196 return Result;
197 }
198
advance(size_t Amount)199 bool Tokenizer::advance(size_t Amount) {
200 Pos += Amount;
201 return !streamEof();
202 }
203
skipWhitespaces()204 bool Tokenizer::skipWhitespaces() {
205 while (!streamEof() && std::isspace(Data[Pos]))
206 advance();
207 return !streamEof();
208 }
209
consumeToken(const Kind TokenKind)210 Error Tokenizer::consumeToken(const Kind TokenKind) {
211 switch (TokenKind) {
212 // One-character token consumption.
213 #define TOKEN(Name)
214 #define SHORT_TOKEN(Name, Ch) case Kind::Name:
215 #include "ResourceScriptTokenList.def"
216 advance();
217 return Error::success();
218
219 case Kind::LineComment:
220 advance(2);
221 skipCurrentLine();
222 return Error::success();
223
224 case Kind::StartComment: {
225 advance(2);
226 auto EndPos = Data.find("*/", Pos);
227 if (EndPos == StringRef::npos)
228 return getStringError(
229 "Unclosed multi-line comment beginning at position " + Twine(Pos));
230 advance(EndPos - Pos);
231 advance(2);
232 return Error::success();
233 }
234 case Kind::Identifier:
235 while (!streamEof() && canContinueIdentifier())
236 advance();
237 return Error::success();
238
239 case Kind::Int:
240 while (!streamEof() && canContinueInt())
241 advance();
242 return Error::success();
243
244 case Kind::String:
245 // Consume the preceding 'L', if there is any.
246 if (std::toupper(Data[Pos]) == 'L')
247 advance();
248 // Consume the double-quote.
249 advance();
250
251 // Consume the characters until the end of the file, line or string.
252 while (true) {
253 if (streamEof()) {
254 return getStringError("Unterminated string literal.");
255 } else if (Data[Pos] == '"') {
256 // Consume the ending double-quote.
257 advance();
258 // However, if another '"' follows this double-quote, the string didn't
259 // end and we just included '"' into the string.
260 if (!willNowRead("\""))
261 return Error::success();
262 } else if (Data[Pos] == '\n') {
263 return getStringError("String literal not terminated in the line.");
264 }
265
266 advance();
267 }
268
269 case Kind::Invalid:
270 assert(false && "Cannot consume an invalid token.");
271 }
272
273 llvm_unreachable("Unknown RCToken::Kind");
274 }
275
willNowRead(StringRef FollowingChars) const276 bool Tokenizer::willNowRead(StringRef FollowingChars) const {
277 return Data.drop_front(Pos).startswith(FollowingChars);
278 }
279
canStartIdentifier() const280 bool Tokenizer::canStartIdentifier() const {
281 assert(!streamEof());
282
283 const char CurChar = Data[Pos];
284 return std::isalpha(CurChar) || CurChar == '_' || CurChar == '.';
285 }
286
canContinueIdentifier() const287 bool Tokenizer::canContinueIdentifier() const {
288 assert(!streamEof());
289 const char CurChar = Data[Pos];
290 return std::isalnum(CurChar) || CurChar == '_' || CurChar == '.' ||
291 CurChar == '/' || CurChar == '\\';
292 }
293
canStartInt() const294 bool Tokenizer::canStartInt() const {
295 assert(!streamEof());
296 return std::isdigit(Data[Pos]);
297 }
298
canStartBlockComment() const299 bool Tokenizer::canStartBlockComment() const {
300 assert(!streamEof());
301 return Data.drop_front(Pos).startswith("/*");
302 }
303
canStartLineComment() const304 bool Tokenizer::canStartLineComment() const {
305 assert(!streamEof());
306 return Data.drop_front(Pos).startswith("//");
307 }
308
canContinueInt() const309 bool Tokenizer::canContinueInt() const {
310 assert(!streamEof());
311 return std::isalnum(Data[Pos]);
312 }
313
canStartString() const314 bool Tokenizer::canStartString() const {
315 return willNowRead("\"") || willNowRead("L\"") || willNowRead("l\"");
316 }
317
streamEof() const318 bool Tokenizer::streamEof() const { return Pos == DataLength; }
319
classifyCurrentToken() const320 Kind Tokenizer::classifyCurrentToken() const {
321 if (canStartBlockComment())
322 return Kind::StartComment;
323 if (canStartLineComment())
324 return Kind::LineComment;
325
326 if (canStartInt())
327 return Kind::Int;
328 if (canStartString())
329 return Kind::String;
330 // BEGIN and END are at this point of lexing recognized as identifiers.
331 if (canStartIdentifier())
332 return Kind::Identifier;
333
334 const char CurChar = Data[Pos];
335
336 switch (CurChar) {
337 // One-character token classification.
338 #define TOKEN(Name)
339 #define SHORT_TOKEN(Name, Ch) \
340 case Ch: \
341 return Kind::Name;
342 #include "ResourceScriptTokenList.def"
343
344 default:
345 return Kind::Invalid;
346 }
347 }
348
processIdentifier(RCToken & Token) const349 void Tokenizer::processIdentifier(RCToken &Token) const {
350 assert(Token.kind() == Kind::Identifier);
351 StringRef Name = Token.value();
352
353 if (Name.equals_lower("begin"))
354 Token = RCToken(Kind::BlockBegin, Name);
355 else if (Name.equals_lower("end"))
356 Token = RCToken(Kind::BlockEnd, Name);
357 }
358
359 } // anonymous namespace
360
361 namespace llvm {
362
tokenizeRC(StringRef Input)363 Expected<std::vector<RCToken>> tokenizeRC(StringRef Input) {
364 return Tokenizer(Input).run();
365 }
366
367 } // namespace llvm
368