Tokenizer.cpp 9.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328
  1. #include <iostream>
  2. #include <fstream>
  3. #include "tokenizer/Tokenizer.h"
  4. #include "utils/String.h"
  5. static void onError(const String& message, unsigned int line) {
  6. std::cout << message << " Line: " << line << "\n";
  7. }
  8. static bool isLetter(char32_t c) {
  9. return (c >= 'a' && c <= 'z') || (c >= 'A' && c <= 'Z');
  10. }
  11. static bool isDigit(char32_t c) {
  12. return c >= '0' && c <= '9';
  13. }
  14. static bool isValidNameStart(char32_t c) {
  15. return isLetter(c) || c == '.' || c == '_';
  16. }
  17. static bool isValidNamePart(char32_t c) {
  18. return isDigit(c) || isValidNameStart(c);
  19. }
  20. class Data {
  21. public:
  22. Data(const char* inputPath, TokenStream& tokens) : tokens(tokens) {
  23. stream.open(inputPath);
  24. }
  25. bool hasFileError() {
  26. return !stream.good();
  27. }
  28. bool next(char32_t& c) {
  29. if(buffer != 0) {
  30. c = buffer;
  31. buffer = 0;
  32. return true;
  33. }
  34. c = stream.get();
  35. return stream.good();
  36. }
  37. bool peek(char32_t& c) {
  38. if(buffer != 0 || next(buffer)) {
  39. c = buffer;
  40. return true;
  41. }
  42. return false;
  43. }
  44. bool nextIf(char32_t c) {
  45. char32_t nextChar;
  46. if(peek(nextChar) && c == nextChar) {
  47. next(nextChar);
  48. return true;
  49. }
  50. return false;
  51. }
  52. void addToken(Token token) {
  53. tokens.add(token, line);
  54. }
  55. void addToken(Token token, const char* text) {
  56. tokens.add(token, line, text);
  57. }
  58. Token chooseToken(char c, Token aCharEqual, Token aChar, Token aEqual, Token other) {
  59. if(nextIf(c)) {
  60. if(nextIf('=')) {
  61. return aCharEqual;
  62. }
  63. return aChar;
  64. } else if(nextIf('=')) {
  65. return aEqual;
  66. }
  67. return other;
  68. }
  69. bool handleLiteral(char32_t c, Token token) {
  70. String s;
  71. s += (char) c;
  72. while(true) {
  73. if(s.isFull()) {
  74. onError("string buffer to small", line);
  75. return true;
  76. }
  77. char32_t data;
  78. if(!peek(data) || !isValidNamePart(data)) {
  79. break;
  80. }
  81. s += (char) data;
  82. next(data);
  83. }
  84. if(s == "if") {
  85. addToken(Token::IF);
  86. } else if(s == "else") {
  87. addToken(Token::ELSE);
  88. } else if(s == "elseif") {
  89. addToken(Token::ELSEIF);
  90. } else if(s == "while") {
  91. addToken(Token::WHILE);
  92. } else if(s == "try") {
  93. addToken(Token::TRY);
  94. } else if(s == "catch") {
  95. addToken(Token::CATCH);
  96. } else if(s == "for") {
  97. addToken(Token::FOR);
  98. } else if(s == "function") {
  99. addToken(Token::FUNCTION);
  100. } else if(s == "break") {
  101. addToken(Token::BREAK);
  102. } else if(s == "continue") {
  103. addToken(Token::CONTINUE);
  104. } else if(s == "return") {
  105. addToken(Token::RETURN);
  106. } else if(s == "true") {
  107. addToken(Token::TRUE);
  108. } else if(s == "false") {
  109. addToken(Token::FALSE);
  110. } else if(s == "null") {
  111. addToken(Token::NULL_TOKEN);
  112. } else {
  113. addToken(token, s);
  114. }
  115. return false;
  116. }
  117. bool handleNumber(char32_t c) {
  118. double number = c - '0';
  119. char32_t data;
  120. while(peek(data)) {
  121. if(!isDigit(data)) {
  122. if(data != '.') {
  123. break;
  124. }
  125. next(data);
  126. double factor = 10;
  127. while(peek(data) && isDigit(data)) {
  128. number += (data - '0') / factor;
  129. factor *= 10;
  130. next(data);
  131. }
  132. break;
  133. }
  134. number = (number * 10) + (data - '0');
  135. next(data);
  136. }
  137. tokens.add(Token::NUMBER, line, number);
  138. return false;
  139. }
  140. bool handleString() {
  141. String s;
  142. unsigned int oldLine = line;
  143. while(!s.isFull()) {
  144. char32_t data;
  145. if(!next(data)) {
  146. onError("non closed string literal", oldLine);
  147. return true;
  148. }
  149. if(data == '"') {
  150. addToken(Token::STRING, s);
  151. return false;
  152. }
  153. if(data == '\n') {
  154. line++;
  155. }
  156. if(data == '\\') {
  157. char32_t escape;
  158. if(!next(escape)) {
  159. onError("missing escaped character", line);
  160. return true;
  161. }
  162. switch(escape) {
  163. case 'n': data = '\n';
  164. break;
  165. case '\\': data = '\\';
  166. break;
  167. case '"': data = '"';
  168. break;
  169. default:
  170. onError("invalid escaped character", line);
  171. return true;
  172. }
  173. }
  174. s += data;
  175. }
  176. onError("string buffer to small", line);
  177. return true;
  178. }
  179. bool handleOneLineComment() {
  180. char32_t data;
  181. while(next(data) && data != '\n');
  182. line++;
  183. return false;
  184. }
  185. bool handleMultiLineComment() {
  186. char32_t first;
  187. char32_t sec = 0;
  188. unsigned int oldLine = line;
  189. while(true) {
  190. first = sec;
  191. if(!next(sec)) {
  192. onError("unclosed multiline comment", oldLine);
  193. return true;
  194. }
  195. if(first == '*' && sec == '/') {
  196. return false;
  197. }
  198. line += (sec == '\n');
  199. }
  200. }
  201. bool handleSlash() {
  202. if(nextIf('/')) {
  203. return handleOneLineComment();
  204. } else if(nextIf('*')) {
  205. return handleMultiLineComment();
  206. } else if(nextIf('=')) {
  207. addToken(Token::DIV_SET);
  208. return false;
  209. }
  210. addToken(Token::DIV);
  211. return false;
  212. }
  213. bool handleSpecial(char32_t c) {
  214. switch(c) {
  215. case ' ':
  216. case '\t':
  217. case '\r':
  218. return false;
  219. case '\n': line++;
  220. return false;
  221. case '"':
  222. return handleString();
  223. case '(': addToken(Token::OPEN_BRACKET);
  224. return false;
  225. case ')': addToken(Token::CLOSE_BRACKET);
  226. return false;
  227. case '[': addToken(Token::OPEN_SQUARE_BRACKET);
  228. return false;
  229. case ']': addToken(Token::CLOSE_SQUARE_BRACKET);
  230. return false;
  231. case '{': addToken(Token::OPEN_CURVED_BRACKET);
  232. return false;
  233. case '}': addToken(Token::CLOSE_CURVED_BRACKET);
  234. return false;
  235. case '$':
  236. return handleLiteral(c, Token::LITERAL);
  237. case '@':
  238. return handleLiteral(c, Token::LABEL);
  239. case ';': addToken(Token::SEMICOLON);
  240. return false;
  241. case ',': addToken(Token::COMMA);
  242. return false;
  243. case '~': addToken(Token::BIT_INVERT);
  244. return false;
  245. case '+': addToken(nextIf('=') ? Token::ADD_SET: (nextIf('+') ? Token::INC: Token::ADD));
  246. return false;
  247. case '-': addToken(nextIf('=') ? Token::SUB_SET: (nextIf('-') ? Token::DEC: Token::SUB));
  248. return false;
  249. case '!': addToken(nextIf('=') ? Token::NOT_EQUAL: Token::INVERT);
  250. break;
  251. case '=': addToken(nextIf('=') ? Token::EQUAL: Token::SET);
  252. return false;
  253. case '*': addToken(nextIf('=') ? Token::MUL_SET: Token::MUL);
  254. return false;
  255. case '/':
  256. return handleSlash();
  257. case '%': addToken(nextIf('=') ? Token::MOD_SET: Token::MOD);
  258. return false;
  259. case '&': addToken(nextIf('=') ? Token::BIT_AND_SET: (nextIf('&') ? Token::AND: Token::BIT_AND));
  260. return false;
  261. case '|': addToken(nextIf('=') ? Token::BIT_OR_SET: (nextIf('|') ? Token::OR: Token::BIT_OR));
  262. return false;
  263. case '^': addToken(nextIf('=') ? Token::BIT_XOR_SET: Token::BIT_XOR);
  264. return false;
  265. case '<': addToken(chooseToken('<', Token::LEFT_SHIFT_SET, Token::LEFT_SHIFT, Token::LESS_EQUAL, Token::LESS));
  266. return false;
  267. case '>': addToken(chooseToken('>', Token::RIGHT_SHIFT_SET, Token::RIGHT_SHIFT, Token::GREATER_EQUAL, Token::GREATER));
  268. return false;
  269. }
  270. String s("unknown token '");
  271. s += c;
  272. s += '\'';
  273. onError(s, line);
  274. return true;
  275. }
  276. bool handleChar(char32_t c) {
  277. if(isValidNameStart(c)) {
  278. return handleLiteral(c, Token::LITERAL);
  279. } else if(isDigit(c)) {
  280. return handleNumber(c);
  281. }
  282. return handleSpecial(c);
  283. }
  284. private:
  285. std::basic_ifstream<char32_t> stream;
  286. TokenStream& tokens;
  287. unsigned int line = 1;
  288. char32_t buffer = 0;
  289. };
  290. bool Tokenizer::tokenize(TokenStream& tokenStream, const char* inputPath) {
  291. Data d(inputPath, tokenStream);
  292. if(d.hasFileError()) {
  293. return true;
  294. }
  295. char32_t c;
  296. while(d.next(c)) {
  297. if(d.handleChar(c)) {
  298. return true;
  299. }
  300. }
  301. d.addToken(Token::EOF_TOKEN);
  302. return false;
  303. }