diff options
| author | Li Jin <dragon-fly@qq.com> | 2019-10-29 11:25:27 +0800 |
|---|---|---|
| committer | Li Jin <dragon-fly@qq.com> | 2019-10-29 11:25:27 +0800 |
| commit | 975167856ed0b11c2ede03c6eb750ca4e4a6a7fc (patch) | |
| tree | fa4369fe7e7d49c63cae93d6c5b52b78116f58cd /MoonParser/moon_ast.cpp | |
| parent | 726fee3152c81fdac7e3ad5f663bfbea8f99ddd8 (diff) | |
| download | yuescript-975167856ed0b11c2ede03c6eb750ca4e4a6a7fc.tar.gz yuescript-975167856ed0b11c2ede03c6eb750ca4e4a6a7fc.tar.bz2 yuescript-975167856ed0b11c2ede03c6eb750ca4e4a6a7fc.zip | |
complete moon compiler in C++.
Diffstat (limited to 'MoonParser/moon_ast.cpp')
| -rw-r--r-- | MoonParser/moon_ast.cpp | 3688 |
1 files changed, 4 insertions, 3684 deletions
diff --git a/MoonParser/moon_ast.cpp b/MoonParser/moon_ast.cpp index 50c13db..6b175fc 100644 --- a/MoonParser/moon_ast.cpp +++ b/MoonParser/moon_ast.cpp | |||
| @@ -1,24 +1,6 @@ | |||
| 1 | #include <string> | ||
| 2 | #include <unordered_set> | ||
| 3 | #include <stack> | ||
| 4 | #include <algorithm> | ||
| 5 | #include <vector> | ||
| 6 | #include <numeric> | ||
| 7 | #include <memory> | ||
| 8 | #include <sstream> | ||
| 9 | #include <string_view> | ||
| 10 | using namespace std::string_view_literals; | ||
| 11 | #include "moon_ast.h" | 1 | #include "moon_ast.h" |
| 12 | 2 | ||
| 13 | typedef std::list<std::string> str_list; | 3 | namespace MoonP { |
| 14 | |||
| 15 | const input& AstLeaf::getValue() { | ||
| 16 | if (_value.empty()) { | ||
| 17 | _value.assign(m_begin.m_it, m_end.m_it); | ||
| 18 | return trim(_value); | ||
| 19 | } | ||
| 20 | return _value; | ||
| 21 | } | ||
| 22 | 4 | ||
| 23 | #define AST_IMPL(type) \ | 5 | #define AST_IMPL(type) \ |
| 24 | ast<type##_t> __##type##_t(type); | 6 | ast<type##_t> __##type##_t(type); |
| @@ -26,6 +8,7 @@ const input& AstLeaf::getValue() { | |||
| 26 | AST_IMPL(Num) | 8 | AST_IMPL(Num) |
| 27 | AST_IMPL(Name) | 9 | AST_IMPL(Name) |
| 28 | AST_IMPL(Variable) | 10 | AST_IMPL(Variable) |
| 11 | AST_IMPL(LuaKeyword) | ||
| 29 | AST_IMPL(self) | 12 | AST_IMPL(self) |
| 30 | AST_IMPL(self_name) | 13 | AST_IMPL(self_name) |
| 31 | AST_IMPL(self_class) | 14 | AST_IMPL(self_class) |
| @@ -109,7 +92,7 @@ AST_IMPL(AssignableNameList) | |||
| 109 | AST_IMPL(InvokeArgs) | 92 | AST_IMPL(InvokeArgs) |
| 110 | AST_IMPL(const_value) | 93 | AST_IMPL(const_value) |
| 111 | AST_IMPL(unary_exp) | 94 | AST_IMPL(unary_exp) |
| 112 | AST_IMPL(Assignment) | 95 | AST_IMPL(ExpListAssign) |
| 113 | AST_IMPL(if_else_line) | 96 | AST_IMPL(if_else_line) |
| 114 | AST_IMPL(unless_line) | 97 | AST_IMPL(unless_line) |
| 115 | AST_IMPL(statement_appendix) | 98 | AST_IMPL(statement_appendix) |
| @@ -119,3667 +102,4 @@ AST_IMPL(Body) | |||
| 119 | AST_IMPL(Block) | 102 | AST_IMPL(Block) |
| 120 | AST_IMPL(File) | 103 | AST_IMPL(File) |
| 121 | 104 | ||
| 122 | #include <iostream> | 105 | } // namespace MoonP |
| 123 | |||
| 124 | inline std::string s(std::string_view sv) { | ||
| 125 | return std::string(sv); | ||
| 126 | } | ||
| 127 | |||
| 128 | class MoonCompliler | ||
| 129 | { | ||
| 130 | public: | ||
| 131 | void complile(const std::string& codes) { | ||
| 132 | input input = _converter.from_bytes(codes); | ||
| 133 | error_list el; | ||
| 134 | State st; | ||
| 135 | auto root = parse<File_t>(input, File, el, &st); | ||
| 136 | if (root) { | ||
| 137 | std::cout << "compiled!\n\n"; | ||
| 138 | str_list out; | ||
| 139 | pushScope(); | ||
| 140 | transformBlock(root->block, out); | ||
| 141 | popScope(); | ||
| 142 | std::string result = std::move(out.back()); | ||
| 143 | std::cout << result << '\n'; | ||
| 144 | } else { | ||
| 145 | std::cout << "compile failed!\n"; | ||
| 146 | for (error_list::iterator it = el.begin(); it != el.end(); ++it) { | ||
| 147 | const error& err = *it; | ||
| 148 | std::cout << "line " << err.m_begin.m_line << ", col " << err.m_begin.m_col << ": syntax error\n"; | ||
| 149 | } | ||
| 150 | } | ||
| 151 | _codeCache.clear(); | ||
| 152 | std::stack<std::string> emptyWith; | ||
| 153 | _withVars.swap(emptyWith); | ||
| 154 | std::stack<std::string> emptyContinue; | ||
| 155 | _continueVars.swap(emptyContinue); | ||
| 156 | } | ||
| 157 | private: | ||
| 158 | int _indentOffset = 0; | ||
| 159 | Converter _converter; | ||
| 160 | std::list<input> _codeCache; | ||
| 161 | std::stack<std::string> _withVars; | ||
| 162 | std::stack<std::string> _continueVars; | ||
| 163 | std::ostringstream _buf; | ||
| 164 | std::string _newLine = "\n"; | ||
| 165 | std::vector<int> _lineTable; | ||
| 166 | enum class LocalMode { | ||
| 167 | None = 0, | ||
| 168 | Capital = 1, | ||
| 169 | Any = 2 | ||
| 170 | }; | ||
| 171 | enum class ExportMode { | ||
| 172 | None = 0, | ||
| 173 | Capital = 1, | ||
| 174 | Any = 2 | ||
| 175 | }; | ||
| 176 | struct Scope { | ||
| 177 | ExportMode mode = ExportMode::None; | ||
| 178 | std::unique_ptr<std::unordered_set<std::string>> vars; | ||
| 179 | std::unique_ptr<std::unordered_set<std::string>> allows; | ||
| 180 | std::unique_ptr<std::unordered_set<std::string>> exports; | ||
| 181 | }; | ||
| 182 | std::list<Scope> _scopes; | ||
| 183 | static const std::string Empty; | ||
| 184 | |||
| 185 | enum class MemType { | ||
| 186 | Builtin, | ||
| 187 | Common, | ||
| 188 | Property | ||
| 189 | }; | ||
| 190 | |||
| 191 | struct ClassMember { | ||
| 192 | std::string item; | ||
| 193 | MemType type; | ||
| 194 | ast_node* node; | ||
| 195 | }; | ||
| 196 | |||
| 197 | struct DestructItem { | ||
| 198 | bool isVariable = false; | ||
| 199 | std::string name; | ||
| 200 | std::string structure; | ||
| 201 | }; | ||
| 202 | |||
| 203 | struct Destructure { | ||
| 204 | std::string value; | ||
| 205 | std::list<DestructItem> items; | ||
| 206 | }; | ||
| 207 | |||
| 208 | enum class ExpUsage { | ||
| 209 | Return, | ||
| 210 | Assignment, | ||
| 211 | Common | ||
| 212 | }; | ||
| 213 | |||
| 214 | enum class IfUsage { | ||
| 215 | Return, | ||
| 216 | Closure, | ||
| 217 | Common | ||
| 218 | }; | ||
| 219 | |||
| 220 | void pushScope() { | ||
| 221 | _scopes.emplace_back(); | ||
| 222 | _scopes.back().vars = std::make_unique<std::unordered_set<std::string>>(); | ||
| 223 | } | ||
| 224 | |||
| 225 | void popScope() { | ||
| 226 | _scopes.pop_back(); | ||
| 227 | } | ||
| 228 | |||
| 229 | bool isDefined(const std::string& name, bool checkShadowScopeOnly = false) { | ||
| 230 | bool isDefined = false; | ||
| 231 | int mode = int(std::isupper(name[0]) ? ExportMode::Capital : ExportMode::Any); | ||
| 232 | const auto& current = _scopes.back(); | ||
| 233 | if (int(current.mode) >= mode) { | ||
| 234 | if (current.exports) { | ||
| 235 | if (current.exports->find(name) != current.exports->end()) { | ||
| 236 | isDefined = true; | ||
| 237 | current.vars->insert(name); | ||
| 238 | } | ||
| 239 | } else { | ||
| 240 | isDefined = true; | ||
| 241 | current.vars->insert(name); | ||
| 242 | } | ||
| 243 | } | ||
| 244 | for (auto it = _scopes.rbegin(); it != _scopes.rend(); ++it) { | ||
| 245 | auto vars = it->vars.get(); | ||
| 246 | if (vars->find(name) != vars->end()) { | ||
| 247 | isDefined = true; | ||
| 248 | break; | ||
| 249 | } | ||
| 250 | if (checkShadowScopeOnly && it->allows) break; | ||
| 251 | } | ||
| 252 | return isDefined; | ||
| 253 | } | ||
| 254 | |||
| 255 | bool isSolidDefined(const std::string& name) { | ||
| 256 | bool isDefined = false; | ||
| 257 | for (auto it = _scopes.rbegin(); it != _scopes.rend(); ++it) { | ||
| 258 | auto vars = it->vars.get(); | ||
| 259 | if (vars->find(name) != vars->end()) { | ||
| 260 | isDefined = true; | ||
| 261 | break; | ||
| 262 | } | ||
| 263 | } | ||
| 264 | return isDefined; | ||
| 265 | } | ||
| 266 | |||
| 267 | void markVarShadowed() { | ||
| 268 | auto& scope = _scopes.back(); | ||
| 269 | scope.allows = std::make_unique<std::unordered_set<std::string>>(); | ||
| 270 | } | ||
| 271 | |||
| 272 | void markVarExported(ExportMode mode, bool specified) { | ||
| 273 | auto& scope = _scopes.back(); | ||
| 274 | scope.mode = mode; | ||
| 275 | if (specified && !scope.exports) { | ||
| 276 | scope.exports = std::make_unique<std::unordered_set<std::string>>(); | ||
| 277 | } | ||
| 278 | } | ||
| 279 | |||
| 280 | void addExportedVar(const std::string& name) { | ||
| 281 | auto& scope = _scopes.back(); | ||
| 282 | scope.exports->insert(name); | ||
| 283 | } | ||
| 284 | |||
| 285 | void addToAllowList(const std::string& name) { | ||
| 286 | auto& scope = _scopes.back(); | ||
| 287 | scope.allows->insert(name); | ||
| 288 | } | ||
| 289 | |||
| 290 | void forceAddToScope(const std::string& name) { | ||
| 291 | auto& scope = _scopes.back(); | ||
| 292 | scope.vars->insert(name); | ||
| 293 | } | ||
| 294 | |||
| 295 | Scope& currentScope() { | ||
| 296 | return _scopes.back(); | ||
| 297 | } | ||
| 298 | |||
| 299 | bool addToScope(const std::string& name) { | ||
| 300 | bool defined = false; | ||
| 301 | auto& scope = _scopes.back(); | ||
| 302 | decltype(scope.allows.get()) allows = nullptr; | ||
| 303 | for (auto it = _scopes.rbegin(); it != _scopes.rend(); ++it) { | ||
| 304 | if (it->allows) allows = it->allows.get(); | ||
| 305 | } | ||
| 306 | if (allows) { | ||
| 307 | bool shadowed = allows->find(name) == allows->end(); | ||
| 308 | defined = isDefined(name, shadowed); | ||
| 309 | } else { | ||
| 310 | defined = isDefined(name); | ||
| 311 | } | ||
| 312 | if (!defined) scope.vars->insert(name); | ||
| 313 | return !defined; | ||
| 314 | } | ||
| 315 | |||
| 316 | std::string getUnusedName(std::string_view name) { | ||
| 317 | int index = 0; | ||
| 318 | std::string newName; | ||
| 319 | do { | ||
| 320 | newName = s(name) + std::to_string(index); | ||
| 321 | index++; | ||
| 322 | } while (isSolidDefined(newName)); | ||
| 323 | return newName; | ||
| 324 | } | ||
| 325 | |||
| 326 | const std::string nll(ast_node* node) { | ||
| 327 | // return s(" -- "sv) + std::to_string(node->m_begin.m_line) + _newLine; | ||
| 328 | _lineTable.push_back(node->m_begin.m_line); | ||
| 329 | return _newLine; | ||
| 330 | } | ||
| 331 | |||
| 332 | const std::string nlr(ast_node* node) { | ||
| 333 | // return s(" -- "sv) + std::to_string(node->m_end.m_line) + _newLine; | ||
| 334 | _lineTable.push_back(node->m_end.m_line); | ||
| 335 | return _newLine; | ||
| 336 | } | ||
| 337 | |||
| 338 | void incIndentOffset() { | ||
| 339 | _indentOffset++; | ||
| 340 | } | ||
| 341 | |||
| 342 | void decIndentOffset() { | ||
| 343 | _indentOffset--; | ||
| 344 | } | ||
| 345 | |||
| 346 | std::string indent() { | ||
| 347 | return std::string((_scopes.size() - 1 + _indentOffset) * 2, ' '); | ||
| 348 | } | ||
| 349 | |||
| 350 | std::string indent(int offset) { | ||
| 351 | return std::string((_scopes.size() - 1 + _indentOffset + offset) * 2, ' '); | ||
| 352 | } | ||
| 353 | |||
| 354 | std::string clearBuf() { | ||
| 355 | std::string str = _buf.str(); | ||
| 356 | _buf.str(""); | ||
| 357 | _buf.clear(); | ||
| 358 | return str; | ||
| 359 | } | ||
| 360 | |||
| 361 | std::string join(const str_list& items) { | ||
| 362 | if (items.empty()) return Empty; | ||
| 363 | else if (items.size() == 1) return items.front(); | ||
| 364 | auto begin = ++items.begin(); | ||
| 365 | return std::accumulate(begin, items.end(), items.front(), | ||
| 366 | [&](const std::string& a, const std::string& b) { return a + b; }); | ||
| 367 | } | ||
| 368 | |||
| 369 | std::string join(const str_list& items, std::string_view sep) { | ||
| 370 | if (items.empty()) return Empty; | ||
| 371 | else if (items.size() == 1) return items.front(); | ||
| 372 | std::string sepStr = s(sep); | ||
| 373 | auto begin = ++items.begin(); | ||
| 374 | return std::accumulate(begin, items.end(), items.front(), | ||
| 375 | [&](const std::string& a, const std::string& b) { return a + sepStr + b; }); | ||
| 376 | } | ||
| 377 | |||
| 378 | std::string toString(ast_node* node) { | ||
| 379 | return _converter.to_bytes(std::wstring(node->m_begin.m_it, node->m_end.m_it)); | ||
| 380 | } | ||
| 381 | |||
| 382 | std::string toString(input::iterator begin, input::iterator end) { | ||
| 383 | return _converter.to_bytes(std::wstring(begin, end)); | ||
| 384 | } | ||
| 385 | |||
| 386 | Value_t* singleValueFrom(ast_node* expList) { | ||
| 387 | ast_node* singleValue = nullptr; | ||
| 388 | expList->traverse([&](ast_node* n) { | ||
| 389 | if (n->getId() == "Value"_id) { | ||
| 390 | if (!singleValue) { | ||
| 391 | singleValue = n; | ||
| 392 | return traversal::Return; | ||
| 393 | } else { | ||
| 394 | singleValue = nullptr; | ||
| 395 | return traversal::Stop; | ||
| 396 | } | ||
| 397 | } | ||
| 398 | return traversal::Continue; | ||
| 399 | }); | ||
| 400 | return static_cast<Value_t*>(singleValue); | ||
| 401 | } | ||
| 402 | |||
| 403 | SimpleValue_t* simpleSingleValueFrom(ast_node* expList) { | ||
| 404 | auto value = singleValueFrom(expList); | ||
| 405 | if (value && value->item.is<SimpleValue_t>()) { | ||
| 406 | return static_cast<SimpleValue_t*>(value->item.get()); | ||
| 407 | } | ||
| 408 | return nullptr; | ||
| 409 | } | ||
| 410 | |||
| 411 | Value_t* firstValueFrom(ast_node* expList) { | ||
| 412 | Value_t* firstValue = nullptr; | ||
| 413 | expList->traverse([&](ast_node* n) { | ||
| 414 | if (n->getId() == "Value"_id) { | ||
| 415 | firstValue = static_cast<Value_t*>(n); | ||
| 416 | return traversal::Stop; | ||
| 417 | } | ||
| 418 | return traversal::Continue; | ||
| 419 | }); | ||
| 420 | return firstValue; | ||
| 421 | } | ||
| 422 | |||
| 423 | Statement_t* lastStatementFrom(Body_t* body) { | ||
| 424 | if (auto stmt = body->content.as<Statement_t>()) { | ||
| 425 | return stmt; | ||
| 426 | } else { | ||
| 427 | auto node = body->content.to<Block_t>()->statements.objects().back(); | ||
| 428 | return static_cast<Statement_t*>(node); | ||
| 429 | } | ||
| 430 | } | ||
| 431 | |||
| 432 | Statement_t* lastStatementFrom(Block_t* block) { | ||
| 433 | auto node = block->statements.objects().back(); | ||
| 434 | return static_cast<Statement_t*>(node); | ||
| 435 | } | ||
| 436 | |||
| 437 | template <class T> | ||
| 438 | ast_ptr<T, false, false> toAst(std::string_view codes, rule& r) { | ||
| 439 | _codeCache.push_back(_converter.from_bytes(s(codes))); | ||
| 440 | error_list el; | ||
| 441 | State st; | ||
| 442 | return parse<T>(_codeCache.back(), r, el, &st); | ||
| 443 | } | ||
| 444 | |||
| 445 | bool matchAst(rule& r, std::string_view codes) { | ||
| 446 | error_list el; | ||
| 447 | State st; | ||
| 448 | input i = _converter.from_bytes(s(codes)); | ||
| 449 | auto rEnd = rule(r >> eof()); | ||
| 450 | return _parse(i, rEnd, el, &st); | ||
| 451 | } | ||
| 452 | |||
| 453 | bool isChainValueCall(ChainValue_t* chainValue) { | ||
| 454 | return ast_is<InvokeArgs_t, Invoke_t>(chainValue->items.back()); | ||
| 455 | } | ||
| 456 | |||
| 457 | std::string variableFrom(ast_node* expList) { | ||
| 458 | if (!ast_is<Exp_t, ExpList_t>(expList)) return Empty; | ||
| 459 | if (auto value = singleValueFrom(expList)) { | ||
| 460 | if (auto chainValue = value->getByPath<ChainValue_t>()) { | ||
| 461 | if (chainValue->items.size() == 1) { | ||
| 462 | if (auto callable = ast_cast<Callable_t>(chainValue->items.front())) { | ||
| 463 | return toString(callable->item); | ||
| 464 | } | ||
| 465 | } | ||
| 466 | } | ||
| 467 | } | ||
| 468 | return Empty; | ||
| 469 | } | ||
| 470 | |||
| 471 | bool isColonChain(ChainValue_t* chainValue) { | ||
| 472 | return ast_is<ColonChainItem_t>(chainValue->items.back()); | ||
| 473 | } | ||
| 474 | |||
| 475 | void transformStatement(Statement_t* statement, str_list& out) { | ||
| 476 | if (statement->appendix) { | ||
| 477 | if (auto assignment = statement->content.as<Assignment_t>()) { | ||
| 478 | auto preDefine = getPredefine(transformAssignDefs(assignment->assignable)); | ||
| 479 | if (!preDefine.empty()) out.push_back(preDefine + nll(statement)); | ||
| 480 | } | ||
| 481 | auto appendix = statement->appendix.get(); | ||
| 482 | switch (appendix->item->getId()) { | ||
| 483 | case "if_else_line"_id: { | ||
| 484 | auto if_else_line = appendix->item.to<if_else_line_t>(); | ||
| 485 | auto ifNode = new_ptr<If_t>(); | ||
| 486 | |||
| 487 | auto ifCond = new_ptr<IfCond_t>(); | ||
| 488 | ifCond->condition.set(if_else_line->condition); | ||
| 489 | ifNode->nodes.push_back(ifCond); | ||
| 490 | |||
| 491 | auto stmt = new_ptr<Statement_t>(); | ||
| 492 | stmt->content.set(statement->content); | ||
| 493 | auto body = new_ptr<Body_t>(); | ||
| 494 | body->content.set(stmt); | ||
| 495 | ifNode->nodes.push_back(body); | ||
| 496 | |||
| 497 | if (!ast_is<default_value_t>(if_else_line->elseExpr)) { | ||
| 498 | auto exprList = new_ptr<ExpList_t>(); | ||
| 499 | exprList->exprs.push_back(if_else_line->elseExpr); | ||
| 500 | auto stmt = new_ptr<Statement_t>(); | ||
| 501 | stmt->content.set(exprList); | ||
| 502 | auto body = new_ptr<Body_t>(); | ||
| 503 | body->content.set(stmt); | ||
| 504 | ifNode->nodes.push_back(body); | ||
| 505 | } | ||
| 506 | |||
| 507 | statement->appendix.set(nullptr); | ||
| 508 | auto simpleValue = new_ptr<SimpleValue_t>(); | ||
| 509 | simpleValue->value.set(ifNode); | ||
| 510 | auto value = new_ptr<Value_t>(); | ||
| 511 | value->item.set(simpleValue); | ||
| 512 | auto exp = new_ptr<Exp_t>(); | ||
| 513 | exp->value.set(value); | ||
| 514 | auto exprList = new_ptr<ExpList_t>(); | ||
| 515 | exprList->exprs.push_back(exp); | ||
| 516 | statement->content.set(exprList); | ||
| 517 | break; | ||
| 518 | } | ||
| 519 | case "unless_line"_id: { | ||
| 520 | auto unless_line = appendix->item.to<unless_line_t>(); | ||
| 521 | auto unless = new_ptr<Unless_t>(); | ||
| 522 | |||
| 523 | auto ifCond = new_ptr<IfCond_t>(); | ||
| 524 | ifCond->condition.set(unless_line->condition); | ||
| 525 | unless->nodes.push_back(ifCond); | ||
| 526 | |||
| 527 | auto stmt = new_ptr<Statement_t>(); | ||
| 528 | stmt->content.set(statement->content); | ||
| 529 | auto body = new_ptr<Body_t>(); | ||
| 530 | body->content.set(stmt); | ||
| 531 | unless->nodes.push_back(body); | ||
| 532 | |||
| 533 | statement->appendix.set(nullptr); | ||
| 534 | auto simpleValue = new_ptr<SimpleValue_t>(); | ||
| 535 | simpleValue->value.set(unless); | ||
| 536 | auto value = new_ptr<Value_t>(); | ||
| 537 | value->item.set(simpleValue); | ||
| 538 | auto exp = new_ptr<Exp_t>(); | ||
| 539 | exp->value.set(value); | ||
| 540 | auto exprList = new_ptr<ExpList_t>(); | ||
| 541 | exprList->exprs.push_back(exp); | ||
| 542 | statement->content.set(exprList); | ||
| 543 | break; | ||
| 544 | } | ||
| 545 | case "CompInner"_id: { | ||
| 546 | auto compInner = appendix->item.to<CompInner_t>(); | ||
| 547 | auto comp = new_ptr<Comprehension_t>(); | ||
| 548 | comp->forLoop.set(compInner); | ||
| 549 | auto stmt = new_ptr<Statement_t>(); | ||
| 550 | stmt->content.set(statement->content); | ||
| 551 | comp->value.set(stmt); | ||
| 552 | auto simpleValue = new_ptr<SimpleValue_t>(); | ||
| 553 | simpleValue->value.set(comp); | ||
| 554 | auto value = new_ptr<Value_t>(); | ||
| 555 | value->item.set(simpleValue); | ||
| 556 | auto exp = new_ptr<Exp_t>(); | ||
| 557 | exp->value.set(value); | ||
| 558 | auto expList = new_ptr<ExpList_t>(); | ||
| 559 | expList->exprs.push_back(exp); | ||
| 560 | statement->content.set(expList); | ||
| 561 | statement->appendix.set(nullptr); | ||
| 562 | break; | ||
| 563 | } | ||
| 564 | default: break; | ||
| 565 | } | ||
| 566 | } | ||
| 567 | auto content = statement->content.get(); | ||
| 568 | if (!content) { | ||
| 569 | out.push_back(Empty); | ||
| 570 | return; | ||
| 571 | } | ||
| 572 | switch (content->getId()) { | ||
| 573 | case "Import"_id: transformImport(static_cast<Import_t*>(content), out); break; | ||
| 574 | case "While"_id: transformWhile(static_cast<While_t*>(content), out); break; | ||
| 575 | case "For"_id: transformFor(static_cast<For_t*>(content), out); break; | ||
| 576 | case "ForEach"_id: transformForEach(static_cast<ForEach_t*>(content), out); break; | ||
| 577 | case "Return"_id: transformReturn(static_cast<Return_t*>(content), out); break; | ||
| 578 | case "Local"_id: transformLocal(static_cast<Local_t*>(content), out); break; | ||
| 579 | case "Export"_id: transformExport(static_cast<Export_t*>(content), out); break; | ||
| 580 | case "BreakLoop"_id: transformBreakLoop(static_cast<BreakLoop_t*>(content), out); break; | ||
| 581 | case "Assignment"_id: transformAssignment(static_cast<Assignment_t*>(content), out); break; | ||
| 582 | case "ExpList"_id: { | ||
| 583 | auto expList = static_cast<ExpList_t*>(content); | ||
| 584 | if (expList->exprs.objects().empty()) { | ||
| 585 | out.push_back(Empty); | ||
| 586 | break; | ||
| 587 | } | ||
| 588 | if (auto singleValue = singleValueFrom(expList)) { | ||
| 589 | if (auto simpleValue = singleValue->item.as<SimpleValue_t>()) { | ||
| 590 | auto value = simpleValue->value.get(); | ||
| 591 | bool specialSingleValue = true; | ||
| 592 | switch (value->getId()) { | ||
| 593 | case "If"_id: transformIf(static_cast<If_t*>(value), out); break; | ||
| 594 | case "ClassDecl"_id: transformClassDecl(static_cast<ClassDecl_t*>(value), out); break; | ||
| 595 | case "Unless"_id: transformUnless(static_cast<Unless_t*>(value), out); break; | ||
| 596 | case "Switch"_id: transformSwitch(static_cast<Switch_t*>(value), out); break; | ||
| 597 | case "With"_id: transformWith(static_cast<With_t*>(value), out); break; | ||
| 598 | case "ForEach"_id: transformForEach(static_cast<ForEach_t*>(value), out); break; | ||
| 599 | case "For"_id: transformFor(static_cast<For_t*>(value), out); break; | ||
| 600 | case "While"_id: transformWhile(static_cast<While_t*>(value), out); break; | ||
| 601 | case "Do"_id: transformDo(static_cast<Do_t*>(value), out); break; | ||
| 602 | case "Comprehension"_id: transformCompCommon(static_cast<Comprehension_t*>(value), out); break; | ||
| 603 | default: specialSingleValue = false; break; | ||
| 604 | } | ||
| 605 | if (specialSingleValue) { | ||
| 606 | break; | ||
| 607 | } | ||
| 608 | } | ||
| 609 | if (auto chainValue = singleValue->item.as<ChainValue_t>()) { | ||
| 610 | if (isChainValueCall(chainValue)) { | ||
| 611 | transformValue(singleValue, out); | ||
| 612 | out.back() = indent() + out.back() + nlr(singleValue); | ||
| 613 | break; | ||
| 614 | } | ||
| 615 | } | ||
| 616 | } | ||
| 617 | auto assign = new_ptr<Assign_t>(); | ||
| 618 | assign->values.dup(expList->exprs); | ||
| 619 | auto assignment = new_ptr<Assignment_t>(); | ||
| 620 | assignment->assignable.set(toAst<ExpList_t>("_", ExpList)); | ||
| 621 | assignment->target.set(assign); | ||
| 622 | transformAssignment(assignment, out); | ||
| 623 | break; | ||
| 624 | } | ||
| 625 | default: break; | ||
| 626 | } | ||
| 627 | } | ||
| 628 | |||
| 629 | str_list getAssignVars(Assignment_t* assignment) { | ||
| 630 | str_list vars; | ||
| 631 | if (!assignment->target.is<Assign_t>()) return vars; | ||
| 632 | for (auto exp : assignment->assignable->exprs.objects()) { | ||
| 633 | auto var = variableFrom(exp); | ||
| 634 | vars.push_back(var.empty() ? Empty : var); | ||
| 635 | } | ||
| 636 | return vars; | ||
| 637 | } | ||
| 638 | |||
| 639 | str_list getAssignVars(With_t* with) { | ||
| 640 | str_list vars; | ||
| 641 | for (auto exp : with->valueList->exprs.objects()) { | ||
| 642 | auto var = variableFrom(exp); | ||
| 643 | vars.push_back(var.empty() ? Empty : var); | ||
| 644 | } | ||
| 645 | return vars; | ||
| 646 | } | ||
| 647 | |||
| 648 | str_list transformAssignDefs(ExpList_t* expList) { | ||
| 649 | str_list preDefs; | ||
| 650 | for (auto exp_ : expList->exprs.objects()) { | ||
| 651 | auto exp = static_cast<Exp_t*>(exp_); | ||
| 652 | if (auto value = singleValueFrom(exp)) { | ||
| 653 | if (auto chain = value->item.as<ChainValue_t>()) { | ||
| 654 | do { | ||
| 655 | if (chain->items.size() != 1) break; | ||
| 656 | auto callable = ast_cast<Callable_t>(chain->items.front()); | ||
| 657 | if (!callable) break; | ||
| 658 | auto name = toString(callable->item); | ||
| 659 | if (addToScope(name)) { | ||
| 660 | preDefs.push_back(name); | ||
| 661 | } | ||
| 662 | } while (false); | ||
| 663 | } | ||
| 664 | } else { | ||
| 665 | throw std::logic_error("left hand expression is not assignable"); | ||
| 666 | } | ||
| 667 | } | ||
| 668 | return preDefs; | ||
| 669 | } | ||
| 670 | |||
| 671 | std::string getPredefine(const str_list& defs) { | ||
| 672 | if (defs.empty()) return Empty; | ||
| 673 | return indent() + s("local "sv) + join(defs, ", "sv); | ||
| 674 | } | ||
| 675 | |||
| 676 | std::string getDestrucureDefine(Assignment_t* assignment) { | ||
| 677 | auto info = extractDestructureInfo(assignment); | ||
| 678 | if (!info.first.empty()) { | ||
| 679 | for (const auto& destruct : info.first) { | ||
| 680 | str_list defs; | ||
| 681 | for (const auto& item : destruct.items) { | ||
| 682 | if (item.isVariable && addToScope(item.name)) { | ||
| 683 | defs.push_back(item.name); | ||
| 684 | } | ||
| 685 | } | ||
| 686 | if (!defs.empty()) _buf << indent() << "local "sv << join(defs,", "sv); | ||
| 687 | } | ||
| 688 | } | ||
| 689 | return clearBuf(); | ||
| 690 | } | ||
| 691 | |||
| 692 | std::string getPredefine(Assignment_t* assignment) { | ||
| 693 | auto preDefine = getDestrucureDefine(assignment); | ||
| 694 | if (preDefine.empty()) { | ||
| 695 | preDefine = getPredefine(transformAssignDefs(assignment->assignable)); | ||
| 696 | } | ||
| 697 | return preDefine.empty() ? preDefine : preDefine + nll(assignment); | ||
| 698 | } | ||
| 699 | |||
| 700 | void assignLastExplist(ExpList_t* expList, Body_t* body) { | ||
| 701 | auto last = lastStatementFrom(body); | ||
| 702 | bool lastAssignable = last && ast_is<ExpList_t, For_t, ForEach_t, While_t>(last->content); | ||
| 703 | if (lastAssignable) { | ||
| 704 | auto newAssignment = new_ptr<Assignment_t>(); | ||
| 705 | newAssignment->assignable.set(expList); | ||
| 706 | auto assign = new_ptr<Assign_t>(); | ||
| 707 | if (auto valueList = last->content.as<ExpList_t>()) { | ||
| 708 | assign->values.dup(valueList->exprs); | ||
| 709 | } else { | ||
| 710 | auto simpleValue = new_ptr<SimpleValue_t>(); | ||
| 711 | simpleValue->value.set(last->content); | ||
| 712 | auto value = new_ptr<Value_t>(); | ||
| 713 | value->item.set(simpleValue); | ||
| 714 | auto exp = new_ptr<Exp_t>(); | ||
| 715 | exp->value.set(value); | ||
| 716 | assign->values.push_back(exp); | ||
| 717 | } | ||
| 718 | newAssignment->target.set(assign); | ||
| 719 | last->content.set(newAssignment); | ||
| 720 | } | ||
| 721 | } | ||
| 722 | |||
| 723 | void transformAssignment(Assignment_t* assignment, str_list& out) { | ||
| 724 | auto assign = ast_cast<Assign_t>(assignment->target); | ||
| 725 | do { | ||
| 726 | if (!assign || assign->values.objects().size() != 1) break; | ||
| 727 | auto value = assign->values.objects().front(); | ||
| 728 | ast_node* item = nullptr; | ||
| 729 | if (ast_is<If_t>(value)) { | ||
| 730 | item = value; | ||
| 731 | } else if (auto val = simpleSingleValueFrom(value)) { | ||
| 732 | if (ast_is<If_t, Unless_t>(val->value)) { | ||
| 733 | item = val->value; | ||
| 734 | } | ||
| 735 | } | ||
| 736 | if (item) { | ||
| 737 | auto expList = assignment->assignable.get(); | ||
| 738 | str_list temp; | ||
| 739 | auto defs = transformAssignDefs(expList); | ||
| 740 | if (!defs.empty()) temp.push_back(getPredefine(defs) + nll(expList)); | ||
| 741 | item->traverse([&](ast_node* node) { | ||
| 742 | switch (node->getId()) { | ||
| 743 | case "IfCond"_id: return traversal::Return; | ||
| 744 | case "Body"_id: { | ||
| 745 | auto body = static_cast<Body_t*>(node); | ||
| 746 | assignLastExplist(expList, body); | ||
| 747 | return traversal::Return; | ||
| 748 | } | ||
| 749 | default: return traversal::Continue; | ||
| 750 | } | ||
| 751 | }); | ||
| 752 | switch (item->getId()) { | ||
| 753 | case "If"_id: transformIf(static_cast<If_t*>(item), temp); break; | ||
| 754 | case "Unless"_id: transformUnless(static_cast<Unless_t*>(item), temp); break; | ||
| 755 | } | ||
| 756 | out.push_back(join(temp)); | ||
| 757 | return; | ||
| 758 | } | ||
| 759 | if (auto switchNode = ast_cast<Switch_t>(value)) { | ||
| 760 | auto expList = assignment->assignable.get(); | ||
| 761 | for (auto branch_ : switchNode->branches.objects()) { | ||
| 762 | auto branch = static_cast<SwitchCase_t*>(branch_); | ||
| 763 | assignLastExplist(expList, branch->body); | ||
| 764 | } | ||
| 765 | if (switchNode->lastBranch) { | ||
| 766 | assignLastExplist(expList, switchNode->lastBranch); | ||
| 767 | } | ||
| 768 | std::string preDefine = getPredefine(assignment); | ||
| 769 | transformSwitch(switchNode, out); | ||
| 770 | out.back() = preDefine + out.back(); | ||
| 771 | return; | ||
| 772 | } | ||
| 773 | if (auto withNode = ast_cast<With_t>(value)) { | ||
| 774 | str_list temp; | ||
| 775 | auto expList = assignment->assignable.get(); | ||
| 776 | std::string preDefine = getPredefine(assignment); | ||
| 777 | transformWith(withNode, temp, expList); | ||
| 778 | out.push_back(preDefine + temp.back()); | ||
| 779 | return; | ||
| 780 | } | ||
| 781 | auto exp = ast_cast<Exp_t>(value); | ||
| 782 | if (!exp) break; | ||
| 783 | if (auto simpleVal = exp->value->item.as<SimpleValue_t>()) { | ||
| 784 | auto valueItem = simpleVal->value.get(); | ||
| 785 | switch (valueItem->getId()) { | ||
| 786 | case "Do"_id: { | ||
| 787 | auto doNode = static_cast<Do_t*>(valueItem); | ||
| 788 | auto expList = assignment->assignable.get(); | ||
| 789 | assignLastExplist(expList, doNode->body); | ||
| 790 | std::string preDefine = getPredefine(assignment); | ||
| 791 | transformDo(doNode, out); | ||
| 792 | out.back() = preDefine + out.back(); | ||
| 793 | return; | ||
| 794 | } | ||
| 795 | case "Comprehension"_id: { | ||
| 796 | auto expList = assignment->assignable.get(); | ||
| 797 | std::string preDefine = getPredefine(assignment); | ||
| 798 | transformCompInPlace(static_cast<Comprehension_t*>(valueItem), expList, out); | ||
| 799 | out.back() = preDefine + out.back(); | ||
| 800 | return; | ||
| 801 | } | ||
| 802 | case "TblComprehension"_id: { | ||
| 803 | auto expList = assignment->assignable.get(); | ||
| 804 | std::string preDefine = getPredefine(assignment); | ||
| 805 | transformTblCompInPlace(static_cast<TblComprehension_t*>(valueItem), expList, out); | ||
| 806 | out.back() = preDefine + out.back(); | ||
| 807 | return; | ||
| 808 | } | ||
| 809 | case "For"_id: { | ||
| 810 | str_list temp; | ||
| 811 | auto expList = assignment->assignable.get(); | ||
| 812 | std::string preDefine = getPredefine(assignment); | ||
| 813 | transformForInPlace(static_cast<For_t*>(valueItem), temp, expList); | ||
| 814 | out.push_back(preDefine + temp.back()); | ||
| 815 | return; | ||
| 816 | } | ||
| 817 | case "ForEach"_id: { | ||
| 818 | str_list temp; | ||
| 819 | auto expList = assignment->assignable.get(); | ||
| 820 | std::string preDefine = getPredefine(assignment); | ||
| 821 | transformForEachInPlace(static_cast<ForEach_t*>(valueItem), temp, expList); | ||
| 822 | out.push_back(preDefine + temp.back()); | ||
| 823 | return; | ||
| 824 | } | ||
| 825 | case "ClassDecl"_id: { | ||
| 826 | str_list temp; | ||
| 827 | auto expList = assignment->assignable.get(); | ||
| 828 | std::string preDefine = getPredefine(assignment); | ||
| 829 | transformClassDecl(static_cast<ClassDecl_t*>(valueItem), temp, ExpUsage::Assignment, expList); | ||
| 830 | out.push_back(preDefine + temp.back()); | ||
| 831 | return; | ||
| 832 | } | ||
| 833 | case "While"_id: { | ||
| 834 | str_list temp; | ||
| 835 | auto expList = assignment->assignable.get(); | ||
| 836 | std::string preDefine = getPredefine(assignment); | ||
| 837 | transformWhileClosure(static_cast<While_t*>(valueItem), temp, expList); | ||
| 838 | out.push_back(preDefine + temp.back()); | ||
| 839 | return; | ||
| 840 | } | ||
| 841 | } | ||
| 842 | } | ||
| 843 | if (auto chainValue = exp->value->item.as<ChainValue_t>()) { | ||
| 844 | if (isColonChain(chainValue)) { | ||
| 845 | auto assignable = assignment->assignable.get(); | ||
| 846 | std::string preDefine = getPredefine(transformAssignDefs(assignable)); | ||
| 847 | transformColonChain(chainValue, out, ExpUsage::Assignment, assignable); | ||
| 848 | auto nl = preDefine.empty() ? Empty : nll(chainValue); | ||
| 849 | if (!preDefine.empty()) out.back() = preDefine + nl + out.back(); | ||
| 850 | return; | ||
| 851 | } | ||
| 852 | } | ||
| 853 | } while (false); | ||
| 854 | auto info = extractDestructureInfo(assignment); | ||
| 855 | if (info.first.empty()) { | ||
| 856 | transformAssignmentCommon(assignment, out); | ||
| 857 | } else { | ||
| 858 | str_list temp; | ||
| 859 | for (const auto& destruct : info.first) { | ||
| 860 | if (destruct.items.size() == 1) { | ||
| 861 | auto& pair = destruct.items.front(); | ||
| 862 | _buf << indent(); | ||
| 863 | if (pair.isVariable && addToScope(pair.name)) { | ||
| 864 | _buf << s("local "sv); | ||
| 865 | } | ||
| 866 | _buf << pair.name << " = "sv << info.first.front().value << pair.structure << nll(assignment); | ||
| 867 | temp.push_back(clearBuf()); | ||
| 868 | } else if (matchAst(Name, destruct.value)) { | ||
| 869 | str_list defs, names, values; | ||
| 870 | for (const auto& item : destruct.items) { | ||
| 871 | if (item.isVariable && addToScope(item.name)) { | ||
| 872 | defs.push_back(item.name); | ||
| 873 | } | ||
| 874 | names.push_back(item.name); | ||
| 875 | values.push_back(item.structure); | ||
| 876 | } | ||
| 877 | for (auto& v : values) v.insert(0, destruct.value); | ||
| 878 | if (defs.empty()) { | ||
| 879 | _buf << indent() << join(names, ", "sv) << " = "sv << join(values, ", "sv) << nll(assignment); | ||
| 880 | } else { | ||
| 881 | _buf << indent() << "local "sv; | ||
| 882 | if (defs.size() != names.size()) { | ||
| 883 | _buf << join(defs,", "sv) << nll(assignment) << indent(); | ||
| 884 | } | ||
| 885 | _buf << join(names, ", "sv) << " = "sv << join(values, ", "sv) << nll(assignment); | ||
| 886 | } | ||
| 887 | temp.push_back(clearBuf()); | ||
| 888 | } else { | ||
| 889 | str_list defs, names, values; | ||
| 890 | for (const auto& item : destruct.items) { | ||
| 891 | if (item.isVariable && addToScope(item.name)) { | ||
| 892 | defs.push_back(item.name); | ||
| 893 | } | ||
| 894 | names.push_back(item.name); | ||
| 895 | values.push_back(item.structure); | ||
| 896 | } | ||
| 897 | if (!defs.empty()) _buf << indent() << "local "sv << join(defs,", "sv) << nll(assignment); | ||
| 898 | _buf << indent() << "do"sv << nll(assignment); | ||
| 899 | pushScope(); | ||
| 900 | auto objVar = getUnusedName("_obj_"); | ||
| 901 | for (auto& v : values) v.insert(0, objVar); | ||
| 902 | _buf << indent() << "local "sv << objVar << " = "sv << destruct.value << nll(assignment); | ||
| 903 | _buf << indent() << join(names, ", "sv) << " = "sv << join(values, ", "sv) << nll(assignment); | ||
| 904 | popScope(); | ||
| 905 | _buf << indent() << "end"sv << nll(assignment); | ||
| 906 | temp.push_back(clearBuf()); | ||
| 907 | } | ||
| 908 | } | ||
| 909 | if (info.second) { | ||
| 910 | transformAssignmentCommon(info.second, temp); | ||
| 911 | } | ||
| 912 | out.push_back(join(temp)); | ||
| 913 | } | ||
| 914 | } | ||
| 915 | |||
| 916 | void transformAssignItem(ast_node* value, str_list& out) { | ||
| 917 | switch (value->getId()) { | ||
| 918 | case "With"_id: transformWithClosure(static_cast<With_t*>(value), out); break; | ||
| 919 | case "If"_id: transformIf(static_cast<If_t*>(value), out, IfUsage::Closure); break; | ||
| 920 | case "Switch"_id: transformSwitchClosure(static_cast<Switch_t*>(value), out); break; | ||
| 921 | case "TableBlock"_id: transformTableBlock(static_cast<TableBlock_t*>(value), out); break; | ||
| 922 | case "Exp"_id: transformExp(static_cast<Exp_t*>(value), out); break; | ||
| 923 | default: break; | ||
| 924 | } | ||
| 925 | } | ||
| 926 | |||
| 927 | std::list<DestructItem> destructFromExp(ast_node* node) { | ||
| 928 | const std::list<ast_node*>* tableItems = nullptr; | ||
| 929 | if (ast_cast<Exp_t>(node)) { | ||
| 930 | auto item = singleValueFrom(node)->item.get(); | ||
| 931 | if (!item) throw std::logic_error("Invalid destructure value"); | ||
| 932 | auto tbA = item->getByPath<TableLit_t>(); | ||
| 933 | if (tbA) { | ||
| 934 | tableItems = &tbA->values.objects(); | ||
| 935 | } else { | ||
| 936 | auto tbB = ast_cast<simple_table_t>(item); | ||
| 937 | if (tbB) tableItems = &tbB->pairs.objects(); | ||
| 938 | } | ||
| 939 | } else if (auto table = ast_cast<TableBlock_t>(node)) { | ||
| 940 | tableItems = &table->values.objects(); | ||
| 941 | } | ||
| 942 | std::list<DestructItem> pairs; | ||
| 943 | int index = 0; | ||
| 944 | for (auto pair : *tableItems) { | ||
| 945 | switch (pair->getId()) { | ||
| 946 | case "Exp"_id: { | ||
| 947 | ++index; | ||
| 948 | auto item = singleValueFrom(pair)->item.get(); | ||
| 949 | if (!item) throw std::logic_error("Invalid destructure value"); | ||
| 950 | if (item->getId() == "Parens"_id) throw std::logic_error("Can't destructure value of type: parens"); | ||
| 951 | if (ast_cast<simple_table_t>(item) || | ||
| 952 | item->getByPath<TableLit_t>()) { | ||
| 953 | auto subPairs = destructFromExp(pair); | ||
| 954 | for (auto& p : subPairs) { | ||
| 955 | pairs.push_back({p.isVariable, p.name, | ||
| 956 | s("["sv) + std::to_string(index) + s("]"sv) + p.structure}); | ||
| 957 | } | ||
| 958 | } else { | ||
| 959 | str_list temp; | ||
| 960 | transformExp(static_cast<Exp_t*>(pair), temp); | ||
| 961 | pairs.push_back({ | ||
| 962 | item->getByPath<Callable_t, Variable_t>() != nullptr, | ||
| 963 | temp.back(), | ||
| 964 | s("["sv) + std::to_string(index) + s("]"sv) | ||
| 965 | }); | ||
| 966 | } | ||
| 967 | break; | ||
| 968 | } | ||
| 969 | case "variable_pair"_id: { | ||
| 970 | auto vp = static_cast<variable_pair_t*>(pair); | ||
| 971 | auto name = toString(vp->name); | ||
| 972 | pairs.push_back({true, name, s("."sv) + name}); | ||
| 973 | break; | ||
| 974 | } | ||
| 975 | case "normal_pair"_id: { | ||
| 976 | auto np = static_cast<normal_pair_t*>(pair); | ||
| 977 | auto key = np->key->getByPath<Name_t>(); | ||
| 978 | if (!key) throw std::logic_error("Invalid key for destructure"); | ||
| 979 | if (auto exp = np->value.as<Exp_t>()) { | ||
| 980 | auto item = singleValueFrom(exp)->item.get(); | ||
| 981 | if (!item) throw std::logic_error("Invalid destructure value"); | ||
| 982 | if (ast_cast<simple_table_t>(item) || | ||
| 983 | item->getByPath<TableLit_t>()) { | ||
| 984 | auto subPairs = destructFromExp(exp); | ||
| 985 | for (auto& p : subPairs) { | ||
| 986 | pairs.push_back({p.isVariable, p.name, | ||
| 987 | s("."sv) + toString(key) + p.structure}); | ||
| 988 | } | ||
| 989 | } else { | ||
| 990 | str_list temp; | ||
| 991 | transformExp(exp, temp); | ||
| 992 | pairs.push_back({ | ||
| 993 | item->getByPath<Callable_t, Variable_t>() != nullptr, | ||
| 994 | temp.back(), s("."sv) + toString(key) | ||
| 995 | }); | ||
| 996 | } | ||
| 997 | break; | ||
| 998 | } | ||
| 999 | if (np->value.as<TableBlock_t>()) { | ||
| 1000 | auto subPairs = destructFromExp(pair); | ||
| 1001 | for (auto& p : subPairs) { | ||
| 1002 | pairs.push_back({p.isVariable, p.name, | ||
| 1003 | s("."sv) + toString(key) + p.structure}); | ||
| 1004 | } | ||
| 1005 | } | ||
| 1006 | break; | ||
| 1007 | } | ||
| 1008 | } | ||
| 1009 | } | ||
| 1010 | return pairs; | ||
| 1011 | } | ||
| 1012 | |||
| 1013 | std::pair<std::list<Destructure>, ast_ptr<Assignment_t, false, false>> | ||
| 1014 | extractDestructureInfo(Assignment_t* assignment) { | ||
| 1015 | std::list<Destructure> destructs; | ||
| 1016 | if (!assignment->target.is<Assign_t>()) return { destructs, nullptr }; | ||
| 1017 | auto exprs = assignment->assignable->exprs.objects(); | ||
| 1018 | auto values = assignment->target.to<Assign_t>()->values.objects(); | ||
| 1019 | size_t size = std::max(exprs.size(),values.size()); | ||
| 1020 | ast_ptr<Exp_t, false, false> var; | ||
| 1021 | if (exprs.size() < size) { | ||
| 1022 | var = toAst<Exp_t>("_"sv, Exp); | ||
| 1023 | while (exprs.size() < size) exprs.emplace_back(var); | ||
| 1024 | } | ||
| 1025 | ast_ptr<Exp_t, false, false> nullNode; | ||
| 1026 | if (values.size() < size) { | ||
| 1027 | nullNode = toAst<Exp_t>("nil"sv, Exp); | ||
| 1028 | while (values.size() < size) values.emplace_back(nullNode); | ||
| 1029 | } | ||
| 1030 | using iter = std::list<ast_node*>::iterator; | ||
| 1031 | std::vector<std::pair<iter, iter>> destructPairs; | ||
| 1032 | str_list temp; | ||
| 1033 | for (auto i = exprs.begin(), j = values.begin(); i != exprs.end(); ++i, ++j) { | ||
| 1034 | auto expr = *i; | ||
| 1035 | ast_node* destructNode = expr->getByPath<Value_t, SimpleValue_t, TableLit_t>(); | ||
| 1036 | if (destructNode || (destructNode = expr->getByPath<Value_t, simple_table_t>())) { | ||
| 1037 | destructPairs.push_back({i,j}); | ||
| 1038 | pushScope(); | ||
| 1039 | transformAssignItem(*j, temp); | ||
| 1040 | popScope(); | ||
| 1041 | auto& destruct = destructs.emplace_back(); | ||
| 1042 | destruct.value = temp.back(); | ||
| 1043 | temp.pop_back(); | ||
| 1044 | auto pairs = destructFromExp(expr); | ||
| 1045 | destruct.items = std::move(pairs); | ||
| 1046 | } | ||
| 1047 | } | ||
| 1048 | for (const auto& p : destructPairs) { | ||
| 1049 | exprs.erase(p.first); | ||
| 1050 | values.erase(p.second); | ||
| 1051 | } | ||
| 1052 | ast_ptr<Assignment_t, false, false> newAssignment; | ||
| 1053 | if (!destructPairs.empty() && !exprs.empty()) { | ||
| 1054 | auto expList = new_ptr<ExpList_t>(); | ||
| 1055 | auto newAssign = new_ptr<Assignment_t>(); | ||
| 1056 | newAssign->assignable.set(expList); | ||
| 1057 | for (auto expr : exprs) expList->exprs.push_back(expr); | ||
| 1058 | auto assign = new_ptr<Assign_t>(); | ||
| 1059 | for (auto value : values) assign->values.push_back(value); | ||
| 1060 | newAssign->target.set(assign); | ||
| 1061 | newAssignment = newAssign; | ||
| 1062 | } | ||
| 1063 | return {std::move(destructs), newAssignment}; | ||
| 1064 | } | ||
| 1065 | |||
| 1066 | void transformAssignmentCommon(Assignment_t* assignment, str_list& out) { | ||
| 1067 | str_list temp; | ||
| 1068 | auto expList = assignment->assignable.get(); | ||
| 1069 | auto action = assignment->target.get(); | ||
| 1070 | switch (action->getId()) { | ||
| 1071 | case "Update"_id: { | ||
| 1072 | auto update = static_cast<Update_t*>(action); | ||
| 1073 | auto leftExp = static_cast<Exp_t*>(expList->exprs.objects().front()); | ||
| 1074 | auto leftValue = singleValueFrom(leftExp); | ||
| 1075 | if (!leftValue) throw std::logic_error("left hand expression is not assignable"); | ||
| 1076 | if (auto chain = leftValue->getByPath<ChainValue_t>()) { | ||
| 1077 | auto tmpChain = new_ptr<ChainValue_t>(); | ||
| 1078 | for (auto item : chain->items.objects()) { | ||
| 1079 | bool itemAdded = false; | ||
| 1080 | do { | ||
| 1081 | auto exp = ast_cast<Exp_t>(item); | ||
| 1082 | if (!exp) break; | ||
| 1083 | auto var = variableFrom(exp); | ||
| 1084 | if (!var.empty()) break; | ||
| 1085 | auto upVar = getUnusedName("_update_"); | ||
| 1086 | auto assignment = new_ptr<Assignment_t>(); | ||
| 1087 | assignment->assignable.set(toAst<ExpList_t>(upVar, ExpList)); | ||
| 1088 | auto assign = new_ptr<Assign_t>(); | ||
| 1089 | assign->values.push_back(exp); | ||
| 1090 | assignment->target.set(assign); | ||
| 1091 | transformAssignment(assignment, temp); | ||
| 1092 | tmpChain->items.push_back(toAst<Exp_t>(upVar, Exp)); | ||
| 1093 | itemAdded = true; | ||
| 1094 | } while (false); | ||
| 1095 | if (!itemAdded) tmpChain->items.push_back(item); | ||
| 1096 | } | ||
| 1097 | chain->items.clear(); | ||
| 1098 | chain->items.dup(tmpChain->items); | ||
| 1099 | } | ||
| 1100 | transformValue(leftValue, temp); | ||
| 1101 | auto left = std::move(temp.back()); | ||
| 1102 | temp.pop_back(); | ||
| 1103 | transformExp(update->value, temp); | ||
| 1104 | auto right = std::move(temp.back()); | ||
| 1105 | temp.pop_back(); | ||
| 1106 | if (!singleValueFrom(update->value)) { | ||
| 1107 | right = s("("sv) + right + s(")"sv); | ||
| 1108 | } | ||
| 1109 | _buf << join(temp) << indent() << left << " = "sv << left << | ||
| 1110 | " "sv << toString(update->op) << " "sv << right << nll(assignment); | ||
| 1111 | out.push_back(clearBuf()); | ||
| 1112 | break; | ||
| 1113 | } | ||
| 1114 | case "Assign"_id: { | ||
| 1115 | auto defs = transformAssignDefs(expList); | ||
| 1116 | std::string preDefine = getPredefine(defs); | ||
| 1117 | bool oneLined = defs.size() == expList->exprs.objects().size() && | ||
| 1118 | traversal::Stop != action->traverse([&](ast_node* n) { | ||
| 1119 | if (n->getId() == "Callable"_id) { | ||
| 1120 | if (auto name = n->getByPath<Variable_t>()) { | ||
| 1121 | for (const auto& def : defs) { | ||
| 1122 | if (def == toString(name)) { | ||
| 1123 | return traversal::Stop; | ||
| 1124 | } | ||
| 1125 | } | ||
| 1126 | } | ||
| 1127 | } | ||
| 1128 | return traversal::Continue; | ||
| 1129 | }); | ||
| 1130 | transformExpList(expList, temp); | ||
| 1131 | std::string left = temp.back(); | ||
| 1132 | temp.pop_back(); | ||
| 1133 | auto assign = static_cast<Assign_t*>(action); | ||
| 1134 | for (auto value : assign->values.objects()) { | ||
| 1135 | transformAssignItem(value, temp); | ||
| 1136 | } | ||
| 1137 | if (oneLined) { | ||
| 1138 | out.push_back((preDefine.empty() ? indent() + left : preDefine) + s(" = "sv) + join(temp, ", "sv) + nll(assignment)); | ||
| 1139 | } | ||
| 1140 | else { | ||
| 1141 | out.push_back((preDefine.empty() ? Empty : preDefine + nll(assignment)) + indent() + left + s(" = "sv) + join(temp, ", "sv) + nll(assignment)); | ||
| 1142 | } | ||
| 1143 | break; | ||
| 1144 | } | ||
| 1145 | default: break; | ||
| 1146 | } | ||
| 1147 | } | ||
| 1148 | |||
| 1149 | void transformCond(const std::list<ast_node*>& nodes, str_list& out, IfUsage usage = IfUsage::Common, bool unless = false) { | ||
| 1150 | std::vector<ast_ptr<ast_node, false, false>> ns; | ||
| 1151 | for (auto it = nodes.rbegin(); it != nodes.rend(); ++it) { | ||
| 1152 | ns.push_back(*it); | ||
| 1153 | if (auto cond = ast_cast<IfCond_t>(*it)) { | ||
| 1154 | if (*it != nodes.front() && cond->assign) { | ||
| 1155 | auto newIf = new_ptr<If_t>(); | ||
| 1156 | for (auto j = ns.rbegin(); j != ns.rend(); ++j) { | ||
| 1157 | newIf->nodes.push_back(*j); | ||
| 1158 | } | ||
| 1159 | ns.clear(); | ||
| 1160 | auto simpleValue = new_ptr<SimpleValue_t>(); | ||
| 1161 | simpleValue->value.set(newIf); | ||
| 1162 | auto value = new_ptr<Value_t>(); | ||
| 1163 | value->item.set(simpleValue); | ||
| 1164 | auto exp = new_ptr<Exp_t>(); | ||
| 1165 | exp->value.set(value); | ||
| 1166 | auto expList = new_ptr<ExpList_t>(); | ||
| 1167 | expList->exprs.push_back(exp); | ||
| 1168 | auto stmt = new_ptr<Statement_t>(); | ||
| 1169 | stmt->content.set(expList); | ||
| 1170 | auto body = new_ptr<Body_t>(); | ||
| 1171 | body->content.set(stmt); | ||
| 1172 | ns.push_back(body.get()); | ||
| 1173 | } | ||
| 1174 | } | ||
| 1175 | } | ||
| 1176 | if (nodes.size() != ns.size()) { | ||
| 1177 | auto newIf = new_ptr<If_t>(); | ||
| 1178 | for (auto j = ns.rbegin(); j != ns.rend(); ++j) { | ||
| 1179 | newIf->nodes.push_back(*j); | ||
| 1180 | } | ||
| 1181 | transformCond(newIf->nodes.objects(), out, usage, unless); | ||
| 1182 | return; | ||
| 1183 | } | ||
| 1184 | str_list temp; | ||
| 1185 | if (usage == IfUsage::Closure) { | ||
| 1186 | temp.push_back(s("(function()"sv) + nll(nodes.front())); | ||
| 1187 | pushScope(); | ||
| 1188 | } | ||
| 1189 | std::list<std::pair<IfCond_t*, Body_t*>> ifCondPairs; | ||
| 1190 | ifCondPairs.emplace_back(); | ||
| 1191 | for (auto node : nodes) { | ||
| 1192 | switch (node->getId()) { | ||
| 1193 | case "IfCond"_id: | ||
| 1194 | ifCondPairs.back().first = static_cast<IfCond_t*>(node); | ||
| 1195 | break; | ||
| 1196 | case "Body"_id: | ||
| 1197 | ifCondPairs.back().second = static_cast<Body_t*>(node); | ||
| 1198 | ifCondPairs.emplace_back(); | ||
| 1199 | break; | ||
| 1200 | default: break; | ||
| 1201 | } | ||
| 1202 | } | ||
| 1203 | auto assign = ifCondPairs.front().first->assign.get(); | ||
| 1204 | if (assign) { | ||
| 1205 | if (usage != IfUsage::Closure) { | ||
| 1206 | temp.push_back(indent() + s("do"sv) + nll(assign)); | ||
| 1207 | pushScope(); | ||
| 1208 | } | ||
| 1209 | auto exp = ifCondPairs.front().first->condition.get(); | ||
| 1210 | if (auto table = exp->getByPath<Value_t, SimpleValue_t, TableLit_t>()) { | ||
| 1211 | std::string desVar = getUnusedName("_des_"); | ||
| 1212 | bool storingValue = true; | ||
| 1213 | if (assign->values.objects().size() == 1) { | ||
| 1214 | auto var = variableFrom(assign->values.objects().front()); | ||
| 1215 | if (!var.empty()) { | ||
| 1216 | desVar = var; | ||
| 1217 | storingValue = false; | ||
| 1218 | } | ||
| 1219 | } | ||
| 1220 | if (storingValue) { | ||
| 1221 | auto expList = toAst<ExpList_t>(desVar, ExpList); | ||
| 1222 | auto assignment = new_ptr<Assignment_t>(); | ||
| 1223 | assignment->assignable.set(expList); | ||
| 1224 | assignment->target.set(assign); | ||
| 1225 | transformAssignment(assignment, temp); | ||
| 1226 | } | ||
| 1227 | { | ||
| 1228 | auto expList = new_ptr<ExpList_t>(); | ||
| 1229 | expList->exprs.push_back(exp); | ||
| 1230 | auto assignOne = new_ptr<Assign_t>(); | ||
| 1231 | auto valExp = toAst<Exp_t>(desVar, Exp); | ||
| 1232 | assignOne->values.push_back(valExp); | ||
| 1233 | auto assignment = new_ptr<Assignment_t>(); | ||
| 1234 | assignment->assignable.set(expList); | ||
| 1235 | assignment->target.set(assignOne); | ||
| 1236 | transformAssignment(assignment, temp); | ||
| 1237 | auto pair = destructFromExp(exp); | ||
| 1238 | auto cond = toAst<Exp_t>(pair.front().name, Exp); | ||
| 1239 | ifCondPairs.front().first->condition.set(cond); | ||
| 1240 | } | ||
| 1241 | } else { | ||
| 1242 | auto expList = new_ptr<ExpList_t>(); | ||
| 1243 | expList->exprs.push_back(exp); | ||
| 1244 | auto assignment = new_ptr<Assignment_t>(); | ||
| 1245 | assignment->assignable.set(expList); | ||
| 1246 | assignment->target.set(assign); | ||
| 1247 | transformAssignment(assignment, temp); | ||
| 1248 | } | ||
| 1249 | } | ||
| 1250 | for (const auto& pair : ifCondPairs) { | ||
| 1251 | if (pair.first) { | ||
| 1252 | str_list tmp; | ||
| 1253 | auto condition = pair.first->condition.get(); | ||
| 1254 | if (unless) { | ||
| 1255 | if (auto value = singleValueFrom(condition)) { | ||
| 1256 | transformValue(value, tmp); | ||
| 1257 | } else { | ||
| 1258 | transformExp(condition, tmp); | ||
| 1259 | tmp.back() = s("("sv) + tmp.back() + s(")"sv); | ||
| 1260 | } | ||
| 1261 | tmp.back().insert(0, s("not "sv)); | ||
| 1262 | } else { | ||
| 1263 | transformExp(condition, tmp); | ||
| 1264 | } | ||
| 1265 | _buf << indent() << (pair == ifCondPairs.front() ? ""sv : "else"sv) << | ||
| 1266 | "if "sv << tmp.back() << " then"sv << nll(condition); | ||
| 1267 | temp.push_back(clearBuf()); | ||
| 1268 | } | ||
| 1269 | if (pair.second) { | ||
| 1270 | if (!pair.first) { | ||
| 1271 | temp.push_back(indent() + s("else"sv) + nll(pair.second)); | ||
| 1272 | } | ||
| 1273 | pushScope(); | ||
| 1274 | transformBody(pair.second, temp, usage != IfUsage::Common); | ||
| 1275 | popScope(); | ||
| 1276 | } | ||
| 1277 | if (!pair.first) { | ||
| 1278 | temp.push_back(indent() + s("end"sv) + nll(nodes.front())); | ||
| 1279 | break; | ||
| 1280 | } | ||
| 1281 | } | ||
| 1282 | if (assign && usage != IfUsage::Closure) { | ||
| 1283 | popScope(); | ||
| 1284 | temp.push_back(indent() + s("end"sv) + nlr(nodes.front())); | ||
| 1285 | } | ||
| 1286 | if (usage == IfUsage::Closure) { | ||
| 1287 | popScope(); | ||
| 1288 | temp.push_back(indent() + s("end)()"sv)); | ||
| 1289 | } | ||
| 1290 | out.push_back(join(temp)); | ||
| 1291 | } | ||
| 1292 | |||
| 1293 | void transformIf(If_t* ifNode, str_list& out, IfUsage usage = IfUsage::Common) { | ||
| 1294 | transformCond(ifNode->nodes.objects(), out, usage); | ||
| 1295 | } | ||
| 1296 | |||
| 1297 | void transformUnless(Unless_t* unless, str_list& out, IfUsage usage = IfUsage::Common) { | ||
| 1298 | transformCond(unless->nodes.objects(), out, usage, true); | ||
| 1299 | } | ||
| 1300 | |||
| 1301 | void transformExpList(ExpList_t* expList, str_list& out) { | ||
| 1302 | str_list temp; | ||
| 1303 | for (auto exp : expList->exprs.objects()) { | ||
| 1304 | transformExp(static_cast<Exp_t*>(exp), temp); | ||
| 1305 | } | ||
| 1306 | out.push_back(join(temp, ", "sv)); | ||
| 1307 | } | ||
| 1308 | |||
| 1309 | void transformExpListLow(ExpListLow_t* expListLow, str_list& out) { | ||
| 1310 | str_list temp; | ||
| 1311 | for (auto exp : expListLow->exprs.objects()) { | ||
| 1312 | transformExp(static_cast<Exp_t*>(exp), temp); | ||
| 1313 | } | ||
| 1314 | out.push_back(join(temp, ", "sv)); | ||
| 1315 | } | ||
| 1316 | |||
| 1317 | void transformExp(Exp_t* exp, str_list& out) { | ||
| 1318 | str_list temp; | ||
| 1319 | transformValue(exp->value, temp); | ||
| 1320 | for (auto _opValue : exp->opValues.objects()) { | ||
| 1321 | auto opValue = static_cast<exp_op_value_t*>(_opValue); | ||
| 1322 | transformBinaryOperator(opValue->op, temp); | ||
| 1323 | transformValue(opValue->value, temp); | ||
| 1324 | } | ||
| 1325 | out.push_back(join(temp, " "sv)); | ||
| 1326 | } | ||
| 1327 | |||
| 1328 | void transformValue(Value_t* value, str_list& out) { | ||
| 1329 | auto item = value->item.get(); | ||
| 1330 | switch (item->getId()) { | ||
| 1331 | case "SimpleValue"_id: transformSimpleValue(static_cast<SimpleValue_t*>(item), out); break; | ||
| 1332 | case "simple_table"_id: transform_simple_table(static_cast<simple_table_t*>(item), out); break; | ||
| 1333 | case "ChainValue"_id: { | ||
| 1334 | auto chainValue = static_cast<ChainValue_t*>(item); | ||
| 1335 | if (isColonChain(chainValue)) { | ||
| 1336 | transformColonChainClosure(chainValue, out); | ||
| 1337 | } else { | ||
| 1338 | transformChainValue(chainValue, out); | ||
| 1339 | } | ||
| 1340 | break; | ||
| 1341 | } | ||
| 1342 | case "String"_id: transformString(static_cast<String_t*>(item), out); break; | ||
| 1343 | default: break; | ||
| 1344 | } | ||
| 1345 | } | ||
| 1346 | |||
| 1347 | void transformCallable(Callable_t* callable, str_list& out, bool invoke) { | ||
| 1348 | auto item = callable->item.get(); | ||
| 1349 | switch (item->getId()) { | ||
| 1350 | case "Variable"_id: transformVariable(static_cast<Variable_t*>(item), out); break; | ||
| 1351 | case "SelfName"_id: transformSelfName(static_cast<SelfName_t*>(item), out, invoke); break; | ||
| 1352 | case "VarArg"_id: out.push_back(s("..."sv)); break; | ||
| 1353 | case "Parens"_id: transformParens(static_cast<Parens_t*>(item), out); break; | ||
| 1354 | default: break; | ||
| 1355 | } | ||
| 1356 | } | ||
| 1357 | |||
| 1358 | void transformParens(Parens_t* parans, str_list& out) { | ||
| 1359 | str_list temp; | ||
| 1360 | transformExp(parans->expr, temp); | ||
| 1361 | out.push_back(s("("sv) + temp.front() + s(")"sv)); | ||
| 1362 | } | ||
| 1363 | |||
| 1364 | void transformSimpleValue(SimpleValue_t* simpleValue, str_list& out) { | ||
| 1365 | auto value = simpleValue->value.get(); | ||
| 1366 | switch (value->getId()) { | ||
| 1367 | case "const_value"_id: transform_const_value(static_cast<const_value_t*>(value), out); break; | ||
| 1368 | case "If"_id: transformIf(static_cast<If_t*>(value), out, IfUsage::Closure); break; | ||
| 1369 | case "Unless"_id: transformUnless(static_cast<Unless_t*>(value), out, IfUsage::Closure); break; | ||
| 1370 | case "Switch"_id: transformSwitchClosure(static_cast<Switch_t*>(value), out); break; | ||
| 1371 | case "With"_id: transformWithClosure(static_cast<With_t*>(value), out); break; | ||
| 1372 | case "ClassDecl"_id: transformClassDeclClosure(static_cast<ClassDecl_t*>(value), out); break; | ||
| 1373 | case "ForEach"_id: transformForEachClosure(static_cast<ForEach_t*>(value), out); break; | ||
| 1374 | case "For"_id: transformForClosure(static_cast<For_t*>(value), out); break; | ||
| 1375 | case "While"_id: transformWhileClosure(static_cast<While_t*>(value), out); break; | ||
| 1376 | case "Do"_id: transformDoClosure(static_cast<Do_t*>(value), out); break; | ||
| 1377 | case "unary_exp"_id: transform_unary_exp(static_cast<unary_exp_t*>(value), out); break; | ||
| 1378 | case "TblComprehension"_id: transformTblCompClosure(static_cast<TblComprehension_t*>(value), out); break; | ||
| 1379 | case "TableLit"_id: transformTableLit(static_cast<TableLit_t*>(value), out); break; | ||
| 1380 | case "Comprehension"_id: transformCompClosure(static_cast<Comprehension_t*>(value), out); break; | ||
| 1381 | case "FunLit"_id: transformFunLit(static_cast<FunLit_t*>(value), out); break; | ||
| 1382 | case "Num"_id: transformNum(static_cast<Num_t*>(value), out); break; | ||
| 1383 | default: break; | ||
| 1384 | } | ||
| 1385 | } | ||
| 1386 | |||
| 1387 | void transformFunLit(FunLit_t* funLit, str_list& out) { | ||
| 1388 | str_list temp; | ||
| 1389 | bool isFatArrow = toString(funLit->arrow) == "=>"sv; | ||
| 1390 | pushScope(); | ||
| 1391 | if (auto argsDef = funLit->argsDef.get()) { | ||
| 1392 | transformFnArgsDef(argsDef, temp); | ||
| 1393 | if (funLit->body) { | ||
| 1394 | transformBody(funLit->body, temp, true); | ||
| 1395 | } else { | ||
| 1396 | temp.push_back(Empty); | ||
| 1397 | } | ||
| 1398 | auto it = temp.begin(); | ||
| 1399 | auto& args = *it; | ||
| 1400 | auto& initArgs = *(++it); | ||
| 1401 | auto& bodyCodes = *(++it); | ||
| 1402 | _buf << "function("sv << | ||
| 1403 | (isFatArrow ? s("self, "sv) : Empty) << | ||
| 1404 | args << ')'; | ||
| 1405 | if (!initArgs.empty() || !bodyCodes.empty()) { | ||
| 1406 | _buf << nlr(argsDef) << initArgs << bodyCodes; | ||
| 1407 | popScope(); | ||
| 1408 | _buf << indent() << "end"sv; | ||
| 1409 | } else { | ||
| 1410 | popScope(); | ||
| 1411 | _buf << " end"sv; | ||
| 1412 | } | ||
| 1413 | } else { | ||
| 1414 | if (funLit->body) { | ||
| 1415 | transformBody(funLit->body, temp, true); | ||
| 1416 | } else { | ||
| 1417 | temp.push_back(Empty); | ||
| 1418 | } | ||
| 1419 | auto& bodyCodes = temp.back(); | ||
| 1420 | _buf << "function("sv << | ||
| 1421 | (isFatArrow ? s("self"sv) : Empty) << | ||
| 1422 | ')'; | ||
| 1423 | if (!bodyCodes.empty()) { | ||
| 1424 | _buf << nll(funLit) << bodyCodes; | ||
| 1425 | popScope(); | ||
| 1426 | _buf << indent() << "end"sv; | ||
| 1427 | } else { | ||
| 1428 | popScope(); | ||
| 1429 | _buf << " end"sv; | ||
| 1430 | } | ||
| 1431 | } | ||
| 1432 | out.push_back(clearBuf()); | ||
| 1433 | } | ||
| 1434 | |||
| 1435 | void transformCodes(const std::list<ast_node*>& nodes, str_list& out, bool implicitReturn) { | ||
| 1436 | LocalMode mode = LocalMode::None; | ||
| 1437 | Local_t* any = nullptr, *capital = nullptr; | ||
| 1438 | for (auto node : nodes) { | ||
| 1439 | auto stmt = static_cast<Statement_t*>(node); | ||
| 1440 | if (auto local = stmt->content.as<Local_t>()) { | ||
| 1441 | if (auto flag = local->name.as<local_flag_t>()) { | ||
| 1442 | LocalMode newMode = toString(flag) == "*"sv ? LocalMode::Any : LocalMode::Capital; | ||
| 1443 | if (int(newMode) > int(mode)) { | ||
| 1444 | mode = newMode; | ||
| 1445 | } | ||
| 1446 | if (mode == LocalMode::Any) { | ||
| 1447 | if (!any) any = local; | ||
| 1448 | if (!capital) capital = local; | ||
| 1449 | } else { | ||
| 1450 | if (!capital) capital = local; | ||
| 1451 | } | ||
| 1452 | } else { | ||
| 1453 | auto names = local->name.to<NameList_t>(); | ||
| 1454 | for (auto name : names->names.objects()) { | ||
| 1455 | local->forceDecls.push_back(toString(name)); | ||
| 1456 | } | ||
| 1457 | } | ||
| 1458 | } else if (mode != LocalMode::None) { | ||
| 1459 | ClassDecl_t* classDecl = nullptr; | ||
| 1460 | if (auto assignment = stmt->content.as<Assignment_t>()) { | ||
| 1461 | auto vars = getAssignVars(assignment); | ||
| 1462 | for (const auto& var : vars) { | ||
| 1463 | if (var.empty()) continue; | ||
| 1464 | if (std::isupper(var[0]) && capital) { | ||
| 1465 | capital->decls.push_back(var); | ||
| 1466 | } else if (any) { | ||
| 1467 | any->decls.push_back(var); | ||
| 1468 | } | ||
| 1469 | } | ||
| 1470 | auto info = extractDestructureInfo(assignment); | ||
| 1471 | if (!info.first.empty()) { | ||
| 1472 | for (const auto& destruct : info.first) | ||
| 1473 | for (const auto& item : destruct.items) | ||
| 1474 | if (item.isVariable) { | ||
| 1475 | if (std::isupper(item.name[0]) && capital) { capital->decls.push_back(item.name); | ||
| 1476 | } else if (any) { | ||
| 1477 | any->decls.push_back(item.name); | ||
| 1478 | } | ||
| 1479 | } | ||
| 1480 | } | ||
| 1481 | do { | ||
| 1482 | auto assign = assignment->target.as<Assign_t>(); | ||
| 1483 | if (!assign) break; | ||
| 1484 | if (assign->values.objects().size() != 1) break; | ||
| 1485 | auto exp = ast_cast<Exp_t>(assign->values.objects().front()); | ||
| 1486 | if (!exp) break; | ||
| 1487 | auto value = singleValueFrom(exp); | ||
| 1488 | classDecl = value->getByPath<SimpleValue_t, ClassDecl_t>(); | ||
| 1489 | } while (false); | ||
| 1490 | } else if (auto expList = stmt->content.as<ExpList_t>()) { | ||
| 1491 | auto value = singleValueFrom(expList); | ||
| 1492 | classDecl = value->getByPath<SimpleValue_t, ClassDecl_t>(); | ||
| 1493 | } | ||
| 1494 | if (classDecl) { | ||
| 1495 | if (auto variable = classDecl->name->item.as<Variable_t>()) { | ||
| 1496 | auto className = toString(variable); | ||
| 1497 | if (!className.empty()) { | ||
| 1498 | if (std::isupper(className[0]) && capital) { | ||
| 1499 | capital->decls.push_back(className); | ||
| 1500 | } else if (any) { | ||
| 1501 | any->decls.push_back(className); | ||
| 1502 | } | ||
| 1503 | } | ||
| 1504 | } | ||
| 1505 | } | ||
| 1506 | } | ||
| 1507 | } | ||
| 1508 | if (implicitReturn) { | ||
| 1509 | auto last = static_cast<Statement_t*>(nodes.back()); | ||
| 1510 | if (ast_is<ExpList_t>(last->content) && (!last->appendix || | ||
| 1511 | !last->appendix->item.is<CompInner_t>())) { | ||
| 1512 | auto expList = static_cast<ExpList_t*>(last->content.get()); | ||
| 1513 | auto expListLow = new_ptr<ExpListLow_t>(); | ||
| 1514 | expListLow->exprs = expList->exprs; | ||
| 1515 | auto returnNode = new_ptr<Return_t>(); | ||
| 1516 | returnNode->valueList.set(expListLow); | ||
| 1517 | last->content.set(returnNode); | ||
| 1518 | } | ||
| 1519 | } | ||
| 1520 | str_list temp; | ||
| 1521 | for (auto node : nodes) { | ||
| 1522 | transformStatement(static_cast<Statement_t*>(node), temp); | ||
| 1523 | } | ||
| 1524 | out.push_back(join(temp)); | ||
| 1525 | } | ||
| 1526 | |||
| 1527 | void transformBody(Body_t* body, str_list& out, bool implicitReturn = false) { | ||
| 1528 | if (auto stmt = body->content.as<Statement_t>()) { | ||
| 1529 | transformCodes(std::list<ast_node*>{stmt}, out, implicitReturn); | ||
| 1530 | } else { | ||
| 1531 | transformCodes(body->content.to<Block_t>()->statements.objects(), out, implicitReturn); | ||
| 1532 | } | ||
| 1533 | } | ||
| 1534 | |||
| 1535 | void transformBlock(Block_t* block, str_list& out, bool implicitReturn = true) { | ||
| 1536 | transformCodes(block->statements.objects(), out, implicitReturn); | ||
| 1537 | } | ||
| 1538 | |||
| 1539 | void transformReturn(Return_t* returnNode, str_list& out) { | ||
| 1540 | if (auto valueList = returnNode->valueList.get()) { | ||
| 1541 | if (auto singleValue = singleValueFrom(valueList)) { | ||
| 1542 | if (auto simpleValue = singleValue->item.as<SimpleValue_t>()) { | ||
| 1543 | if (auto comp = simpleValue->value.as<Comprehension_t>()) { | ||
| 1544 | transformCompReturn(comp, out); | ||
| 1545 | return; | ||
| 1546 | } | ||
| 1547 | if (auto comp = simpleValue->value.as<TblComprehension_t>()) { | ||
| 1548 | transformTblCompReturn(comp, out); | ||
| 1549 | return; | ||
| 1550 | } | ||
| 1551 | if (auto with = simpleValue->value.as<With_t>()) { | ||
| 1552 | transformWith(with, out, nullptr, true); | ||
| 1553 | return; | ||
| 1554 | } | ||
| 1555 | if (auto classDecl = simpleValue->value.as<ClassDecl_t>()) { | ||
| 1556 | transformClassDecl(classDecl, out, ExpUsage::Return); | ||
| 1557 | return; | ||
| 1558 | } | ||
| 1559 | if (auto doNode = simpleValue->value.as<Do_t>()) { | ||
| 1560 | transformDo(doNode, out, true); | ||
| 1561 | return; | ||
| 1562 | } | ||
| 1563 | if (auto switchNode = simpleValue->value.as<Switch_t>()) { | ||
| 1564 | transformSwitch(switchNode, out, true); | ||
| 1565 | return; | ||
| 1566 | } | ||
| 1567 | if (auto ifNode = simpleValue->value.as<If_t>()) { | ||
| 1568 | transformIf(ifNode, out, IfUsage::Return); | ||
| 1569 | return; | ||
| 1570 | } | ||
| 1571 | if (auto unlessNode = simpleValue->value.as<Unless_t>()) { | ||
| 1572 | transformUnless(unlessNode, out, IfUsage::Return); | ||
| 1573 | return; | ||
| 1574 | } | ||
| 1575 | } | ||
| 1576 | if (auto chainValue = singleValue->item.as<ChainValue_t>()) { | ||
| 1577 | if (isColonChain(chainValue)) { | ||
| 1578 | transformColonChain(chainValue, out, ExpUsage::Return); | ||
| 1579 | return; | ||
| 1580 | } | ||
| 1581 | } | ||
| 1582 | transformValue(singleValue, out); | ||
| 1583 | out.back() = indent() + s("return "sv) + out.back() + nlr(returnNode); | ||
| 1584 | return; | ||
| 1585 | } else { | ||
| 1586 | str_list temp; | ||
| 1587 | transformExpListLow(valueList, temp); | ||
| 1588 | out.push_back(indent() + s("return "sv) + temp.back() + nlr(returnNode)); | ||
| 1589 | } | ||
| 1590 | } else { | ||
| 1591 | out.push_back(indent() + s("return"sv) + nll(returnNode)); | ||
| 1592 | } | ||
| 1593 | } | ||
| 1594 | |||
| 1595 | void transformFnArgsDef(FnArgsDef_t* argsDef, str_list& out) { | ||
| 1596 | if (!argsDef->defList) { | ||
| 1597 | out.push_back(Empty); | ||
| 1598 | out.push_back(Empty); | ||
| 1599 | } else { | ||
| 1600 | transformFnArgDefList(argsDef->defList, out); | ||
| 1601 | } | ||
| 1602 | if (argsDef->shadowOption) { | ||
| 1603 | transform_outer_var_shadow(argsDef->shadowOption); | ||
| 1604 | } | ||
| 1605 | } | ||
| 1606 | |||
| 1607 | void transform_outer_var_shadow(outer_var_shadow_t* shadow) { | ||
| 1608 | markVarShadowed(); | ||
| 1609 | if (shadow->varList) { | ||
| 1610 | for (auto name : shadow->varList->names.objects()) { | ||
| 1611 | addToAllowList(toString(name)); | ||
| 1612 | } | ||
| 1613 | } | ||
| 1614 | } | ||
| 1615 | |||
| 1616 | void transformFnArgDefList(FnArgDefList_t* argDefList, str_list& out) { | ||
| 1617 | struct ArgItem { | ||
| 1618 | std::string name; | ||
| 1619 | std::string assignSelf; | ||
| 1620 | }; | ||
| 1621 | std::list<ArgItem> argItems; | ||
| 1622 | str_list temp; | ||
| 1623 | std::string varNames; | ||
| 1624 | bool assignSelf = false; | ||
| 1625 | for (auto _def : argDefList->definitions.objects()) { | ||
| 1626 | auto def = static_cast<FnArgDef_t*>(_def); | ||
| 1627 | auto& arg = argItems.emplace_back(); | ||
| 1628 | switch (def->name->getId()) { | ||
| 1629 | case "Variable"_id: arg.name = toString(def->name); break; | ||
| 1630 | case "SelfName"_id: { | ||
| 1631 | assignSelf = true; | ||
| 1632 | auto selfName = static_cast<SelfName_t*>(def->name.get()); | ||
| 1633 | switch (selfName->name->getId()) { | ||
| 1634 | case "self_class_name"_id: | ||
| 1635 | arg.name = toString(selfName->name->getFirstChild()); | ||
| 1636 | arg.assignSelf = s("self.__class."sv) + arg.name; | ||
| 1637 | break; | ||
| 1638 | case "self_class"_id: | ||
| 1639 | arg.name = "self.__class"sv; | ||
| 1640 | break; | ||
| 1641 | case "self_name"_id: | ||
| 1642 | arg.name = toString(selfName->name->getFirstChild()); | ||
| 1643 | arg.assignSelf = s("self."sv) + arg.name; | ||
| 1644 | break; | ||
| 1645 | case "self"_id: | ||
| 1646 | arg.name = "self"sv; | ||
| 1647 | break; | ||
| 1648 | default: break; | ||
| 1649 | } | ||
| 1650 | break; | ||
| 1651 | } | ||
| 1652 | } | ||
| 1653 | forceAddToScope(arg.name); | ||
| 1654 | if (def->defaultValue) { | ||
| 1655 | pushScope(); | ||
| 1656 | auto expList = toAst<ExpList_t>(arg.name, ExpList); | ||
| 1657 | auto assign = new_ptr<Assign_t>(); | ||
| 1658 | assign->values.push_back(def->defaultValue.get()); | ||
| 1659 | auto assignment = new_ptr<Assignment_t>(); | ||
| 1660 | assignment->assignable.set(expList); | ||
| 1661 | assignment->target.set(assign); | ||
| 1662 | transformAssignment(assignment, temp); | ||
| 1663 | popScope(); | ||
| 1664 | _buf << indent() << "if "sv << arg.name << " == nil then"sv << nll(def); | ||
| 1665 | _buf << temp.back(); | ||
| 1666 | _buf << indent() << "end"sv << nll(def); | ||
| 1667 | temp.back() = clearBuf(); | ||
| 1668 | } | ||
| 1669 | if (varNames.empty()) varNames = arg.name; | ||
| 1670 | else varNames.append(s(", "sv) + arg.name); | ||
| 1671 | } | ||
| 1672 | if (argDefList->varArg) { | ||
| 1673 | auto& arg = argItems.emplace_back(); | ||
| 1674 | arg.name = "..."sv; | ||
| 1675 | if (varNames.empty()) varNames = arg.name; | ||
| 1676 | else varNames.append(s(", "sv) + arg.name); | ||
| 1677 | } | ||
| 1678 | std::string initCodes = join(temp); | ||
| 1679 | if (assignSelf) { | ||
| 1680 | auto sjoin = [](const decltype(argItems)& items, int index) { | ||
| 1681 | std::string result; | ||
| 1682 | for (auto it = items.begin(); it != items.end(); ++it) { | ||
| 1683 | if (it->assignSelf.empty()) continue; | ||
| 1684 | if (result.empty()) result = (&it->name)[index]; | ||
| 1685 | else result.append(s(", "sv) + (&it->name)[index]); | ||
| 1686 | } | ||
| 1687 | return result; | ||
| 1688 | }; | ||
| 1689 | std::string sleft = sjoin(argItems, 1); | ||
| 1690 | std::string sright = sjoin(argItems, 0); | ||
| 1691 | initCodes.append(indent() + sleft + s(" = "sv) + sright + nll(argDefList)); | ||
| 1692 | } | ||
| 1693 | out.push_back(varNames); | ||
| 1694 | out.push_back(initCodes); | ||
| 1695 | } | ||
| 1696 | |||
| 1697 | void transformSelfName(SelfName_t* selfName, str_list& out, bool invoke) { | ||
| 1698 | auto name = selfName->name.get(); | ||
| 1699 | switch (name->getId()) { | ||
| 1700 | case "self_class_name"_id: | ||
| 1701 | out.push_back(s("self.__class"sv) + s(invoke ? ":"sv : "."sv) + toString(name->getFirstChild())); | ||
| 1702 | break; | ||
| 1703 | case "self_class"_id: | ||
| 1704 | out.push_back(s("self.__class"sv)); | ||
| 1705 | break; | ||
| 1706 | case "self_name"_id: | ||
| 1707 | out.push_back(s("self"sv) + s(invoke ? ":"sv : "."sv) + toString(name->getFirstChild())); | ||
| 1708 | break; | ||
| 1709 | case "self"_id: | ||
| 1710 | out.push_back(s("self"sv)); | ||
| 1711 | break; | ||
| 1712 | } | ||
| 1713 | } | ||
| 1714 | |||
| 1715 | void transformColonChainClosure(ChainValue_t* chainValue, str_list& out) { | ||
| 1716 | str_list temp; | ||
| 1717 | temp.push_back(s("(function()"sv) + nll(chainValue)); | ||
| 1718 | pushScope(); | ||
| 1719 | transformColonChain(chainValue, temp, ExpUsage::Return); | ||
| 1720 | popScope(); | ||
| 1721 | temp.push_back(indent() + s("end)()"sv)); | ||
| 1722 | out.push_back(join(temp)); | ||
| 1723 | } | ||
| 1724 | |||
| 1725 | void transformColonChain(ChainValue_t* chainValue, str_list& out, ExpUsage usage = ExpUsage::Common, ExpList_t* expList = nullptr) { | ||
| 1726 | str_list temp; | ||
| 1727 | const auto& chainList = chainValue->items.objects(); | ||
| 1728 | auto end = --chainList.end(); | ||
| 1729 | for (auto it = chainList.begin(); it != end; ++it) { | ||
| 1730 | auto item = *it; | ||
| 1731 | switch (item->getId()) { | ||
| 1732 | case "Invoke"_id: transformInvoke(static_cast<Invoke_t*>(item), temp); break; | ||
| 1733 | case "DotChainItem"_id: transformDotChainItem(static_cast<DotChainItem_t*>(item), temp); break; | ||
| 1734 | case "ColonChainItem"_id: transformColonChainItem(static_cast<ColonChainItem_t*>(item), temp); break; | ||
| 1735 | case "Slice"_id: transformSlice(static_cast<Slice_t*>(item), temp); break; | ||
| 1736 | case "Callable"_id: { | ||
| 1737 | auto next = it; ++next; | ||
| 1738 | auto followItem = next != chainList.end() ? *next : nullptr; | ||
| 1739 | transformCallable(static_cast<Callable_t*>(item), temp, | ||
| 1740 | followItem && ast_is<Invoke_t, InvokeArgs_t>(followItem)); | ||
| 1741 | break; | ||
| 1742 | } | ||
| 1743 | case "String"_id: | ||
| 1744 | transformString(static_cast<String_t*>(item), temp); | ||
| 1745 | temp.back() = s("("sv) + temp.back() + s(")"sv); | ||
| 1746 | break; | ||
| 1747 | case "Exp"_id: | ||
| 1748 | transformExp(static_cast<Exp_t*>(item), temp); | ||
| 1749 | temp.back() = s("["sv) + temp.back() + s("]"sv); | ||
| 1750 | break; | ||
| 1751 | default: break; | ||
| 1752 | } | ||
| 1753 | } | ||
| 1754 | auto caller = join(temp); | ||
| 1755 | auto colonChainItem = static_cast<ColonChainItem_t*>(chainList.back()); | ||
| 1756 | auto funcName = toString(colonChainItem->name); | ||
| 1757 | std::string assignList; | ||
| 1758 | if (expList) { | ||
| 1759 | str_list tmp; | ||
| 1760 | transformExpList(expList, tmp); | ||
| 1761 | assignList = tmp.back(); | ||
| 1762 | } | ||
| 1763 | if (usage != ExpUsage::Return) pushScope(); | ||
| 1764 | auto baseVar = getUnusedName("_base_"sv); | ||
| 1765 | addToScope(baseVar); | ||
| 1766 | auto fnVar = getUnusedName("_fn_"sv); | ||
| 1767 | addToScope(fnVar); | ||
| 1768 | if (usage != ExpUsage::Return) { | ||
| 1769 | _buf << indent(-1) << "do"sv << nll(chainValue); | ||
| 1770 | } | ||
| 1771 | _buf << indent() << "local "sv << baseVar << " = "sv << caller << nll(chainValue); | ||
| 1772 | _buf << indent() << "local "sv << fnVar << " = "sv << baseVar; | ||
| 1773 | if (State::luaKeywords.find(funcName) != State::luaKeywords.end()) { | ||
| 1774 | _buf << "[\""sv << funcName << "\"]" << nll(chainValue); | ||
| 1775 | } else { | ||
| 1776 | _buf << "."sv << funcName << nll(chainValue); | ||
| 1777 | } | ||
| 1778 | switch (usage) { | ||
| 1779 | case ExpUsage::Return: | ||
| 1780 | _buf << indent() << "return function(...)" << nll(chainValue); | ||
| 1781 | break; | ||
| 1782 | case ExpUsage::Assignment: | ||
| 1783 | _buf << indent() << assignList << " = function(...)"sv << nll(chainValue); | ||
| 1784 | break; | ||
| 1785 | case ExpUsage::Common: | ||
| 1786 | _buf << indent() << "_ = function(...)" << nll(chainValue); | ||
| 1787 | break; | ||
| 1788 | default: break; | ||
| 1789 | } | ||
| 1790 | _buf << indent(1) << "return "sv << fnVar << "("sv << baseVar << ", ...)"sv << nll(chainValue); | ||
| 1791 | _buf << indent() << "end"sv << nll(chainValue); | ||
| 1792 | if (usage != ExpUsage::Return) { | ||
| 1793 | popScope(); | ||
| 1794 | _buf << indent() << "end"sv << nll(chainValue); | ||
| 1795 | } | ||
| 1796 | out.push_back(clearBuf()); | ||
| 1797 | } | ||
| 1798 | |||
| 1799 | void transformChainList(const std::list<ast_node*>& chainList, str_list& out) { | ||
| 1800 | str_list temp; | ||
| 1801 | switch (chainList.front()->getId()) { | ||
| 1802 | case "DotChainItem"_id: | ||
| 1803 | case "ColonChainItem"_id: | ||
| 1804 | if (_withVars.empty()) { | ||
| 1805 | throw std::logic_error("Short-dot syntax must be called within a with block."); | ||
| 1806 | } else { | ||
| 1807 | temp.push_back(_withVars.top()); | ||
| 1808 | } | ||
| 1809 | break; | ||
| 1810 | } | ||
| 1811 | for (auto it = chainList.begin(); it != chainList.end(); ++it) { | ||
| 1812 | auto item = *it; | ||
| 1813 | switch (item->getId()) { | ||
| 1814 | case "Invoke"_id: | ||
| 1815 | transformInvoke(static_cast<Invoke_t*>(item), temp); | ||
| 1816 | break; | ||
| 1817 | case "DotChainItem"_id: | ||
| 1818 | transformDotChainItem(static_cast<DotChainItem_t*>(item), temp); | ||
| 1819 | break; | ||
| 1820 | case "ColonChainItem"_id: | ||
| 1821 | transformColonChainItem(static_cast<ColonChainItem_t*>(item), temp); | ||
| 1822 | break; | ||
| 1823 | case "Slice"_id: | ||
| 1824 | transformSlice(static_cast<Slice_t*>(item), temp); | ||
| 1825 | break; | ||
| 1826 | case "Callable"_id: { | ||
| 1827 | auto next = it; ++next; | ||
| 1828 | auto followItem = next != chainList.end() ? *next : nullptr; | ||
| 1829 | transformCallable(static_cast<Callable_t*>(item), temp, | ||
| 1830 | followItem && ast_is<Invoke_t, InvokeArgs_t>(followItem)); | ||
| 1831 | break; | ||
| 1832 | } | ||
| 1833 | case "String"_id: | ||
| 1834 | transformString(static_cast<String_t*>(item), temp); | ||
| 1835 | temp.back() = s("("sv) + temp.back() + s(")"sv); | ||
| 1836 | break; | ||
| 1837 | case "Exp"_id: | ||
| 1838 | transformExp(static_cast<Exp_t*>(item), temp); | ||
| 1839 | temp.back() = s("["sv) + temp.back() + s("]"sv); | ||
| 1840 | break; | ||
| 1841 | case "InvokeArgs"_id: transformInvokeArgs(static_cast<InvokeArgs_t*>(item), temp); break; | ||
| 1842 | default: break; | ||
| 1843 | } | ||
| 1844 | } | ||
| 1845 | out.push_back(join(temp)); | ||
| 1846 | } | ||
| 1847 | |||
| 1848 | void transformChainValue(ChainValue_t* chainValue, str_list& out) { | ||
| 1849 | transformChainList(chainValue->items.objects(), out); | ||
| 1850 | } | ||
| 1851 | |||
| 1852 | void transformAssignableChain(AssignableChain_t* chain, str_list& out) { | ||
| 1853 | transformChainList(chain->items.objects(), out); | ||
| 1854 | } | ||
| 1855 | |||
| 1856 | void transformDotChainItem(DotChainItem_t* dotChainItem, str_list& out) { | ||
| 1857 | auto name = toString(dotChainItem->name); | ||
| 1858 | if (State::keywords.find(name) != State::keywords.end()) { | ||
| 1859 | out.push_back(s("[\""sv) + name + s("\"]"sv)); | ||
| 1860 | } else { | ||
| 1861 | out.push_back(s("."sv) + name); | ||
| 1862 | } | ||
| 1863 | } | ||
| 1864 | |||
| 1865 | void transformColonChainItem(ColonChainItem_t* colonChainItem, str_list& out) { | ||
| 1866 | auto name = toString(colonChainItem->name); | ||
| 1867 | out.push_back(s(colonChainItem->switchToDot ? "."sv : ":"sv) + name); | ||
| 1868 | } | ||
| 1869 | |||
| 1870 | void transformSlice(Slice_t* slice, str_list& out) { | ||
| 1871 | throw std::logic_error("Slice syntax not supported here"); | ||
| 1872 | } | ||
| 1873 | |||
| 1874 | void transformInvoke(Invoke_t* invoke, str_list& out) { | ||
| 1875 | str_list temp; | ||
| 1876 | for (auto arg : invoke->args.objects()) { | ||
| 1877 | switch (arg->getId()) { | ||
| 1878 | case "Exp"_id: transformExp(static_cast<Exp_t*>(arg), temp); break; | ||
| 1879 | case "SingleString"_id: transformSingleString(static_cast<SingleString_t*>(arg), temp); break; | ||
| 1880 | case "DoubleString"_id: transformDoubleString(static_cast<DoubleString_t*>(arg), temp); break; | ||
| 1881 | case "LuaString"_id: transformLuaString(static_cast<LuaString_t*>(arg), temp); break; | ||
| 1882 | default: break; | ||
| 1883 | } | ||
| 1884 | } | ||
| 1885 | out.push_back(s("("sv) + join(temp, ", "sv) + s(")"sv)); | ||
| 1886 | } | ||
| 1887 | |||
| 1888 | void transform_unary_exp(unary_exp_t* unary_exp, str_list& out) { | ||
| 1889 | std::string op = toString(unary_exp->m_begin.m_it, unary_exp->item->m_begin.m_it); | ||
| 1890 | str_list temp{op + (op == "not"sv ? s(" "sv) : Empty)}; | ||
| 1891 | transformExp(unary_exp->item, temp); | ||
| 1892 | out.push_back(join(temp)); | ||
| 1893 | } | ||
| 1894 | |||
| 1895 | void transformVariable(Variable_t* name, str_list& out) { | ||
| 1896 | out.push_back(toString(name)); | ||
| 1897 | } | ||
| 1898 | |||
| 1899 | void transformNum(Num_t* num, str_list& out) { | ||
| 1900 | out.push_back(toString(num)); | ||
| 1901 | } | ||
| 1902 | |||
| 1903 | void transformTableLit(TableLit_t* table, str_list& out) { | ||
| 1904 | transformTable(table, table->values.objects(), out); | ||
| 1905 | } | ||
| 1906 | |||
| 1907 | void transformCompCommon(Comprehension_t* comp, str_list& out) { | ||
| 1908 | str_list temp; | ||
| 1909 | auto compInner = comp->forLoop.get(); | ||
| 1910 | for (auto item : compInner->items.objects()) { | ||
| 1911 | switch (item->getId()) { | ||
| 1912 | case "CompForEach"_id: | ||
| 1913 | transformCompForEach(static_cast<CompForEach_t*>(item), temp); | ||
| 1914 | break; | ||
| 1915 | case "CompFor"_id: | ||
| 1916 | transformCompFor(static_cast<CompFor_t*>(item), temp); | ||
| 1917 | break; | ||
| 1918 | case "Exp"_id: | ||
| 1919 | transformExp(static_cast<Exp_t*>(item), temp); | ||
| 1920 | temp.back() = indent() + s("if "sv) + temp.back() + s(" then"sv) + nll(item); | ||
| 1921 | pushScope(); | ||
| 1922 | break; | ||
| 1923 | } | ||
| 1924 | } | ||
| 1925 | if (auto stmt = comp->value.as<Statement_t>()) { | ||
| 1926 | transformStatement(stmt, temp); | ||
| 1927 | } else if (auto exp = comp->value.as<Exp_t>()) { | ||
| 1928 | auto expList = new_ptr<ExpList_t>(); | ||
| 1929 | expList->exprs.push_back(exp); | ||
| 1930 | auto statement = new_ptr<Statement_t>(); | ||
| 1931 | statement->content.set(expList); | ||
| 1932 | transformStatement(statement, temp); | ||
| 1933 | } | ||
| 1934 | auto value = temp.back(); | ||
| 1935 | temp.pop_back(); | ||
| 1936 | _buf << join(temp) << value; | ||
| 1937 | for (size_t i = 0; i < compInner->items.objects().size(); ++i) { | ||
| 1938 | popScope(); | ||
| 1939 | _buf << indent() << "end"sv << nll(comp); | ||
| 1940 | } | ||
| 1941 | out.push_back(clearBuf()); | ||
| 1942 | } | ||
| 1943 | |||
| 1944 | void transformComprehension(Comprehension_t* comp, str_list& out) { | ||
| 1945 | str_list temp; | ||
| 1946 | std::string accum = getUnusedName("_accum_"); | ||
| 1947 | std::string len = getUnusedName("_len_"); | ||
| 1948 | addToScope(accum); | ||
| 1949 | addToScope(len); | ||
| 1950 | auto compInner = comp->forLoop.get(); | ||
| 1951 | for (auto item : compInner->items.objects()) { | ||
| 1952 | switch (item->getId()) { | ||
| 1953 | case "CompForEach"_id: | ||
| 1954 | transformCompForEach(static_cast<CompForEach_t*>(item), temp); | ||
| 1955 | break; | ||
| 1956 | case "CompFor"_id: | ||
| 1957 | transformCompFor(static_cast<CompFor_t*>(item), temp); | ||
| 1958 | break; | ||
| 1959 | case "Exp"_id: | ||
| 1960 | transformExp(static_cast<Exp_t*>(item), temp); | ||
| 1961 | temp.back() = indent() + s("if "sv) + temp.back() + s(" then"sv) + nll(item); | ||
| 1962 | pushScope(); | ||
| 1963 | break; | ||
| 1964 | } | ||
| 1965 | } | ||
| 1966 | transformExp(comp->value.to<Exp_t>(), temp); | ||
| 1967 | auto value = temp.back(); | ||
| 1968 | temp.pop_back(); | ||
| 1969 | for (size_t i = 0; i < compInner->items.objects().size(); ++i) { | ||
| 1970 | popScope(); | ||
| 1971 | } | ||
| 1972 | _buf << indent() << "local "sv << accum << " = { }"sv << nll(comp); | ||
| 1973 | _buf << indent() << "local "sv << len << " = 1"sv << nll(comp); | ||
| 1974 | _buf << join(temp); | ||
| 1975 | _buf << indent(int(temp.size())) << accum << "["sv << len << "] = "sv << value << nll(comp); | ||
| 1976 | _buf << indent(int(temp.size())) << len << " = "sv << len << " + 1"sv << nll(comp); | ||
| 1977 | for (int ind = int(temp.size()) - 1; ind > -1 ; --ind) { | ||
| 1978 | _buf << indent(ind) << "end"sv << nll(comp); | ||
| 1979 | } | ||
| 1980 | out.push_back(accum); | ||
| 1981 | out.push_back(clearBuf()); | ||
| 1982 | } | ||
| 1983 | |||
| 1984 | void transformCompInPlace(Comprehension_t* comp, ExpList_t* expList, str_list& out) { | ||
| 1985 | str_list temp; | ||
| 1986 | pushScope(); | ||
| 1987 | transformComprehension(comp, temp); | ||
| 1988 | auto assign = new_ptr<Assign_t>(); | ||
| 1989 | assign->values.push_back(toAst<Exp_t>(temp.front(), Exp)); | ||
| 1990 | auto assignment = new_ptr<Assignment_t>(); | ||
| 1991 | assignment->assignable.set(expList); | ||
| 1992 | assignment->target.set(assign); | ||
| 1993 | assignment->m_begin.m_line = comp->m_end.m_line; | ||
| 1994 | assignment->m_end.m_line = comp->m_end.m_line; | ||
| 1995 | transformAssignment(assignment, temp); | ||
| 1996 | out.push_back( | ||
| 1997 | s("do"sv) + nll(comp) + | ||
| 1998 | *(++temp.begin()) + | ||
| 1999 | temp.back()); | ||
| 2000 | popScope(); | ||
| 2001 | out.back() = out.back() + indent() + s("end"sv) + nlr(comp); | ||
| 2002 | } | ||
| 2003 | |||
| 2004 | void transformCompReturn(Comprehension_t* comp, str_list& out) { | ||
| 2005 | str_list temp; | ||
| 2006 | transformComprehension(comp, temp); | ||
| 2007 | out.push_back(temp.back() + indent() + s("return "sv) + temp.front() + nlr(comp)); | ||
| 2008 | } | ||
| 2009 | |||
| 2010 | void transformCompClosure(Comprehension_t* comp, str_list& out) { | ||
| 2011 | str_list temp; | ||
| 2012 | std::string before = s("(function()"sv) + nll(comp); | ||
| 2013 | pushScope(); | ||
| 2014 | transformComprehension(comp, temp); | ||
| 2015 | out.push_back( | ||
| 2016 | before + | ||
| 2017 | temp.back() + | ||
| 2018 | indent() + s("return "sv) + temp.front() + nlr(comp)); | ||
| 2019 | popScope(); | ||
| 2020 | out.back() = out.back() + indent() + s("end)()"sv); | ||
| 2021 | } | ||
| 2022 | |||
| 2023 | void transformForEachHead(AssignableNameList_t* nameList, ast_node* loopTarget, str_list& out) { | ||
| 2024 | str_list temp; | ||
| 2025 | str_list vars; | ||
| 2026 | std::list<std::pair<ast_node*, ast_ptr<ast_node,false,false>>> destructPairs; | ||
| 2027 | for (auto _item : nameList->items.objects()) { | ||
| 2028 | auto item = static_cast<NameOrDestructure_t*>(_item)->item.get(); | ||
| 2029 | switch (item->getId()) { | ||
| 2030 | case "Variable"_id: | ||
| 2031 | transformVariable(static_cast<Variable_t*>(item), vars); | ||
| 2032 | break; | ||
| 2033 | case "TableLit"_id: { | ||
| 2034 | auto desVar = getUnusedName("_des_"sv); | ||
| 2035 | destructPairs.emplace_back(item, toAst<Exp_t>(desVar, Exp)); | ||
| 2036 | vars.push_back(desVar); | ||
| 2037 | break; | ||
| 2038 | } | ||
| 2039 | default: break; | ||
| 2040 | } | ||
| 2041 | } | ||
| 2042 | str_list varBefore, varAfter; | ||
| 2043 | switch (loopTarget->getId()) { | ||
| 2044 | case "star_exp"_id: { | ||
| 2045 | auto star_exp = static_cast<star_exp_t*>(loopTarget); | ||
| 2046 | bool newListVal = false; | ||
| 2047 | auto listVar = variableFrom(star_exp->value); | ||
| 2048 | auto indexVar = getUnusedName("_index_"); | ||
| 2049 | varAfter.push_back(indexVar); | ||
| 2050 | auto value = singleValueFrom(star_exp->value); | ||
| 2051 | if (!value) throw std::logic_error("Invalid star syntax"); | ||
| 2052 | bool endWithSlice = false; | ||
| 2053 | do { | ||
| 2054 | auto chainValue = value->item.as<ChainValue_t>(); | ||
| 2055 | if (!chainValue) break; | ||
| 2056 | auto chainList = chainValue->items.objects(); | ||
| 2057 | auto slice = ast_cast<Slice_t>(chainList.back()); | ||
| 2058 | if (!slice) break; | ||
| 2059 | endWithSlice = true; | ||
| 2060 | if (listVar.empty() && chainList.size() == 2 && | ||
| 2061 | ast_is<Callable_t>(chainList.front())) { | ||
| 2062 | listVar = toString(ast_to<Callable_t>(chainList.front())->item); | ||
| 2063 | } | ||
| 2064 | chainList.pop_back(); | ||
| 2065 | auto chain = new_ptr<ChainValue_t>(); | ||
| 2066 | for (auto item : chainList) { | ||
| 2067 | chain->items.push_back(item); | ||
| 2068 | } | ||
| 2069 | std::string startValue("1"sv); | ||
| 2070 | if (auto exp = slice->startValue.as<Exp_t>()) { | ||
| 2071 | transformExp(exp, temp); | ||
| 2072 | startValue = temp.back(); | ||
| 2073 | temp.pop_back(); | ||
| 2074 | } | ||
| 2075 | std::string stopValue; | ||
| 2076 | if (auto exp = slice->stopValue.as<Exp_t>()) { | ||
| 2077 | transformExp(exp, temp); | ||
| 2078 | stopValue = temp.back(); | ||
| 2079 | temp.pop_back(); | ||
| 2080 | } | ||
| 2081 | std::string stepValue; | ||
| 2082 | if (auto exp = slice->stepValue.as<Exp_t>()) { | ||
| 2083 | transformExp(exp, temp); | ||
| 2084 | stepValue = temp.back(); | ||
| 2085 | temp.pop_back(); | ||
| 2086 | } | ||
| 2087 | if (newListVal) { | ||
| 2088 | transformChainValue(chain, temp); | ||
| 2089 | _buf << indent() << "local "sv << listVar << " = "sv << temp.back() << nll(nameList); | ||
| 2090 | } | ||
| 2091 | std::string maxVar; | ||
| 2092 | if (!stopValue.empty()) { | ||
| 2093 | maxVar = getUnusedName("_max_"); | ||
| 2094 | varBefore.push_back(maxVar); | ||
| 2095 | _buf << indent() << "local "sv << maxVar << " = "sv << stopValue << nll(nameList); | ||
| 2096 | } | ||
| 2097 | _buf << indent() << "for "sv << indexVar << " = "sv; | ||
| 2098 | _buf << startValue << ", "sv; | ||
| 2099 | if (stopValue.empty()) { | ||
| 2100 | _buf << "#"sv << listVar; | ||
| 2101 | } else { | ||
| 2102 | _buf << maxVar << " < 0 and #"sv << listVar <<" + " << maxVar << " or "sv << maxVar; | ||
| 2103 | } | ||
| 2104 | if (!stepValue.empty()) { | ||
| 2105 | _buf << ", "sv << stepValue; | ||
| 2106 | } | ||
| 2107 | _buf << " do"sv << nlr(loopTarget); | ||
| 2108 | _buf << indent(1) << "local "sv << join(vars, ", "sv) << " = "sv << listVar << "["sv << indexVar << "]"sv << nll(nameList); | ||
| 2109 | out.push_back(clearBuf()); | ||
| 2110 | } while (false); | ||
| 2111 | if (listVar.empty()) { | ||
| 2112 | newListVal = true; | ||
| 2113 | listVar = getUnusedName("_list_"); | ||
| 2114 | varBefore.push_back(listVar); | ||
| 2115 | } | ||
| 2116 | if (!endWithSlice) { | ||
| 2117 | transformExp(star_exp->value, temp); | ||
| 2118 | if (newListVal) _buf << indent() << "local "sv << listVar << " = "sv << temp.back() << nll(nameList); | ||
| 2119 | _buf << indent() << "for "sv << indexVar << " = 1, #"sv << listVar << " do"sv << nlr(loopTarget); | ||
| 2120 | _buf << indent(1) << "local "sv << join(vars) << " = "sv << listVar << "["sv << indexVar << "]"sv << nll(nameList); | ||
| 2121 | out.push_back(clearBuf()); | ||
| 2122 | } | ||
| 2123 | break; | ||
| 2124 | } | ||
| 2125 | case "Exp"_id: | ||
| 2126 | transformExp(static_cast<Exp_t*>(loopTarget), temp); | ||
| 2127 | _buf << indent() << "for "sv << join(vars, ", "sv) << " in "sv << temp.back() << " do"sv << nlr(loopTarget); | ||
| 2128 | out.push_back(clearBuf()); | ||
| 2129 | break; | ||
| 2130 | case "ExpList"_id: | ||
| 2131 | transformExpList(static_cast<ExpList_t*>(loopTarget), temp); | ||
| 2132 | _buf << indent() << "for "sv << join(vars, ", "sv) << " in "sv << temp.back() << " do"sv << nlr(loopTarget); | ||
| 2133 | out.push_back(clearBuf()); | ||
| 2134 | break; | ||
| 2135 | default: break; | ||
| 2136 | } | ||
| 2137 | if (!destructPairs.empty()) { | ||
| 2138 | temp.clear(); | ||
| 2139 | pushScope(); | ||
| 2140 | for (auto& pair : destructPairs) { | ||
| 2141 | auto sValue = new_ptr<SimpleValue_t>(); | ||
| 2142 | sValue->value.set(pair.first); | ||
| 2143 | auto value = new_ptr<Value_t>(); | ||
| 2144 | value->item.set(sValue); | ||
| 2145 | auto exp = new_ptr<Exp_t>(); | ||
| 2146 | exp->value.set(value); | ||
| 2147 | auto expList = new_ptr<ExpList_t>(); | ||
| 2148 | expList->exprs.push_back(exp); | ||
| 2149 | auto assign = new_ptr<Assign_t>(); | ||
| 2150 | assign->values.push_back(pair.second); | ||
| 2151 | auto assignment = new_ptr<Assignment_t>(); | ||
| 2152 | assignment->assignable.set(expList); | ||
| 2153 | assignment->target.set(assign); | ||
| 2154 | transformAssignment(assignment, temp); | ||
| 2155 | } | ||
| 2156 | out.back().append(join(temp)); | ||
| 2157 | popScope(); | ||
| 2158 | } | ||
| 2159 | for (auto& var : varBefore) addToScope(var); | ||
| 2160 | pushScope(); | ||
| 2161 | for (auto& var : varAfter) addToScope(var); | ||
| 2162 | } | ||
| 2163 | |||
| 2164 | void transformCompForEach(CompForEach_t* comp, str_list& out) { | ||
| 2165 | transformForEachHead(comp->nameList, comp->loopValue, out); | ||
| 2166 | } | ||
| 2167 | |||
| 2168 | void transformInvokeArgs(InvokeArgs_t* invokeArgs, str_list& out) { | ||
| 2169 | str_list temp; | ||
| 2170 | for (auto arg : invokeArgs->args.objects()) { | ||
| 2171 | switch (arg->getId()) { | ||
| 2172 | case "Exp"_id: transformExp(static_cast<Exp_t*>(arg), temp); break; | ||
| 2173 | case "TableBlock"_id: transformTableBlock(static_cast<TableBlock_t*>(arg), temp); break; | ||
| 2174 | default: break; | ||
| 2175 | } | ||
| 2176 | } | ||
| 2177 | out.push_back(s("("sv) + join(temp, ", "sv) + s(")"sv)); | ||
| 2178 | } | ||
| 2179 | |||
| 2180 | void transformForHead(For_t* forNode, str_list& out) { | ||
| 2181 | str_list temp; | ||
| 2182 | std::string varName = toString(forNode->varName); | ||
| 2183 | transformExp(forNode->startValue, temp); | ||
| 2184 | transformExp(forNode->stopValue, temp); | ||
| 2185 | if (forNode->stepValue) { | ||
| 2186 | transformExp(forNode->stepValue->value, temp); | ||
| 2187 | } else { | ||
| 2188 | temp.emplace_back(); | ||
| 2189 | } | ||
| 2190 | auto it = temp.begin(); | ||
| 2191 | const auto& start = *it; | ||
| 2192 | const auto& stop = *(++it); | ||
| 2193 | const auto& step = *(++it); | ||
| 2194 | _buf << indent() << "for "sv << varName << " = "sv << start << ", "sv << stop << (step.empty() ? Empty : s(", "sv) + step) << " do"sv << nll(forNode); | ||
| 2195 | out.push_back(clearBuf()); | ||
| 2196 | } | ||
| 2197 | |||
| 2198 | void transformLoopBody(Body_t* body, str_list& out) { | ||
| 2199 | str_list temp; | ||
| 2200 | bool withContinue = traversal::Stop == body->traverse([&](ast_node* node) { | ||
| 2201 | switch (node->getId()) { | ||
| 2202 | case "For"_id: | ||
| 2203 | case "ForEach"_id: | ||
| 2204 | return traversal::Return; | ||
| 2205 | case "BreakLoop"_id: { | ||
| 2206 | return toString(node) == "continue"sv ? | ||
| 2207 | traversal::Stop : traversal::Return; | ||
| 2208 | } | ||
| 2209 | default: | ||
| 2210 | return traversal::Continue; | ||
| 2211 | } | ||
| 2212 | }); | ||
| 2213 | if (withContinue) { | ||
| 2214 | auto continueVar = getUnusedName("_continue_"sv); | ||
| 2215 | addToScope(continueVar); | ||
| 2216 | _buf << indent() << "local "sv << continueVar << " = false"sv << nll(body); | ||
| 2217 | _buf << indent() << "repeat"sv << nll(body); | ||
| 2218 | temp.push_back(clearBuf()); | ||
| 2219 | _continueVars.push(continueVar); | ||
| 2220 | pushScope(); | ||
| 2221 | } | ||
| 2222 | transformBody(body, temp); | ||
| 2223 | if (withContinue) { | ||
| 2224 | _buf << indent() << _continueVars.top() << " = true"sv << nll(body); | ||
| 2225 | popScope(); | ||
| 2226 | _buf << indent() << "until true"sv << nlr(body); | ||
| 2227 | _buf << indent() << "if not "sv << _continueVars.top() << " then"sv << nlr(body); | ||
| 2228 | _buf << indent(1) << "break"sv << nlr(body); | ||
| 2229 | _buf << indent() << "end"sv << nlr(body); | ||
| 2230 | temp.push_back(clearBuf()); | ||
| 2231 | _continueVars.pop(); | ||
| 2232 | } | ||
| 2233 | out.push_back(join(temp)); | ||
| 2234 | } | ||
| 2235 | |||
| 2236 | void transformFor(For_t* forNode, str_list& out) { | ||
| 2237 | str_list temp; | ||
| 2238 | transformForHead(forNode, temp); | ||
| 2239 | pushScope(); | ||
| 2240 | transformLoopBody(forNode->body, temp); | ||
| 2241 | popScope(); | ||
| 2242 | out.push_back(join(temp) + indent() + s("end"sv) + nlr(forNode)); | ||
| 2243 | } | ||
| 2244 | |||
| 2245 | void transformForClosure(For_t* forNode, str_list& out) { | ||
| 2246 | str_list temp; | ||
| 2247 | std::string accum = getUnusedName("_accum_"); | ||
| 2248 | std::string len = getUnusedName("_len_"); | ||
| 2249 | addToScope(accum); | ||
| 2250 | addToScope(len); | ||
| 2251 | _buf << "(function()"sv << nll(forNode); | ||
| 2252 | pushScope(); | ||
| 2253 | _buf << indent() << "local "sv << accum << " = { }"sv << nll(forNode); | ||
| 2254 | _buf << indent() << "local "sv << len << " = 1"sv << nll(forNode); | ||
| 2255 | temp.push_back(clearBuf()); | ||
| 2256 | transformForHead(forNode, temp); | ||
| 2257 | auto last = lastStatementFrom(forNode->body); | ||
| 2258 | bool hasTableItem = ast_is<ExpList_t>(last->content); | ||
| 2259 | if (hasTableItem) { | ||
| 2260 | _buf << accum << "["sv << len << "]"sv; | ||
| 2261 | std::string assignLeft = clearBuf(); | ||
| 2262 | auto expList = toAst<ExpList_t>(assignLeft, ExpList); | ||
| 2263 | auto assignment = new_ptr<Assignment_t>(); | ||
| 2264 | assignment->assignable.set(expList); | ||
| 2265 | auto assign = new_ptr<Assign_t>(); | ||
| 2266 | assign->values.dup(ast_cast<ExpList_t>(last->content)->exprs); | ||
| 2267 | assignment->target.set(assign); | ||
| 2268 | last->content.set(assignment); | ||
| 2269 | } | ||
| 2270 | pushScope(); | ||
| 2271 | transformLoopBody(forNode->body, temp); | ||
| 2272 | temp.push_back(indent() + len + s(" = "sv) + len + s(" + 1"sv) + nlr(forNode->body)); | ||
| 2273 | popScope(); | ||
| 2274 | temp.push_back(indent() + s("end"sv) + nlr(forNode) + indent() + s("return "sv) + accum + nlr(forNode)); | ||
| 2275 | popScope(); | ||
| 2276 | temp.push_back(indent() + s("end)()"sv)); | ||
| 2277 | out.push_back(join(temp)); | ||
| 2278 | } | ||
| 2279 | |||
| 2280 | void transformForInPlace(For_t* forNode, str_list& out, ExpList_t* assignExpList) { | ||
| 2281 | str_list temp; | ||
| 2282 | std::string accum = getUnusedName("_accum_"); | ||
| 2283 | std::string len = getUnusedName("_len_"); | ||
| 2284 | _buf << indent() << "do"sv << nll(forNode); | ||
| 2285 | pushScope(); | ||
| 2286 | addToScope(accum); | ||
| 2287 | addToScope(len); | ||
| 2288 | _buf << indent() << "local "sv << accum << " = { }"sv << nll(forNode); | ||
| 2289 | _buf << indent() << "local "sv << len << " = 1"sv << nll(forNode); | ||
| 2290 | temp.push_back(clearBuf()); | ||
| 2291 | transformForHead(forNode, temp); | ||
| 2292 | auto last = lastStatementFrom(forNode->body); | ||
| 2293 | bool hasTableItem = ast_is<ExpList_t>(last->content); | ||
| 2294 | if (hasTableItem) { | ||
| 2295 | _buf << accum << "["sv << len << "]"sv; | ||
| 2296 | std::string assignLeft = clearBuf(); | ||
| 2297 | auto expList = toAst<ExpList_t>(assignLeft, ExpList); | ||
| 2298 | auto assignment = new_ptr<Assignment_t>(); | ||
| 2299 | assignment->assignable.set(expList); | ||
| 2300 | auto assign = new_ptr<Assign_t>(); | ||
| 2301 | assign->values.dup(ast_cast<ExpList_t>(last->content)->exprs); | ||
| 2302 | assignment->target.set(assign); | ||
| 2303 | last->content.set(assignment); | ||
| 2304 | } | ||
| 2305 | pushScope(); | ||
| 2306 | transformLoopBody(forNode->body, temp); | ||
| 2307 | temp.push_back(indent() + len + s(" = "sv) + len + s(" + 1"sv) + nlr(forNode->body)); | ||
| 2308 | popScope(); | ||
| 2309 | temp.push_back(indent() + s("end"sv) + nlr(forNode)); | ||
| 2310 | auto assign = new_ptr<Assign_t>(); | ||
| 2311 | assign->values.push_back(toAst<Exp_t>(accum, Exp)); | ||
| 2312 | auto assignment = new_ptr<Assignment_t>(); | ||
| 2313 | assignment->assignable.set(assignExpList); | ||
| 2314 | assignment->target.set(assign); | ||
| 2315 | assignment->m_begin.m_line = forNode->m_end.m_line; | ||
| 2316 | assignment->m_end.m_line = forNode->m_end.m_line; | ||
| 2317 | transformAssignment(assignment, temp); | ||
| 2318 | popScope(); | ||
| 2319 | temp.push_back(indent() + s("end"sv) + nlr(forNode)); | ||
| 2320 | out.push_back(join(temp)); | ||
| 2321 | } | ||
| 2322 | |||
| 2323 | void transformBinaryOperator(BinaryOperator_t* node, str_list& out) { | ||
| 2324 | auto op = toString(node); | ||
| 2325 | out.push_back(op == "!="sv ? s("~="sv) : op); | ||
| 2326 | } | ||
| 2327 | |||
| 2328 | void transformForEach(ForEach_t* forEach, str_list& out) { | ||
| 2329 | str_list temp; | ||
| 2330 | transformForEachHead(forEach->nameList, forEach->loopValue, temp); | ||
| 2331 | transformLoopBody(forEach->body, temp); | ||
| 2332 | popScope(); | ||
| 2333 | out.push_back(temp.front() + temp.back() + indent() + s("end"sv) + nlr(forEach)); | ||
| 2334 | } | ||
| 2335 | |||
| 2336 | void transformForEachClosure(ForEach_t* forEach, str_list& out) { | ||
| 2337 | str_list temp; | ||
| 2338 | std::string accum = getUnusedName("_accum_"); | ||
| 2339 | std::string len = getUnusedName("_len_"); | ||
| 2340 | _buf << "(function()"sv << nll(forEach); | ||
| 2341 | pushScope(); | ||
| 2342 | addToScope(accum); | ||
| 2343 | addToScope(len); | ||
| 2344 | _buf << indent() << "local "sv << accum << " = { }"sv << nll(forEach); | ||
| 2345 | _buf << indent() << "local "sv << len << " = 1"sv << nll(forEach); | ||
| 2346 | temp.push_back(clearBuf()); | ||
| 2347 | transformForEachHead(forEach->nameList, forEach->loopValue, temp); | ||
| 2348 | auto last = lastStatementFrom(forEach->body); | ||
| 2349 | bool hasTableItem = ast_is<ExpList_t>(last->content); | ||
| 2350 | if (hasTableItem) { | ||
| 2351 | _buf << accum << "["sv << len << "]"sv; | ||
| 2352 | std::string assignLeft = clearBuf(); | ||
| 2353 | auto expList = toAst<ExpList_t>(assignLeft, ExpList); | ||
| 2354 | auto assignment = new_ptr<Assignment_t>(); | ||
| 2355 | assignment->assignable.set(expList); | ||
| 2356 | auto assign = new_ptr<Assign_t>(); | ||
| 2357 | assign->values.dup(ast_cast<ExpList_t>(last->content)->exprs); | ||
| 2358 | assignment->target.set(assign); | ||
| 2359 | last->content.set(assignment); | ||
| 2360 | } | ||
| 2361 | transformLoopBody(forEach->body, temp); | ||
| 2362 | temp.push_back(indent() + len + s(" = "sv) + len + s(" + 1"sv) + nlr(forEach->body)); | ||
| 2363 | popScope(); | ||
| 2364 | temp.push_back(indent() + s("end"sv) + nlr(forEach) + indent() + s("return "sv) + accum + nlr(forEach)); | ||
| 2365 | popScope(); | ||
| 2366 | temp.push_back(indent() + s("end)()"sv)); | ||
| 2367 | out.push_back(join(temp)); | ||
| 2368 | } | ||
| 2369 | |||
| 2370 | void transformForEachInPlace(ForEach_t* forEach, str_list& out, ExpList_t* assignExpList) { | ||
| 2371 | str_list temp; | ||
| 2372 | std::string accum = getUnusedName("_accum_"); | ||
| 2373 | std::string len = getUnusedName("_len_"); | ||
| 2374 | _buf << indent() << "do"sv << nll(forEach); | ||
| 2375 | pushScope(); | ||
| 2376 | addToScope(accum); | ||
| 2377 | addToScope(len); | ||
| 2378 | _buf << indent() << "local "sv << accum << " = { }"sv << nll(forEach); | ||
| 2379 | _buf << indent() << "local "sv << len << " = 1"sv << nll(forEach); | ||
| 2380 | temp.push_back(clearBuf()); | ||
| 2381 | transformForEachHead(forEach->nameList, forEach->loopValue, temp); | ||
| 2382 | auto last = lastStatementFrom(forEach->body); | ||
| 2383 | bool hasTableItem = ast_is<ExpList_t>(last->content); | ||
| 2384 | if (hasTableItem) { | ||
| 2385 | _buf << accum << "["sv << len << "]"sv; | ||
| 2386 | std::string assignLeft = clearBuf(); | ||
| 2387 | auto expList = toAst<ExpList_t>(assignLeft, ExpList); | ||
| 2388 | auto assignment = new_ptr<Assignment_t>(); | ||
| 2389 | assignment->assignable.set(expList); | ||
| 2390 | auto assign = new_ptr<Assign_t>(); | ||
| 2391 | assign->values.dup(ast_cast<ExpList_t>(last->content)->exprs); | ||
| 2392 | assignment->target.set(assign); | ||
| 2393 | last->content.set(assignment); | ||
| 2394 | } | ||
| 2395 | transformLoopBody(forEach->body, temp); | ||
| 2396 | temp.push_back(indent() + len + s(" = "sv) + len + s(" + 1"sv) + nlr(forEach->body)); | ||
| 2397 | popScope(); | ||
| 2398 | temp.push_back(indent() + s("end"sv) + nlr(forEach)); | ||
| 2399 | auto assign = new_ptr<Assign_t>(); | ||
| 2400 | assign->values.push_back(toAst<Exp_t>(accum, Exp)); | ||
| 2401 | auto assignment = new_ptr<Assignment_t>(); | ||
| 2402 | assignment->assignable.set(assignExpList); | ||
| 2403 | assignment->target.set(assign); | ||
| 2404 | assignment->m_begin.m_line = forEach->m_end.m_line; | ||
| 2405 | assignment->m_end.m_line = forEach->m_end.m_line; | ||
| 2406 | transformAssignment(assignment, temp); | ||
| 2407 | popScope(); | ||
| 2408 | temp.push_back(indent() + s("end"sv) + nlr(forEach)); | ||
| 2409 | out.push_back(join(temp)); | ||
| 2410 | } | ||
| 2411 | |||
| 2412 | void transform_variable_pair(variable_pair_t* pair, str_list& out) { | ||
| 2413 | auto name = toString(pair->name); | ||
| 2414 | out.push_back(name + s(" = "sv) + name); | ||
| 2415 | } | ||
| 2416 | |||
| 2417 | void transform_normal_pair(normal_pair_t* pair, str_list& out) { | ||
| 2418 | auto key = pair->key.get(); | ||
| 2419 | str_list temp; | ||
| 2420 | switch (key->getId()) { | ||
| 2421 | case "KeyName"_id: { | ||
| 2422 | transformKeyName(static_cast<KeyName_t*>(key), temp); | ||
| 2423 | if (State::luaKeywords.find(temp.back()) != State::luaKeywords.end()) { | ||
| 2424 | temp.back() = s("[\""sv) + temp.back() + s("\"]"); | ||
| 2425 | } | ||
| 2426 | break; | ||
| 2427 | } | ||
| 2428 | case "Exp"_id: | ||
| 2429 | transformExp(static_cast<Exp_t*>(key), temp); | ||
| 2430 | temp.back() = s("["sv) + temp.back() + s("]"sv); | ||
| 2431 | break; | ||
| 2432 | case "DoubleString"_id: | ||
| 2433 | transformDoubleString(static_cast<DoubleString_t*>(key), temp); | ||
| 2434 | temp.back() = s("["sv) + temp.back() + s("]"sv); | ||
| 2435 | break; | ||
| 2436 | case "SingleString"_id: transformSingleString(static_cast<SingleString_t*>(key), temp); | ||
| 2437 | temp.back() = s("["sv) + temp.back() + s("]"sv); | ||
| 2438 | break; | ||
| 2439 | default: break; | ||
| 2440 | } | ||
| 2441 | auto value = pair->value.get(); | ||
| 2442 | switch (value->getId()) { | ||
| 2443 | case "Exp"_id: transformExp(static_cast<Exp_t*>(value), temp); break; | ||
| 2444 | case "TableBlock"_id: transformTableBlock(static_cast<TableBlock_t*>(value), temp); break; | ||
| 2445 | default: break; | ||
| 2446 | } | ||
| 2447 | out.push_back(temp.front() + s(" = "sv) + temp.back()); | ||
| 2448 | } | ||
| 2449 | |||
| 2450 | void transformKeyName(KeyName_t* keyName, str_list& out) { | ||
| 2451 | auto name = keyName->name.get(); | ||
| 2452 | switch (name->getId()) { | ||
| 2453 | case "SelfName"_id: transformSelfName(static_cast<SelfName_t*>(name), out, false); break; | ||
| 2454 | case "Name"_id: out.push_back(toString(name)); break; | ||
| 2455 | default: break; | ||
| 2456 | } | ||
| 2457 | } | ||
| 2458 | |||
| 2459 | void replace(std::string& str, std::string_view from, std::string_view to) { | ||
| 2460 | size_t start_pos = 0; | ||
| 2461 | while((start_pos = str.find(from, start_pos)) != std::string::npos) { | ||
| 2462 | str.replace(start_pos, from.size(), to); | ||
| 2463 | start_pos += to.size(); | ||
| 2464 | } | ||
| 2465 | } | ||
| 2466 | |||
| 2467 | void transformLuaString(LuaString_t* luaString, str_list& out) { | ||
| 2468 | auto content = toString(luaString->content); | ||
| 2469 | replace(content, "\r"sv, ""); | ||
| 2470 | if (content[0] == '\n') content.erase(content.begin()); | ||
| 2471 | out.push_back(toString(luaString->open) + content + toString(luaString->close)); | ||
| 2472 | } | ||
| 2473 | |||
| 2474 | void transformSingleString(SingleString_t* singleString, str_list& out) { | ||
| 2475 | auto str = toString(singleString); | ||
| 2476 | replace(str, "\r"sv, ""); | ||
| 2477 | replace(str, "\n"sv, "\\n"sv); | ||
| 2478 | out.push_back(str); | ||
| 2479 | } | ||
| 2480 | |||
| 2481 | void transformDoubleString(DoubleString_t* doubleString, str_list& out) { | ||
| 2482 | str_list temp; | ||
| 2483 | for (auto _seg : doubleString->segments.objects()) { | ||
| 2484 | auto seg = static_cast<double_string_content_t*>(_seg); | ||
| 2485 | auto content = seg->content.get(); | ||
| 2486 | switch (content->getId()) { | ||
| 2487 | case "double_string_inner"_id: { | ||
| 2488 | auto str = toString(content); | ||
| 2489 | replace(str, "\r"sv, ""); | ||
| 2490 | replace(str, "\n"sv, "\\n"sv); | ||
| 2491 | temp.push_back(s("\""sv) + str + s("\""sv)); | ||
| 2492 | break; | ||
| 2493 | } | ||
| 2494 | case "Exp"_id: | ||
| 2495 | transformExp(static_cast<Exp_t*>(content), temp); | ||
| 2496 | temp.back() = s("tostring("sv) + temp.back() + s(")"sv); | ||
| 2497 | break; | ||
| 2498 | default: break; | ||
| 2499 | } | ||
| 2500 | } | ||
| 2501 | out.push_back(temp.empty() ? s("\"\""sv) : join(temp, " .. "sv)); | ||
| 2502 | } | ||
| 2503 | |||
| 2504 | void transformString(String_t* string, str_list& out) { | ||
| 2505 | auto str = string->str.get(); | ||
| 2506 | switch (str->getId()) { | ||
| 2507 | case "SingleString"_id: transformSingleString(static_cast<SingleString_t*>(str), out); break; | ||
| 2508 | case "DoubleString"_id: transformDoubleString(static_cast<DoubleString_t*>(str), out); break; | ||
| 2509 | case "LuaString"_id: transformLuaString(static_cast<LuaString_t*>(str), out); break; | ||
| 2510 | default: break; | ||
| 2511 | } | ||
| 2512 | } | ||
| 2513 | |||
| 2514 | std::pair<std::string,bool> defineClassVariable(Assignable_t* assignable) { | ||
| 2515 | if (assignable->item->getId() == "Variable"_id) { | ||
| 2516 | auto variable = static_cast<Variable_t*>(assignable->item.get()); | ||
| 2517 | auto name = toString(variable); | ||
| 2518 | if (addToScope(name)) { | ||
| 2519 | return {name, true}; | ||
| 2520 | } else { | ||
| 2521 | return {name, false}; | ||
| 2522 | } | ||
| 2523 | } | ||
| 2524 | return {Empty, false}; | ||
| 2525 | } | ||
| 2526 | |||
| 2527 | void transformClassDeclClosure(ClassDecl_t* classDecl, str_list& out) { | ||
| 2528 | str_list temp; | ||
| 2529 | temp.push_back(s("(function()"sv) + nll(classDecl)); | ||
| 2530 | pushScope(); | ||
| 2531 | transformClassDecl(classDecl, temp, ExpUsage::Return); | ||
| 2532 | popScope(); | ||
| 2533 | temp.push_back(s("end)()"sv)); | ||
| 2534 | out.push_back(join(temp)); | ||
| 2535 | } | ||
| 2536 | |||
| 2537 | void transformClassDecl(ClassDecl_t* classDecl, str_list& out, ExpUsage usage = ExpUsage::Common, ExpList_t* expList = nullptr) { | ||
| 2538 | str_list temp; | ||
| 2539 | auto body = classDecl->body.get(); | ||
| 2540 | auto assignable = classDecl->name.get(); | ||
| 2541 | auto extend = classDecl->extend.get(); | ||
| 2542 | std::string className; | ||
| 2543 | std::string assignItem; | ||
| 2544 | if (assignable) { | ||
| 2545 | bool newDefined = false; | ||
| 2546 | std::tie(className, newDefined) = defineClassVariable(assignable); | ||
| 2547 | if (newDefined) { | ||
| 2548 | temp.push_back(indent() + s("local "sv) + className + nll(classDecl)); | ||
| 2549 | } | ||
| 2550 | if (className.empty()) { | ||
| 2551 | if (auto chain = ast_cast<AssignableChain_t>(assignable->item)) { | ||
| 2552 | if (auto dotChain = ast_cast<DotChainItem_t>(chain->items.back())) { | ||
| 2553 | className = s("\""sv) + toString(dotChain->name) + s("\""sv); | ||
| 2554 | } else if (auto index = ast_cast<Exp_t>(chain->items.back())) { | ||
| 2555 | if (auto name = index->getByPath<Value_t, String_t>()) { | ||
| 2556 | transformString(name, temp); | ||
| 2557 | className = temp.back(); | ||
| 2558 | temp.pop_back(); | ||
| 2559 | } | ||
| 2560 | } | ||
| 2561 | } | ||
| 2562 | } else { | ||
| 2563 | className = s("\""sv) + className + s("\""sv); | ||
| 2564 | } | ||
| 2565 | pushScope(); | ||
| 2566 | transformAssignable(assignable, temp); | ||
| 2567 | popScope(); | ||
| 2568 | assignItem = temp.back(); | ||
| 2569 | temp.pop_back(); | ||
| 2570 | } else if (expList) { | ||
| 2571 | auto name = variableFrom(expList); | ||
| 2572 | if (!name.empty()) { | ||
| 2573 | className = s("\""sv) + name + s("\""sv); | ||
| 2574 | } | ||
| 2575 | } | ||
| 2576 | temp.push_back(indent() + s("do"sv) + nll(classDecl)); | ||
| 2577 | pushScope(); | ||
| 2578 | auto classVar = getUnusedName("_class_"sv); | ||
| 2579 | addToScope(classVar); | ||
| 2580 | temp.push_back(indent() + s("local "sv) + classVar + nll(classDecl)); | ||
| 2581 | if (body) { | ||
| 2582 | str_list varDefs; | ||
| 2583 | body->traverse([&](ast_node* node) { | ||
| 2584 | if (node->getId() == "Statement"_id) { | ||
| 2585 | ClassDecl_t* clsDecl = nullptr; | ||
| 2586 | if (auto assignment = node->getByPath<Assignment_t>()) { | ||
| 2587 | auto names = transformAssignDefs(assignment->assignable.get()); | ||
| 2588 | varDefs.insert(varDefs.end(), names.begin(), names.end()); | ||
| 2589 | auto info = extractDestructureInfo(assignment); | ||
| 2590 | if (!info.first.empty()) { | ||
| 2591 | for (const auto& destruct : info.first) | ||
| 2592 | for (const auto& item : destruct.items) | ||
| 2593 | if (item.isVariable && addToScope(item.name)) | ||
| 2594 | varDefs.push_back(item.name); | ||
| 2595 | } | ||
| 2596 | do { | ||
| 2597 | auto assign = assignment->target.as<Assign_t>(); | ||
| 2598 | if (!assign) break; | ||
| 2599 | if (assign->values.objects().size() != 1) break; | ||
| 2600 | auto exp = ast_cast<Exp_t>(assign->values.objects().front()); | ||
| 2601 | if (!exp) break; | ||
| 2602 | auto value = singleValueFrom(exp); | ||
| 2603 | clsDecl = value->getByPath<SimpleValue_t, ClassDecl_t>(); | ||
| 2604 | } while (false); | ||
| 2605 | } else if (auto expList = node->getByPath<ExpList_t>()) { | ||
| 2606 | auto value = singleValueFrom(expList); | ||
| 2607 | clsDecl = value->getByPath<SimpleValue_t, ClassDecl_t>(); | ||
| 2608 | } | ||
| 2609 | if (clsDecl) { | ||
| 2610 | std::string clsName; | ||
| 2611 | bool newDefined = false; | ||
| 2612 | std::tie(clsName,newDefined) = defineClassVariable(clsDecl->name); | ||
| 2613 | if (newDefined) varDefs.push_back(clsName); | ||
| 2614 | } | ||
| 2615 | return traversal::Return; | ||
| 2616 | } | ||
| 2617 | return traversal::Continue; | ||
| 2618 | }); | ||
| 2619 | if (!varDefs.empty()) { | ||
| 2620 | temp.push_back(indent() + s("local ") + join(varDefs, ", "sv) + nll(body)); | ||
| 2621 | } | ||
| 2622 | } | ||
| 2623 | std::string parent, parentVar; | ||
| 2624 | if (extend) { | ||
| 2625 | parentVar = getUnusedName("_parent_"sv); | ||
| 2626 | addToScope(parentVar); | ||
| 2627 | transformExp(extend, temp); | ||
| 2628 | parent = temp.back(); | ||
| 2629 | temp.pop_back(); | ||
| 2630 | temp.push_back(indent() + s("local "sv) + parentVar + s(" = "sv) + parent + nll(classDecl)); | ||
| 2631 | } | ||
| 2632 | auto baseVar = getUnusedName("_base_"sv); | ||
| 2633 | addToScope(baseVar); | ||
| 2634 | temp.push_back(indent() + s("local "sv) + baseVar + s(" = "sv)); | ||
| 2635 | str_list builtins; | ||
| 2636 | str_list commons; | ||
| 2637 | str_list statements; | ||
| 2638 | if (body) { | ||
| 2639 | std::list<ClassMember> members; | ||
| 2640 | for (auto content : classDecl->body->contents.objects()) { | ||
| 2641 | switch (content->getId()) { | ||
| 2642 | case "class_member_list"_id: { | ||
| 2643 | size_t inc = transform_class_member_list(static_cast<class_member_list_t*>(content), members, classVar); | ||
| 2644 | auto it = members.end(); | ||
| 2645 | for (size_t i = 0; i < inc; ++i, --it); | ||
| 2646 | for (; it != members.end(); ++it) { | ||
| 2647 | auto& member = *it; | ||
| 2648 | if (member.type == MemType::Property) { | ||
| 2649 | statements.push_back(indent() + member.item + nll(content)); | ||
| 2650 | } else { | ||
| 2651 | member.item = indent(1) + member.item; | ||
| 2652 | } | ||
| 2653 | } | ||
| 2654 | break; | ||
| 2655 | } | ||
| 2656 | case "Statement"_id: | ||
| 2657 | transformStatement(static_cast<Statement_t*>(content), statements); | ||
| 2658 | break; | ||
| 2659 | default: break; | ||
| 2660 | } | ||
| 2661 | } | ||
| 2662 | for (auto& member : members) { | ||
| 2663 | switch (member.type) { | ||
| 2664 | case MemType::Common: | ||
| 2665 | commons.push_back((commons.empty() ? Empty : s(","sv) + nll(member.node)) + member.item); | ||
| 2666 | break; | ||
| 2667 | case MemType::Builtin: | ||
| 2668 | builtins.push_back((builtins.empty() ? Empty : s(","sv) + nll(member.node)) + member.item); | ||
| 2669 | break; | ||
| 2670 | default: break; | ||
| 2671 | } | ||
| 2672 | } | ||
| 2673 | if (!commons.empty()) { | ||
| 2674 | temp.back() += s("{"sv) + nll(body); | ||
| 2675 | temp.push_back(join(commons) + nll(body)); | ||
| 2676 | temp.push_back(indent() + s("}"sv) + nll(body)); | ||
| 2677 | } else { | ||
| 2678 | temp.back() += s("{ }"sv) + nll(body); | ||
| 2679 | } | ||
| 2680 | } else { | ||
| 2681 | temp.back() += s("{ }"sv) + nll(classDecl); | ||
| 2682 | } | ||
| 2683 | temp.push_back(indent() + baseVar + s(".__index = "sv) + baseVar + nll(classDecl)); | ||
| 2684 | str_list tmp; | ||
| 2685 | if (usage == ExpUsage::Assignment) { | ||
| 2686 | auto assign = new_ptr<Assign_t>(); | ||
| 2687 | assign->values.push_back(toAst<Exp_t>(classVar, Exp)); | ||
| 2688 | auto assignment = new_ptr<Assignment_t>(); | ||
| 2689 | assignment->assignable.set(expList); | ||
| 2690 | assignment->target.set(assign); | ||
| 2691 | transformAssignment(assignment, tmp); | ||
| 2692 | } | ||
| 2693 | if (extend) { | ||
| 2694 | _buf << indent() << "setmetatable("sv << baseVar << ", "sv << parentVar << ".__base)"sv << nll(classDecl); | ||
| 2695 | } | ||
| 2696 | _buf << indent() << classVar << " = setmetatable({" << nll(classDecl); | ||
| 2697 | if (!builtins.empty()) { | ||
| 2698 | _buf << join(builtins) << ","sv << nll(classDecl); | ||
| 2699 | } else { | ||
| 2700 | if (extend) { | ||
| 2701 | _buf << indent(1) << "__init = function(self, ...)"sv << nll(classDecl); | ||
| 2702 | _buf << indent(2) << "return _class_0.__parent.__init(self, ...)"sv << nll(classDecl); | ||
| 2703 | _buf << indent(1) << "end,"sv << nll(classDecl); | ||
| 2704 | } else { | ||
| 2705 | _buf << indent(1) << "__init = function() end,"sv << nll(classDecl); | ||
| 2706 | } | ||
| 2707 | } | ||
| 2708 | _buf << indent(1) << "__base = "sv << baseVar; | ||
| 2709 | if (!className.empty()) { | ||
| 2710 | _buf << ","sv << nll(classDecl) << indent(1) << "__name = "sv << className << (extend ? s(","sv) : Empty) << nll(classDecl); | ||
| 2711 | } else { | ||
| 2712 | _buf << nll(classDecl); | ||
| 2713 | } | ||
| 2714 | if (extend) { | ||
| 2715 | _buf << indent(1) << "__parent = "sv << parentVar << nll(classDecl); | ||
| 2716 | } | ||
| 2717 | _buf << indent() << "}, {"sv << nll(classDecl); | ||
| 2718 | if (extend) { | ||
| 2719 | _buf << indent(1) << "__index = function(cls, name)"sv << nll(classDecl); | ||
| 2720 | _buf << indent(2) << "local val = rawget("sv << baseVar << ", name)"sv << nll(classDecl); | ||
| 2721 | _buf << indent(2) << "if val == nil then"sv << nll(classDecl); | ||
| 2722 | _buf << indent(3) << "local parent = rawget(cls, \"__parent\")"sv << nll(classDecl); | ||
| 2723 | _buf << indent(3) << "if parent then"sv << nll(classDecl); | ||
| 2724 | _buf << indent(4) << "return parent[name]"sv << nll(classDecl); | ||
| 2725 | _buf << indent(3) << "end"sv << nll(classDecl); | ||
| 2726 | _buf << indent(2) << "else"sv << nll(classDecl); | ||
| 2727 | _buf << indent(3) << "return val"sv << nll(classDecl); | ||
| 2728 | _buf << indent(2) << "end"sv << nll(classDecl); | ||
| 2729 | _buf << indent(1) << "end,"sv << nll(classDecl); | ||
| 2730 | } else { | ||
| 2731 | _buf << indent(1) << "__index = "sv << baseVar << ","sv << nll(classDecl); | ||
| 2732 | } | ||
| 2733 | _buf << indent(1) << "__call = function(cls, ...)"sv << nll(classDecl); | ||
| 2734 | pushScope(); | ||
| 2735 | auto selfVar = getUnusedName("_self_"sv); | ||
| 2736 | addToScope(selfVar); | ||
| 2737 | _buf << indent(1) << "local " << selfVar << " = setmetatable({}, "sv << baseVar << ")"sv << nll(classDecl); | ||
| 2738 | _buf << indent(1) << "cls.__init("sv << selfVar << ", ...)"sv << nll(classDecl); | ||
| 2739 | _buf << indent(1) << "return "sv << selfVar << nll(classDecl); | ||
| 2740 | popScope(); | ||
| 2741 | _buf << indent(1) << "end"sv << nll(classDecl); | ||
| 2742 | _buf << indent() << "})"sv << nll(classDecl); | ||
| 2743 | _buf << indent() << baseVar << ".__class = "sv << classVar << nll(classDecl); | ||
| 2744 | if (!statements.empty()) _buf << indent() << "local self = "sv << classVar << nll(classDecl); | ||
| 2745 | _buf << join(statements); | ||
| 2746 | if (extend) { | ||
| 2747 | _buf << indent() << "if "sv << parentVar << ".__inherited then"sv << nll(classDecl); | ||
| 2748 | _buf << indent(1) << parentVar << ".__inherited("sv << parentVar << ", "sv << classVar << ")"sv << nll(classDecl); | ||
| 2749 | _buf << indent() << "end"sv << nll(classDecl); | ||
| 2750 | } | ||
| 2751 | if (!assignItem.empty()) { | ||
| 2752 | _buf << indent() << assignItem << " = "sv << classVar << nll(classDecl); | ||
| 2753 | } | ||
| 2754 | switch (usage) { | ||
| 2755 | case ExpUsage::Return: { | ||
| 2756 | _buf << indent() << "return "sv << classVar << nlr(classDecl); | ||
| 2757 | break; | ||
| 2758 | } | ||
| 2759 | case ExpUsage::Assignment: { | ||
| 2760 | _buf << tmp.back(); | ||
| 2761 | break; | ||
| 2762 | } | ||
| 2763 | default: break; | ||
| 2764 | } | ||
| 2765 | temp.push_back(clearBuf()); | ||
| 2766 | popScope(); | ||
| 2767 | temp.push_back(indent() + s("end"sv) + nlr(classDecl)); | ||
| 2768 | out.push_back(join(temp)); | ||
| 2769 | } | ||
| 2770 | |||
| 2771 | size_t transform_class_member_list(class_member_list_t* class_member_list, std::list<ClassMember>& out, const std::string& classVar) { | ||
| 2772 | str_list temp; | ||
| 2773 | size_t count = 0; | ||
| 2774 | for (auto keyValue : class_member_list->values.objects()) { | ||
| 2775 | MemType type = MemType::Common; | ||
| 2776 | do { | ||
| 2777 | auto normal_pair = ast_cast<normal_pair_t>(keyValue); | ||
| 2778 | if (!normal_pair) break; | ||
| 2779 | auto keyName = normal_pair->key.as<KeyName_t>(); | ||
| 2780 | if (!keyName) break; | ||
| 2781 | input newSuperCall; | ||
| 2782 | auto selfName = keyName->name.as<SelfName_t>(); | ||
| 2783 | if (selfName) { | ||
| 2784 | type = MemType::Property; | ||
| 2785 | auto name = ast_cast<self_name_t>(selfName->name); | ||
| 2786 | if (!name) throw std::logic_error("Invalid class poperty name"); | ||
| 2787 | newSuperCall = _converter.from_bytes(classVar) + L".__parent." + _converter.from_bytes(toString(name->name)); | ||
| 2788 | } else { | ||
| 2789 | auto nameNode = keyName->name.as<Name_t>(); | ||
| 2790 | if (!nameNode) break; | ||
| 2791 | auto name = toString(nameNode); | ||
| 2792 | if (name == "new"sv) { | ||
| 2793 | type = MemType::Builtin; | ||
| 2794 | keyName->name.set(toAst<Name_t>("__init"sv, Name)); | ||
| 2795 | newSuperCall = _converter.from_bytes(classVar) + L".__parent.__init"; | ||
| 2796 | } else { | ||
| 2797 | newSuperCall = _converter.from_bytes(classVar) + L".__parent.__base." + _converter.from_bytes(name); | ||
| 2798 | } | ||
| 2799 | } | ||
| 2800 | normal_pair->value->traverse([&](ast_node* node) { | ||
| 2801 | if (node->getId() == "ClassDecl"_id) return traversal::Return; | ||
| 2802 | if (auto chainValue = ast_cast<ChainValue_t>(node)) { | ||
| 2803 | if (auto callable = ast_cast<Callable_t>(chainValue->items.front())) { | ||
| 2804 | auto var = callable->item.get(); | ||
| 2805 | if (toString(var) == "super"sv) { | ||
| 2806 | auto insertSelfToArguments = [&](ast_node* item) { | ||
| 2807 | switch (item->getId()) { | ||
| 2808 | case "InvokeArgs"_id: { | ||
| 2809 | auto invoke = static_cast<InvokeArgs_t*>(item); | ||
| 2810 | invoke->args.push_front(toAst<Exp_t>("self"sv, Exp)); | ||
| 2811 | return true; | ||
| 2812 | } | ||
| 2813 | case "Invoke"_id: { | ||
| 2814 | auto invoke = static_cast<Invoke_t*>(item); | ||
| 2815 | invoke->args.push_front(toAst<Exp_t>("self"sv, Exp)); | ||
| 2816 | return true; | ||
| 2817 | } | ||
| 2818 | default: | ||
| 2819 | return false; | ||
| 2820 | } | ||
| 2821 | }; | ||
| 2822 | const auto& chainList = chainValue->items.objects(); | ||
| 2823 | if (chainList.size() >= 2) { | ||
| 2824 | auto it = chainList.begin(); | ||
| 2825 | auto secondItem = *(++it); | ||
| 2826 | if (insertSelfToArguments(secondItem)) { | ||
| 2827 | _codeCache.push_back(newSuperCall); | ||
| 2828 | } else { | ||
| 2829 | if (auto colonChainItem = ast_cast<ColonChainItem_t>(secondItem)) { | ||
| 2830 | if (chainList.size() > 2 && insertSelfToArguments(*(++it))) { | ||
| 2831 | colonChainItem->switchToDot = true; | ||
| 2832 | } | ||
| 2833 | } | ||
| 2834 | _codeCache.push_back(_converter.from_bytes(classVar) + L".__parent"); | ||
| 2835 | } | ||
| 2836 | var->m_begin.m_it = _codeCache.back().begin(); | ||
| 2837 | var->m_end.m_it = _codeCache.back().end(); | ||
| 2838 | } else { | ||
| 2839 | _codeCache.push_back(_converter.from_bytes(classVar) + L".__parent"); | ||
| 2840 | var->m_begin.m_it = _codeCache.back().begin(); | ||
| 2841 | var->m_end.m_it = _codeCache.back().end(); | ||
| 2842 | } | ||
| 2843 | } | ||
| 2844 | } | ||
| 2845 | } | ||
| 2846 | return traversal::Continue; | ||
| 2847 | }); | ||
| 2848 | } while (false); | ||
| 2849 | pushScope(); | ||
| 2850 | if (type == MemType::Property) { | ||
| 2851 | decIndentOffset(); | ||
| 2852 | } | ||
| 2853 | switch (keyValue->getId()) { | ||
| 2854 | case "variable_pair"_id: | ||
| 2855 | transform_variable_pair(static_cast<variable_pair_t*>(keyValue), temp); | ||
| 2856 | break; | ||
| 2857 | case "normal_pair"_id: | ||
| 2858 | transform_normal_pair(static_cast<normal_pair_t*>(keyValue), temp); | ||
| 2859 | break; | ||
| 2860 | } | ||
| 2861 | if (type == MemType::Property) { | ||
| 2862 | incIndentOffset(); | ||
| 2863 | } | ||
| 2864 | popScope(); | ||
| 2865 | out.push_back({temp.back(), type, keyValue}); | ||
| 2866 | temp.clear(); | ||
| 2867 | ++count; | ||
| 2868 | } | ||
| 2869 | return count; | ||
| 2870 | } | ||
| 2871 | |||
| 2872 | void transformAssignable(Assignable_t* assignable, str_list& out) { | ||
| 2873 | auto item = assignable->item.get(); | ||
| 2874 | switch (item->getId()) { | ||
| 2875 | case "AssignableChain"_id: transformAssignableChain(static_cast<AssignableChain_t*>(item), out); break; | ||
| 2876 | case "Variable"_id: transformVariable(static_cast<Variable_t*>(item), out); break; | ||
| 2877 | case "SelfName"_id: transformSelfName(static_cast<SelfName_t*>(item), out, false); break; | ||
| 2878 | default: break; | ||
| 2879 | } | ||
| 2880 | } | ||
| 2881 | |||
| 2882 | void transformWithClosure(With_t* with, str_list& out) { | ||
| 2883 | str_list temp; | ||
| 2884 | temp.push_back(s("(function()"sv) + nll(with)); | ||
| 2885 | pushScope(); | ||
| 2886 | transformWith(with, temp, nullptr, true); | ||
| 2887 | popScope(); | ||
| 2888 | temp.push_back(indent() + s("end)()"sv)); | ||
| 2889 | out.push_back(join(temp)); | ||
| 2890 | } | ||
| 2891 | |||
| 2892 | void transformWith(With_t* with, str_list& out, ExpList_t* assignList = nullptr, bool returnValue = false) { | ||
| 2893 | str_list temp; | ||
| 2894 | std::string withVar; | ||
| 2895 | bool scoped = false; | ||
| 2896 | if (with->assigns) { | ||
| 2897 | auto vars = getAssignVars(with); | ||
| 2898 | if (vars.front().empty()) { | ||
| 2899 | if (with->assigns->values.objects().size() == 1) { | ||
| 2900 | auto var = variableFrom(with->assigns->values.objects().front()); | ||
| 2901 | if (!var.empty()) { | ||
| 2902 | withVar = var; | ||
| 2903 | } | ||
| 2904 | } | ||
| 2905 | if (withVar.empty()) { | ||
| 2906 | withVar = getUnusedName("_with_"); | ||
| 2907 | auto assignment = new_ptr<Assignment_t>(); | ||
| 2908 | assignment->assignable.set(toAst<ExpList_t>(withVar, ExpList)); | ||
| 2909 | auto assign = new_ptr<Assign_t>(); | ||
| 2910 | assign->values.push_back(with->assigns->values.objects().front()); | ||
| 2911 | assignment->target.set(assign); | ||
| 2912 | scoped = true; | ||
| 2913 | temp.push_back(indent() + s("do"sv) + nll(with)); | ||
| 2914 | pushScope(); | ||
| 2915 | transformAssignment(assignment, temp); | ||
| 2916 | } | ||
| 2917 | auto assignment = new_ptr<Assignment_t>(); | ||
| 2918 | assignment->assignable.set(with->valueList); | ||
| 2919 | auto assign = new_ptr<Assign_t>(); | ||
| 2920 | assign->values.push_back(toAst<Exp_t>(withVar, Exp)); | ||
| 2921 | bool skipFirst = true; | ||
| 2922 | for (auto value : with->assigns->values.objects()) { | ||
| 2923 | if (skipFirst) { | ||
| 2924 | skipFirst = false; | ||
| 2925 | continue; | ||
| 2926 | } | ||
| 2927 | assign->values.push_back(value); | ||
| 2928 | } | ||
| 2929 | assignment->target.set(assign); | ||
| 2930 | transformAssignment(assignment, temp); | ||
| 2931 | } else { | ||
| 2932 | withVar = vars.front(); | ||
| 2933 | auto assignment = new_ptr<Assignment_t>(); | ||
| 2934 | assignment->assignable.set(with->valueList); | ||
| 2935 | assignment->target.set(with->assigns); | ||
| 2936 | scoped = true; | ||
| 2937 | temp.push_back(indent() + s("do"sv) + nll(with)); | ||
| 2938 | pushScope(); | ||
| 2939 | transformAssignment(assignment, temp); | ||
| 2940 | } | ||
| 2941 | } else { | ||
| 2942 | withVar = variableFrom(with->valueList); | ||
| 2943 | if (withVar.empty()) { | ||
| 2944 | withVar = getUnusedName("_with_"); | ||
| 2945 | auto assignment = new_ptr<Assignment_t>(); | ||
| 2946 | assignment->assignable.set(toAst<ExpList_t>(withVar, ExpList)); | ||
| 2947 | auto assign = new_ptr<Assign_t>(); | ||
| 2948 | assign->values.dup(with->valueList->exprs); | ||
| 2949 | assignment->target.set(assign); | ||
| 2950 | scoped = true; | ||
| 2951 | temp.push_back(indent() + s("do"sv) + nll(with)); | ||
| 2952 | pushScope(); | ||
| 2953 | transformAssignment(assignment, temp); | ||
| 2954 | } | ||
| 2955 | } | ||
| 2956 | auto exp = with->valueList->exprs.objects().front(); | ||
| 2957 | if (exp->getByPath<Value_t, SimpleValue_t, TableLit_t>()) { | ||
| 2958 | auto pair = destructFromExp(exp); | ||
| 2959 | withVar = pair.front().name; | ||
| 2960 | } | ||
| 2961 | _withVars.push(withVar); | ||
| 2962 | transformBody(with->body, temp); | ||
| 2963 | _withVars.pop(); | ||
| 2964 | if (assignList) { | ||
| 2965 | auto assignment = new_ptr<Assignment_t>(); | ||
| 2966 | assignment->assignable.set(assignList); | ||
| 2967 | auto assign = new_ptr<Assign_t>(); | ||
| 2968 | assign->values.push_back(toAst<Exp_t>(withVar, Exp)); | ||
| 2969 | assignment->target.set(assign); | ||
| 2970 | transformAssignment(assignment, temp); | ||
| 2971 | } | ||
| 2972 | if (returnValue) { | ||
| 2973 | auto stmt = lastStatementFrom(with->body); | ||
| 2974 | if (!stmt->content.is<Return_t>()) { | ||
| 2975 | temp.push_back(indent() + s("return "sv) + withVar + nll(with)); | ||
| 2976 | } | ||
| 2977 | } | ||
| 2978 | if (scoped) { | ||
| 2979 | popScope(); | ||
| 2980 | temp.push_back(indent() + s("end"sv) + nll(with)); | ||
| 2981 | } | ||
| 2982 | out.push_back(join(temp)); | ||
| 2983 | } | ||
| 2984 | |||
| 2985 | void transform_const_value(const_value_t* const_value, str_list& out) { | ||
| 2986 | out.push_back(toString(const_value)); | ||
| 2987 | } | ||
| 2988 | |||
| 2989 | void transformExport(Export_t* exportNode, str_list& out) { | ||
| 2990 | auto item = exportNode->item.get(); | ||
| 2991 | switch (item->getId()) { | ||
| 2992 | case "ClassDecl"_id: { | ||
| 2993 | auto classDecl = static_cast<ClassDecl_t*>(item); | ||
| 2994 | if (classDecl->name && classDecl->name->item->getId() == "Variable"_id) { | ||
| 2995 | markVarExported(ExportMode::Any, true); | ||
| 2996 | addExportedVar(toString(classDecl->name->item)); | ||
| 2997 | } | ||
| 2998 | transformClassDecl(classDecl, out); | ||
| 2999 | break; | ||
| 3000 | } | ||
| 3001 | case "export_op"_id: | ||
| 3002 | if (toString(item) == "*"sv) { | ||
| 3003 | markVarExported(ExportMode::Any, false); | ||
| 3004 | } else { | ||
| 3005 | markVarExported(ExportMode::Capital, false); | ||
| 3006 | } | ||
| 3007 | break; | ||
| 3008 | case "export_values"_id: { | ||
| 3009 | markVarExported(ExportMode::Any, true); | ||
| 3010 | auto values = exportNode->item.to<export_values_t>(); | ||
| 3011 | if (values->valueList) { | ||
| 3012 | auto expList = new_ptr<ExpList_t>(); | ||
| 3013 | for (auto name : values->nameList->names.objects()) { | ||
| 3014 | addExportedVar(toString(name)); | ||
| 3015 | auto callable = new_ptr<Callable_t>(); | ||
| 3016 | callable->item.set(name); | ||
| 3017 | auto chainValue = new_ptr<ChainValue_t>(); | ||
| 3018 | chainValue->items.push_back(callable); | ||
| 3019 | auto value = new_ptr<Value_t>(); | ||
| 3020 | value->item.set(chainValue); | ||
| 3021 | auto exp = new_ptr<Exp_t>(); | ||
| 3022 | exp->value.set(value); | ||
| 3023 | expList->exprs.push_back(exp); | ||
| 3024 | } | ||
| 3025 | auto assignment = new_ptr<Assignment_t>(); | ||
| 3026 | assignment->assignable.set(expList); | ||
| 3027 | auto assign = new_ptr<Assign_t>(); | ||
| 3028 | assign->values.dup(values->valueList->exprs); | ||
| 3029 | assignment->target.set(assign); | ||
| 3030 | transformAssignment(assignment, out); | ||
| 3031 | } else { | ||
| 3032 | for (auto name : values->nameList->names.objects()) { | ||
| 3033 | addExportedVar(toString(name)); | ||
| 3034 | } | ||
| 3035 | } | ||
| 3036 | break; | ||
| 3037 | } | ||
| 3038 | default: | ||
| 3039 | break; | ||
| 3040 | } | ||
| 3041 | } | ||
| 3042 | |||
| 3043 | void transformTable(ast_node* table, const std::list<ast_node*>& pairs, str_list& out) { | ||
| 3044 | if (pairs.empty()) { | ||
| 3045 | out.push_back(s("{ }"sv)); | ||
| 3046 | return; | ||
| 3047 | } | ||
| 3048 | str_list temp; | ||
| 3049 | pushScope(); | ||
| 3050 | for (auto pair : pairs) { | ||
| 3051 | switch (pair->getId()) { | ||
| 3052 | case "Exp"_id: transformExp(static_cast<Exp_t*>(pair), temp); break; | ||
| 3053 | case "variable_pair"_id: transform_variable_pair(static_cast<variable_pair_t*>(pair), temp); break; | ||
| 3054 | case "normal_pair"_id: transform_normal_pair(static_cast<normal_pair_t*>(pair), temp); break; | ||
| 3055 | } | ||
| 3056 | temp.back() = indent() + temp.back() + (pair == pairs.back() ? Empty : s(","sv)) + nll(pair); | ||
| 3057 | } | ||
| 3058 | out.push_back(s("{"sv) + nll(table) + join(temp)); | ||
| 3059 | popScope(); | ||
| 3060 | out.back() += (indent() + s("}"sv)); | ||
| 3061 | } | ||
| 3062 | |||
| 3063 | void transform_simple_table(simple_table_t* table, str_list& out) { | ||
| 3064 | transformTable(table, table->pairs.objects(), out); | ||
| 3065 | } | ||
| 3066 | |||
| 3067 | void transformTblComprehension(TblComprehension_t* comp, str_list& out) { | ||
| 3068 | str_list kv; | ||
| 3069 | std::string tbl = getUnusedName("_tbl_"); | ||
| 3070 | addToScope(tbl); | ||
| 3071 | str_list temp; | ||
| 3072 | auto compInner = comp->forLoop.get(); | ||
| 3073 | for (auto item : compInner->items.objects()) { | ||
| 3074 | switch (item->getId()) { | ||
| 3075 | case "CompForEach"_id: | ||
| 3076 | transformCompForEach(static_cast<CompForEach_t*>(item), temp); | ||
| 3077 | break; | ||
| 3078 | case "CompFor"_id: | ||
| 3079 | transformCompFor(static_cast<CompFor_t*>(item), temp); | ||
| 3080 | break; | ||
| 3081 | case "Exp"_id: | ||
| 3082 | transformExp(static_cast<Exp_t*>(item), temp); | ||
| 3083 | temp.back() = indent() + s("if "sv) + temp.back() + s(" then"sv) + nll(item); | ||
| 3084 | pushScope(); | ||
| 3085 | break; | ||
| 3086 | } | ||
| 3087 | } | ||
| 3088 | transformExp(comp->key, kv); | ||
| 3089 | if (comp->value) { | ||
| 3090 | transformExp(comp->value->value, kv); | ||
| 3091 | } | ||
| 3092 | for (size_t i = 0; i < compInner->items.objects().size(); ++i) { | ||
| 3093 | popScope(); | ||
| 3094 | } | ||
| 3095 | _buf << indent() << "local "sv << tbl << " = { }"sv << nll(comp); | ||
| 3096 | _buf << join(temp); | ||
| 3097 | pushScope(); | ||
| 3098 | if (!comp->value) { | ||
| 3099 | auto keyVar = getUnusedName("_key_"); | ||
| 3100 | auto valVar = getUnusedName("_val_"); | ||
| 3101 | _buf << indent(int(temp.size())-1) << "local "sv << keyVar << ", "sv << valVar << " = "sv << kv.front() << nll(comp); | ||
| 3102 | kv.front() = keyVar; | ||
| 3103 | kv.push_back(valVar); | ||
| 3104 | } | ||
| 3105 | _buf << indent(int(temp.size())-1) << tbl << "["sv << kv.front() << "] = "sv << kv.back() << nll(comp); | ||
| 3106 | for (int ind = int(temp.size()) - 2; ind > -1 ; --ind) { | ||
| 3107 | _buf << indent(ind) << "end"sv << nll(comp); | ||
| 3108 | } | ||
| 3109 | popScope(); | ||
| 3110 | _buf << indent() << "end"sv << nll(comp); | ||
| 3111 | out.push_back(tbl); | ||
| 3112 | out.push_back(clearBuf()); | ||
| 3113 | } | ||
| 3114 | |||
| 3115 | void transformTblCompInPlace(TblComprehension_t* comp, ExpList_t* expList, str_list& out) { | ||
| 3116 | str_list temp; | ||
| 3117 | pushScope(); | ||
| 3118 | transformTblComprehension(comp, temp); | ||
| 3119 | auto assign = new_ptr<Assign_t>(); | ||
| 3120 | assign->values.push_back(toAst<Exp_t>(temp.front(), Exp)); | ||
| 3121 | auto assignment = new_ptr<Assignment_t>(); | ||
| 3122 | assignment->assignable.set(expList); | ||
| 3123 | assignment->target.set(assign); | ||
| 3124 | assignment->m_begin.m_line = comp->m_end.m_line; | ||
| 3125 | assignment->m_end.m_line = comp->m_end.m_line; | ||
| 3126 | transformAssignment(assignment, temp); | ||
| 3127 | out.push_back( | ||
| 3128 | s("do"sv) + nll(comp) + | ||
| 3129 | *(++temp.begin()) + | ||
| 3130 | temp.back()); | ||
| 3131 | popScope(); | ||
| 3132 | out.back() = out.back() + indent() + s("end"sv) + nlr(comp); | ||
| 3133 | } | ||
| 3134 | |||
| 3135 | void transformTblCompReturn(TblComprehension_t* comp, str_list& out) { | ||
| 3136 | str_list temp; | ||
| 3137 | transformTblComprehension(comp, temp); | ||
| 3138 | out.push_back(temp.back() + indent() + s("return "sv) + temp.front() + nlr(comp)); | ||
| 3139 | } | ||
| 3140 | |||
| 3141 | void transformTblCompClosure(TblComprehension_t* comp, str_list& out) { | ||
| 3142 | str_list temp; | ||
| 3143 | std::string before = s("(function()"sv) + nll(comp); | ||
| 3144 | pushScope(); | ||
| 3145 | transformTblComprehension(comp, temp); | ||
| 3146 | const auto& tbVar = temp.front(); | ||
| 3147 | const auto& compBody = temp.back(); | ||
| 3148 | out.push_back( | ||
| 3149 | before + | ||
| 3150 | compBody + | ||
| 3151 | indent() + s("return "sv) + tbVar + nlr(comp)); | ||
| 3152 | popScope(); | ||
| 3153 | out.back() = out.back() + indent() + s("end)()"sv); | ||
| 3154 | } | ||
| 3155 | |||
| 3156 | void transformCompFor(CompFor_t* comp, str_list& out) { | ||
| 3157 | str_list temp; | ||
| 3158 | std::string varName = toString(comp->varName); | ||
| 3159 | transformExp(comp->startValue, temp); | ||
| 3160 | transformExp(comp->stopValue, temp); | ||
| 3161 | if (comp->stepValue) { | ||
| 3162 | transformExp(comp->stepValue->value, temp); | ||
| 3163 | } else { | ||
| 3164 | temp.emplace_back(); | ||
| 3165 | } | ||
| 3166 | auto it = temp.begin(); | ||
| 3167 | const auto& start = *it; | ||
| 3168 | const auto& stop = *(++it); | ||
| 3169 | const auto& step = *(++it); | ||
| 3170 | _buf << indent() << "for "sv << varName << " = "sv << start << ", "sv << stop << (step.empty() ? Empty : s(", "sv) + step) << " do"sv << nll(comp); | ||
| 3171 | out.push_back(clearBuf()); | ||
| 3172 | pushScope(); | ||
| 3173 | addToScope(varName); | ||
| 3174 | } | ||
| 3175 | |||
| 3176 | void transformTableBlock(TableBlock_t* table, str_list& out) { | ||
| 3177 | transformTable(table, table->values.objects(), out); | ||
| 3178 | } | ||
| 3179 | |||
| 3180 | void transformDo(Do_t* doNode, str_list& out, bool implicitReturn = false) { | ||
| 3181 | str_list temp; | ||
| 3182 | temp.push_back(indent() + s("do"sv) + nll(doNode)); | ||
| 3183 | pushScope(); | ||
| 3184 | transformBody(doNode->body, temp, implicitReturn); | ||
| 3185 | popScope(); | ||
| 3186 | temp.push_back(indent() + s("end"sv) + nlr(doNode)); | ||
| 3187 | out.push_back(join(temp)); | ||
| 3188 | } | ||
| 3189 | |||
| 3190 | void transformDoClosure(Do_t* doNode, str_list& out) { | ||
| 3191 | str_list temp; | ||
| 3192 | temp.push_back(s("(function()"sv) + nll(doNode)); | ||
| 3193 | pushScope(); | ||
| 3194 | transformBody(doNode->body, temp, true); | ||
| 3195 | popScope(); | ||
| 3196 | temp.push_back(indent() + s("end)()"sv)); | ||
| 3197 | out.push_back(join(temp)); | ||
| 3198 | } | ||
| 3199 | |||
| 3200 | void transformImport(Import_t* import, str_list& out) { | ||
| 3201 | str_list temp; | ||
| 3202 | auto objVar = variableFrom(import->exp); | ||
| 3203 | ast_ptr<Assignment_t, false, false> objAssign; | ||
| 3204 | if (objVar.empty()) { | ||
| 3205 | objVar = getUnusedName("_obj_"sv); | ||
| 3206 | auto expList = toAst<ExpList_t>(objVar, ExpList); | ||
| 3207 | auto assign = new_ptr<Assign_t>(); | ||
| 3208 | assign->values.push_back(import->exp); | ||
| 3209 | auto assignment = new_ptr<Assignment_t>(); | ||
| 3210 | assignment->assignable.set(expList); | ||
| 3211 | assignment->target.set(assign); | ||
| 3212 | objAssign.set(assignment); | ||
| 3213 | } | ||
| 3214 | auto expList = new_ptr<ExpList_t>(); | ||
| 3215 | auto assign = new_ptr<Assign_t>(); | ||
| 3216 | for (auto name : import->names.objects()) { | ||
| 3217 | switch (name->getId()) { | ||
| 3218 | case "Variable"_id: { | ||
| 3219 | auto var = ast_to<Variable_t>(name); | ||
| 3220 | { | ||
| 3221 | auto callable = toAst<Callable_t>(objVar, Callable); | ||
| 3222 | auto dotChainItem = new_ptr<DotChainItem_t>(); | ||
| 3223 | dotChainItem->name.set(var->name); | ||
| 3224 | auto chainValue = new_ptr<ChainValue_t>(); | ||
| 3225 | chainValue->items.push_back(callable); | ||
| 3226 | chainValue->items.push_back(dotChainItem); | ||
| 3227 | auto value = new_ptr<Value_t>(); | ||
| 3228 | value->item.set(chainValue); | ||
| 3229 | auto exp = new_ptr<Exp_t>(); | ||
| 3230 | exp->value.set(value); | ||
| 3231 | assign->values.push_back(exp); | ||
| 3232 | } | ||
| 3233 | auto callable = new_ptr<Callable_t>(); | ||
| 3234 | callable->item.set(var); | ||
| 3235 | auto chainValue = new_ptr<ChainValue_t>(); | ||
| 3236 | chainValue->items.push_back(callable); | ||
| 3237 | auto value = new_ptr<Value_t>(); | ||
| 3238 | value->item.set(chainValue); | ||
| 3239 | auto exp = new_ptr<Exp_t>(); | ||
| 3240 | exp->value.set(value); | ||
| 3241 | expList->exprs.push_back(exp); | ||
| 3242 | break; | ||
| 3243 | } | ||
| 3244 | case "colon_import_name"_id: { | ||
| 3245 | auto var = static_cast<colon_import_name_t*>(name)->name.get(); | ||
| 3246 | { | ||
| 3247 | auto nameNode = var->name.get(); | ||
| 3248 | auto callable = toAst<Callable_t>(objVar, Callable); | ||
| 3249 | auto colonChain = new_ptr<ColonChainItem_t>(); | ||
| 3250 | colonChain->name.set(nameNode); | ||
| 3251 | auto chainValue = new_ptr<ChainValue_t>(); | ||
| 3252 | chainValue->items.push_back(callable); | ||
| 3253 | chainValue->items.push_back(colonChain); | ||
| 3254 | auto value = new_ptr<Value_t>(); | ||
| 3255 | value->item.set(chainValue); | ||
| 3256 | auto exp = new_ptr<Exp_t>(); | ||
| 3257 | exp->value.set(value); | ||
| 3258 | assign->values.push_back(exp); | ||
| 3259 | } | ||
| 3260 | auto callable = new_ptr<Callable_t>(); | ||
| 3261 | callable->item.set(var); | ||
| 3262 | auto chainValue = new_ptr<ChainValue_t>(); | ||
| 3263 | chainValue->items.push_back(callable); | ||
| 3264 | auto value = new_ptr<Value_t>(); | ||
| 3265 | value->item.set(chainValue); | ||
| 3266 | auto exp = new_ptr<Exp_t>(); | ||
| 3267 | exp->value.set(value); | ||
| 3268 | expList->exprs.push_back(exp); | ||
| 3269 | break; | ||
| 3270 | } | ||
| 3271 | } | ||
| 3272 | } | ||
| 3273 | if (objAssign) { | ||
| 3274 | auto preDef = getPredefine(transformAssignDefs(expList)); | ||
| 3275 | if (!preDef.empty()) { | ||
| 3276 | temp.push_back(preDef + nll(import)); | ||
| 3277 | } | ||
| 3278 | temp.push_back(indent() + s("do"sv) + nll(import)); | ||
| 3279 | pushScope(); | ||
| 3280 | transformAssignment(objAssign, temp); | ||
| 3281 | } | ||
| 3282 | auto assignment = new_ptr<Assignment_t>(); | ||
| 3283 | assignment->assignable.set(expList); | ||
| 3284 | assignment->target.set(assign); | ||
| 3285 | transformAssignment(assignment, temp); | ||
| 3286 | if (objAssign) { | ||
| 3287 | popScope(); | ||
| 3288 | temp.push_back(indent() + s("end"sv) + nlr(import)); | ||
| 3289 | } | ||
| 3290 | out.push_back(join(temp)); | ||
| 3291 | } | ||
| 3292 | |||
| 3293 | void transformWhileClosure(While_t* whileNode, str_list& out, ExpList_t* expList = nullptr) { | ||
| 3294 | str_list temp; | ||
| 3295 | if (expList) { | ||
| 3296 | temp.push_back(indent() + s("do"sv) + nll(whileNode)); | ||
| 3297 | } else { | ||
| 3298 | temp.push_back(s("(function() "sv) + nll(whileNode)); | ||
| 3299 | } | ||
| 3300 | pushScope(); | ||
| 3301 | auto accumVar = getUnusedName("_accum_"sv); | ||
| 3302 | addToScope(accumVar); | ||
| 3303 | auto lenVar = getUnusedName("_len_"sv); | ||
| 3304 | addToScope(lenVar); | ||
| 3305 | temp.push_back(indent() + s("local "sv) + accumVar + s(" = { }"sv) + nll(whileNode)); | ||
| 3306 | temp.push_back(indent() + s("local "sv) + lenVar + s(" = 1"sv) + nll(whileNode)); | ||
| 3307 | transformExp(whileNode->condition, temp); | ||
| 3308 | temp.back() = indent() + s("while "sv) + temp.back() + s(" do"sv) + nll(whileNode); | ||
| 3309 | pushScope(); | ||
| 3310 | auto last = lastStatementFrom(whileNode->body); | ||
| 3311 | auto valueList = last ? last->content.as<ExpList_t>() : nullptr; | ||
| 3312 | if (last && valueList) { | ||
| 3313 | auto newAssignment = new_ptr<Assignment_t>(); | ||
| 3314 | newAssignment->assignable.set(toAst<ExpList_t>(accumVar + s("["sv) + lenVar + s("]"sv), ExpList)); | ||
| 3315 | auto assign = new_ptr<Assign_t>(); | ||
| 3316 | assign->values.dup(valueList->exprs); | ||
| 3317 | newAssignment->target.set(assign); | ||
| 3318 | last->content.set(newAssignment); | ||
| 3319 | } | ||
| 3320 | transformLoopBody(whileNode->body, temp); | ||
| 3321 | temp.push_back(indent() + lenVar + s(" = "sv) + lenVar + s(" + 1"sv) + nlr(whileNode)); | ||
| 3322 | popScope(); | ||
| 3323 | temp.push_back(indent() + s("end"sv) + nlr(whileNode)); | ||
| 3324 | if (expList) { | ||
| 3325 | auto assign = new_ptr<Assign_t>(); | ||
| 3326 | assign->values.push_back(toAst<Exp_t>(accumVar, Exp)); | ||
| 3327 | auto assignment = new_ptr<Assignment_t>(); | ||
| 3328 | assignment->assignable.set(expList); | ||
| 3329 | assignment->target.set(assign); | ||
| 3330 | transformAssignment(assignment, temp); | ||
| 3331 | } else { | ||
| 3332 | temp.push_back(indent() + s("return "sv) + accumVar + nlr(whileNode)); | ||
| 3333 | } | ||
| 3334 | popScope(); | ||
| 3335 | if (expList) { | ||
| 3336 | temp.push_back(indent() + s("end"sv) + nlr(whileNode)); | ||
| 3337 | } else { | ||
| 3338 | temp.push_back(indent() + s("end)()"sv)); | ||
| 3339 | } | ||
| 3340 | out.push_back(join(temp)); | ||
| 3341 | } | ||
| 3342 | |||
| 3343 | void transformWhile(While_t* whileNode, str_list& out) { | ||
| 3344 | str_list temp; | ||
| 3345 | pushScope(); | ||
| 3346 | transformExp(whileNode->condition, temp); | ||
| 3347 | transformLoopBody(whileNode->body, temp); | ||
| 3348 | popScope(); | ||
| 3349 | _buf << indent() << "while "sv << temp.front() << " do"sv << nll(whileNode); | ||
| 3350 | _buf << temp.back(); | ||
| 3351 | _buf << indent() << "end"sv << nlr(whileNode); | ||
| 3352 | out.push_back(clearBuf()); | ||
| 3353 | } | ||
| 3354 | |||
| 3355 | void transformSwitchClosure(Switch_t* switchNode, str_list& out) { | ||
| 3356 | str_list temp; | ||
| 3357 | temp.push_back(s("(function()"sv) + nll(switchNode)); | ||
| 3358 | pushScope(); | ||
| 3359 | transformSwitch(switchNode, temp, true); | ||
| 3360 | popScope(); | ||
| 3361 | temp.push_back(indent() + s("end)()"sv)); | ||
| 3362 | out.push_back(join(temp)); | ||
| 3363 | } | ||
| 3364 | |||
| 3365 | void transformSwitch(Switch_t* switchNode, str_list& out, bool implicitReturn = false) { | ||
| 3366 | str_list temp; | ||
| 3367 | auto objVar = variableFrom(switchNode->target); | ||
| 3368 | if (objVar.empty()) { | ||
| 3369 | objVar = getUnusedName("_exp_"sv); | ||
| 3370 | addToScope(objVar); | ||
| 3371 | transformExp(switchNode->target, temp); | ||
| 3372 | _buf << indent() << "local "sv << objVar << " = "sv << temp.back() << nll(switchNode); | ||
| 3373 | temp.back() = clearBuf(); | ||
| 3374 | } | ||
| 3375 | const auto& branches = switchNode->branches.objects(); | ||
| 3376 | for (auto branch_ : branches) { | ||
| 3377 | auto branch = static_cast<SwitchCase_t*>(branch_); | ||
| 3378 | temp.push_back(indent() + s(branches.front() == branch ? "if"sv : "elseif"sv)); | ||
| 3379 | str_list tmp; | ||
| 3380 | const auto& exprs = branch->valueList->exprs.objects(); | ||
| 3381 | for (auto exp_ : exprs) { | ||
| 3382 | auto exp = static_cast<Exp_t*>(exp_); | ||
| 3383 | transformExp(exp, tmp); | ||
| 3384 | if (!singleValueFrom(exp)) { | ||
| 3385 | tmp.back() = s("("sv) + tmp.back() + s(")"sv); | ||
| 3386 | } | ||
| 3387 | temp.back().append(s(" "sv) + tmp.back() + s(" == "sv) + objVar + | ||
| 3388 | s(exp == exprs.back() ? ""sv : " or"sv)); | ||
| 3389 | } | ||
| 3390 | temp.back().append(s(" then"sv) + nll(branch)); | ||
| 3391 | pushScope(); | ||
| 3392 | transformBody(branch->body, temp, implicitReturn); | ||
| 3393 | popScope(); | ||
| 3394 | } | ||
| 3395 | if (switchNode->lastBranch) { | ||
| 3396 | temp.push_back(indent() + s("else"sv) + nll(switchNode->lastBranch)); | ||
| 3397 | pushScope(); | ||
| 3398 | transformBody(switchNode->lastBranch, temp, implicitReturn); | ||
| 3399 | popScope(); | ||
| 3400 | } | ||
| 3401 | temp.push_back(indent() + s("end"sv) + nlr(switchNode)); | ||
| 3402 | out.push_back(join(temp)); | ||
| 3403 | } | ||
| 3404 | |||
| 3405 | void transformLocal(Local_t* local, str_list& out) { | ||
| 3406 | if (!local->forceDecls.empty() || !local->decls.empty()) { | ||
| 3407 | str_list defs; | ||
| 3408 | for (const auto& decl : local->forceDecls) { | ||
| 3409 | forceAddToScope(decl); | ||
| 3410 | defs.push_back(decl); | ||
| 3411 | } | ||
| 3412 | for (const auto& decl : local->decls) { | ||
| 3413 | if (addToScope(decl)) { | ||
| 3414 | defs.push_back(decl); | ||
| 3415 | } | ||
| 3416 | } | ||
| 3417 | auto preDefine = getPredefine(defs); | ||
| 3418 | if (!preDefine.empty()) { | ||
| 3419 | out.push_back(preDefine + nll(local)); | ||
| 3420 | } | ||
| 3421 | } | ||
| 3422 | } | ||
| 3423 | |||
| 3424 | void transformBreakLoop(BreakLoop_t* breakLoop, str_list& out) { | ||
| 3425 | auto keyword = toString(breakLoop); | ||
| 3426 | if (keyword == "break"sv) { | ||
| 3427 | out.push_back(indent() + keyword + nll(breakLoop)); | ||
| 3428 | return; | ||
| 3429 | } | ||
| 3430 | if (_continueVars.empty()) throw std::logic_error("continue must be inside of a loop"); | ||
| 3431 | _buf << indent() << _continueVars.top() << " = true"sv << nll(breakLoop); | ||
| 3432 | _buf << indent() << "break"sv << nll(breakLoop); | ||
| 3433 | out.push_back(clearBuf()); | ||
| 3434 | } | ||
| 3435 | }; | ||
| 3436 | |||
| 3437 | const std::string MoonCompliler::Empty; | ||
| 3438 | |||
| 3439 | int main() | ||
| 3440 | { | ||
| 3441 | std::string s = R"TestCodesHere( | ||
| 3442 | Dorothy builtin.ImGui | ||
| 3443 | import Set,Path from require "Utils" | ||
| 3444 | LintGlobal = require "LintGlobal" | ||
| 3445 | moonscript = require "moonscript" | ||
| 3446 | |||
| 3447 | LoadFontTTF "Font/DroidSansFallback.ttf", 20, "Chinese" | ||
| 3448 | |||
| 3449 | moduleCache = {} | ||
| 3450 | oldRequire = _G.require | ||
| 3451 | newRequire = (path)-> | ||
| 3452 | loaded = package.loaded[path] | ||
| 3453 | if not loaded | ||
| 3454 | table.insert moduleCache,path | ||
| 3455 | return oldRequire path | ||
| 3456 | loaded | ||
| 3457 | _G.require = newRequire | ||
| 3458 | builtin.require = newRequire | ||
| 3459 | |||
| 3460 | allowedUseOfGlobals = Set { | ||
| 3461 | } | ||
| 3462 | |||
| 3463 | LintMoonGlobals = (moonCodes,entry)-> | ||
| 3464 | globals,err = LintGlobal moonCodes | ||
| 3465 | if not globals | ||
| 3466 | error "Compile failed in #{entry}\n#{err}" | ||
| 3467 | requireModules = {} | ||
| 3468 | withImGui = false | ||
| 3469 | withPlatformer = false | ||
| 3470 | importCodes = table.concat ( | ||
| 3471 | for importLine in moonCodes\gmatch "Dorothy%s*%(?([^%)!\r\n]*)%s*[%)!]?" | ||
| 3472 | continue if importLine == "" | ||
| 3473 | importLine | ||
| 3474 | ), "," | ||
| 3475 | importItems = if importCodes | ||
| 3476 | for item in importCodes\gmatch "%s*([^,\n\r]+)%s*" | ||
| 3477 | getImport = loadstring "return #{item}" | ||
| 3478 | importItem = if getImport then getImport! else nil | ||
| 3479 | continue if not importItem or "table" ~= type importItem | ||
| 3480 | {importItem, item} | ||
| 3481 | else {} | ||
| 3482 | importSet = {} | ||
| 3483 | for name,_ in pairs globals | ||
| 3484 | if not allowedUseOfGlobals[name] | ||
| 3485 | if builtin[name] | ||
| 3486 | table.insert requireModules, "local #{name} = require(\"#{name}\")" | ||
| 3487 | else | ||
| 3488 | findModule = false | ||
| 3489 | for i,importItem in ipairs importItems | ||
| 3490 | if importItem[1][name] ~= nil | ||
| 3491 | moduleName = "_module_#{i-1}" | ||
| 3492 | if not importSet[importItem[1]] | ||
| 3493 | importSet[importItem[1]] = true | ||
| 3494 | table.insert requireModules, "local #{moduleName} = #{importItem[2]}" | ||
| 3495 | table.insert requireModules, "local #{name} = #{moduleName}.#{name}" | ||
| 3496 | findModule = true | ||
| 3497 | break | ||
| 3498 | if not findModule | ||
| 3499 | error "Used invalid global value \"#{name}\" in \"#{entry}\"." | ||
| 3500 | table.concat requireModules, "\n" | ||
| 3501 | |||
| 3502 | totalFiles = 0 | ||
| 3503 | totalMoonTime = 0 | ||
| 3504 | totalXmlTime = 0 | ||
| 3505 | totalMinifyTime = 0 | ||
| 3506 | compile = (dir,clean,minify)-> | ||
| 3507 | {:ParseLua} = require "luaminify.ParseLua" | ||
| 3508 | FormatMini = require "luaminify.FormatMini" | ||
| 3509 | files = Path.getAllFiles dir, {"moon","xml"} | ||
| 3510 | for file in *files | ||
| 3511 | path = Path.getPath file | ||
| 3512 | name = Path.getName file | ||
| 3513 | isXml = "xml" == Path.getExtension file | ||
| 3514 | compileFunc = isXml and xmltolua or moonscript.to_lua | ||
| 3515 | requires = nil | ||
| 3516 | if not clean | ||
| 3517 | sourceCodes = Content\loadAsync "#{dir}/#{file}" | ||
| 3518 | requires = LintMoonGlobals sourceCodes, file unless isXml | ||
| 3519 | startTime = App.eclapsedTime | ||
| 3520 | codes,err = compileFunc sourceCodes | ||
| 3521 | if isXml | ||
| 3522 | totalXmlTime += App.eclapsedTime - startTime | ||
| 3523 | else | ||
| 3524 | totalMoonTime += App.eclapsedTime - startTime | ||
| 3525 | startTime = App.eclapsedTime | ||
| 3526 | if not codes | ||
| 3527 | print "Compile errors in #{file}." | ||
| 3528 | print err | ||
| 3529 | return false | ||
| 3530 | else | ||
| 3531 | codes = requires..codes\gsub "Dorothy%([^%)]*%)","" unless isXml | ||
| 3532 | if minify | ||
| 3533 | st, ast = ParseLua codes | ||
| 3534 | if not st | ||
| 3535 | print ast | ||
| 3536 | return false | ||
| 3537 | codes = FormatMini ast | ||
| 3538 | totalMinifyTime += App.eclapsedTime - startTime | ||
| 3539 | filePath = Content.writablePath..path | ||
| 3540 | Content\mkdir filePath | ||
| 3541 | filename = "#{filePath}#{name}.lua" | ||
| 3542 | Content\saveAsync filename,codes | ||
| 3543 | print "#{isXml and "Xml" or "Moon"} compiled: #{path}#{name}.#{isXml and "xml" or "moon"}" | ||
| 3544 | totalFiles += 1 | ||
| 3545 | else | ||
| 3546 | filePath = Content.writablePath..path | ||
| 3547 | Content\mkdir filePath | ||
| 3548 | filename = "#{filePath}#{name}.lua" | ||
| 3549 | if Content\exist filename | ||
| 3550 | print "#{isXml and "Xml" or "Moon"} cleaned: #{path}#{name}.lua" | ||
| 3551 | Content\remove filename | ||
| 3552 | if clean or minify | ||
| 3553 | files = Path.getAllFiles dir, "lua" | ||
| 3554 | for file in *files | ||
| 3555 | path = Path.getPath file | ||
| 3556 | name = Path.getName file | ||
| 3557 | if not clean | ||
| 3558 | sourceCodes = Content\loadAsync "#{dir}/#{file}" | ||
| 3559 | startTime = App.eclapsedTime | ||
| 3560 | st, ast = ParseLua sourceCodes | ||
| 3561 | if not st | ||
| 3562 | print ast | ||
| 3563 | return false | ||
| 3564 | codes = FormatMini ast | ||
| 3565 | totalMinifyTime += App.eclapsedTime - startTime | ||
| 3566 | filePath = Content.writablePath..path | ||
| 3567 | Content\mkdir filePath | ||
| 3568 | filename = "#{filePath}#{name}.lua" | ||
| 3569 | Content\saveAsync filename,codes | ||
| 3570 | print "Lua minified: #{path}#{name}.lua" | ||
| 3571 | totalFiles += 1 | ||
| 3572 | else | ||
| 3573 | filePath = Content.writablePath..path | ||
| 3574 | Content\mkdir filePath | ||
| 3575 | filename = "#{filePath}#{name}.lua" | ||
| 3576 | if Content\exist filename | ||
| 3577 | print "Lua cleaned: #{path}#{name}.lua" | ||
| 3578 | Content\remove filename | ||
| 3579 | return true | ||
| 3580 | |||
| 3581 | building = false | ||
| 3582 | |||
| 3583 | doCompile = (minify)-> | ||
| 3584 | return if building | ||
| 3585 | building = true | ||
| 3586 | totalFiles = 0 | ||
| 3587 | totalMoonTime = 0 | ||
| 3588 | totalXmlTime = 0 | ||
| 3589 | totalMinifyTime = 0 | ||
| 3590 | thread -> | ||
| 3591 | print "Output path: #{Content.writablePath}" | ||
| 3592 | xpcall (-> compile Content.assetPath\sub(1,-2),false,minify),(msg)-> | ||
| 3593 | msg = debug.traceback msg | ||
| 3594 | print msg | ||
| 3595 | building = false | ||
| 3596 | print string.format "Compile #{minify and 'and minify ' or ''}done. %d files in total.\nCompile time, Moon %.3fs, Xml %.3fs#{minify and ', Minify %.3fs' or ''}.\n",totalFiles,totalMoonTime,totalXmlTime,totalMinifyTime | ||
| 3597 | building = false | ||
| 3598 | |||
| 3599 | doClean = -> | ||
| 3600 | return if building | ||
| 3601 | building = true | ||
| 3602 | thread -> | ||
| 3603 | print "Clean path: #{Content.writablePath}" | ||
| 3604 | compile Content.assetPath\sub(1,-2),true | ||
| 3605 | print "Clean done.\n" | ||
| 3606 | building = false | ||
| 3607 | |||
| 3608 | isInEntry = true | ||
| 3609 | |||
| 3610 | allClear = -> | ||
| 3611 | for module in *moduleCache | ||
| 3612 | package.loaded[module] = nil | ||
| 3613 | moduleCache = {} | ||
| 3614 | with Director.ui | ||
| 3615 | \removeAllChildren! | ||
| 3616 | .userData = nil | ||
| 3617 | with Director.entry | ||
| 3618 | \removeAllChildren! | ||
| 3619 | .userData = nil | ||
| 3620 | with Director.postNode | ||
| 3621 | \removeAllChildren! | ||
| 3622 | .userData = nil | ||
| 3623 | Director\popCamera! | ||
| 3624 | Cache\unload! | ||
| 3625 | Entity\clear! | ||
| 3626 | Platformer.Data\clear! | ||
| 3627 | Platformer.UnitAction\clear! | ||
| 3628 | currentEntryName = nil | ||
| 3629 | isInEntry = true | ||
| 3630 | Audio\stopStream 0.2 | ||
| 3631 | |||
| 3632 | games = [Path.getName item for item in *Path.getFolders Content.assetPath.."Script/Game", {"xml","lua","moon"}] | ||
| 3633 | table.sort games | ||
| 3634 | examples = [Path.getName item for item in *Path.getAllFiles Content.assetPath.."Script/Example", {"xml","lua","moon"}] | ||
| 3635 | table.sort examples | ||
| 3636 | tests = [Path.getName item for item in *Path.getAllFiles Content.assetPath.."Script/Test", {"xml","lua","moon"}] | ||
| 3637 | table.sort tests | ||
| 3638 | currentEntryName = nil | ||
| 3639 | allNames = for game in *games do "Game/#{game}/init" | ||
| 3640 | for example in *examples do table.insert allNames,"Example/#{example}" | ||
| 3641 | for test in *tests do table.insert allNames,"Test/#{test}" | ||
| 3642 | |||
| 3643 | enterDemoEntry = (name)-> | ||
| 3644 | isInEntry = false | ||
| 3645 | xpcall (-> | ||
| 3646 | result = require name | ||
| 3647 | if "function" == type result | ||
| 3648 | result = result! | ||
| 3649 | Director.entry\addChild if tolua.cast result, "Node" | ||
| 3650 | result | ||
| 3651 | else | ||
| 3652 | Node! | ||
| 3653 | else | ||
| 3654 | Director.entry\addChild Node! | ||
| 3655 | currentEntryName = name | ||
| 3656 | ),(msg)-> | ||
| 3657 | msg = debug.traceback msg | ||
| 3658 | print msg | ||
| 3659 | allClear! | ||
| 3660 | |||
| 3661 | showEntry = false | ||
| 3662 | |||
| 3663 | thread -> | ||
| 3664 | {:width,:height} = App.visualSize | ||
| 3665 | scale = App.deviceRatio*0.7*math.min(width,height)/760 | ||
| 3666 | with Sprite GetDorothySSRHappyWhite scale | ||
| 3667 | \addTo Director.entry | ||
| 3668 | sleep 1.0 | ||
| 3669 | \removeFromParent! | ||
| 3670 | showEntry = true | ||
| 3671 | Director.clearColor = Color 0xff1a1a1a | ||
| 3672 | |||
| 3673 | showStats = false | ||
| 3674 | showLog = false | ||
| 3675 | showFooter = true | ||
| 3676 | scaleContent = false | ||
| 3677 | footerFocus = false | ||
| 3678 | screenScale = 2 -- App.deviceRatio | ||
| 3679 | threadLoop -> | ||
| 3680 | return unless showEntry | ||
| 3681 | left = Keyboard\isKeyDown "Left" | ||
| 3682 | right = Keyboard\isKeyDown "Right" | ||
| 3683 | App\shutdown! if Keyboard\isKeyDown "Escape" | ||
| 3684 | {:width,:height} = App.visualSize | ||
| 3685 | SetNextWindowSize Vec2(190,50) | ||
| 3686 | SetNextWindowPos Vec2(width-190,height-50) | ||
| 3687 | if width >= 600 | ||
| 3688 | if not footerFocus | ||
| 3689 | footerFocus = true | ||
| 3690 | SetNextWindowFocus! | ||
| 3691 | PushStyleColor "WindowBg", Color(0x0), -> | ||
| 3692 | Begin "Show", "NoTitleBar|NoResize|NoMove|NoCollapse|NoSavedSettings", -> | ||
| 3693 | Columns 2,false | ||
| 3694 | if showFooter | ||
| 3695 | changed, scaleContent = Checkbox string.format("%.1fx",screenScale), scaleContent | ||
| 3696 | View.scale = scaleContent and screenScale or 1 if changed | ||
| 3697 | else | ||
| 3698 | Dummy Vec2 10,30 | ||
| 3699 | SameLine! | ||
| 3700 | NextColumn! | ||
| 3701 | _, showFooter = Checkbox "Footer", showFooter | ||
| 3702 | elseif footerFocus | ||
| 3703 | footerFocus = false | ||
| 3704 | return unless showFooter | ||
| 3705 | SetNextWindowSize Vec2(width,60) | ||
| 3706 | SetNextWindowPos Vec2(0,height-60) | ||
| 3707 | Begin "Footer", "NoTitleBar|NoResize|NoMove|NoCollapse|NoBringToFrontOnFocus|NoSavedSettings", -> | ||
| 3708 | Separator! | ||
| 3709 | _, showStats = Checkbox "Stats", showStats | ||
| 3710 | SameLine! | ||
| 3711 | _, showLog = Checkbox "Log", showLog | ||
| 3712 | SameLine! | ||
| 3713 | if isInEntry | ||
| 3714 | OpenPopup "build" if Button "Build", Vec2(70,30) | ||
| 3715 | BeginPopup "build", -> | ||
| 3716 | doCompile false if Selectable "Compile" | ||
| 3717 | Separator! | ||
| 3718 | doCompile true if Selectable "Minify" | ||
| 3719 | Separator! | ||
| 3720 | doClean! if Selectable "Clean" | ||
| 3721 | else | ||
| 3722 | SameLine! | ||
| 3723 | allClear! if Button "Home", Vec2(70,30) | ||
| 3724 | currentIndex = 1 | ||
| 3725 | for i,name in ipairs allNames | ||
| 3726 | if currentEntryName == name | ||
| 3727 | currentIndex = i | ||
| 3728 | SameLine! | ||
| 3729 | if currentIndex > 1 | ||
| 3730 | if Button("Prev", Vec2(70,30)) or left | ||
| 3731 | allClear! | ||
| 3732 | isInEntry = false | ||
| 3733 | thread -> enterDemoEntry allNames[currentIndex-1] | ||
| 3734 | else Dummy Vec2 70,30 | ||
| 3735 | SameLine! | ||
| 3736 | if currentIndex < #allNames | ||
| 3737 | if Button("Next", Vec2(70,30)) or right | ||
| 3738 | allClear! | ||
| 3739 | isInEntry = false | ||
| 3740 | thread -> enterDemoEntry allNames[currentIndex+1] | ||
| 3741 | else Dummy Vec2 70,30 | ||
| 3742 | if showStats | ||
| 3743 | SetNextWindowPos Vec2(0,height-65-296), "FirstUseEver" | ||
| 3744 | ShowStats! | ||
| 3745 | if showLog | ||
| 3746 | SetNextWindowPos Vec2(width-400,height-65-300), "FirstUseEver" | ||
| 3747 | ShowLog! | ||
| 3748 | |||
| 3749 | threadLoop -> | ||
| 3750 | return unless showEntry | ||
| 3751 | return unless isInEntry | ||
| 3752 | {:width,:height} = App.visualSize | ||
| 3753 | SetNextWindowPos Vec2.zero | ||
| 3754 | SetNextWindowSize Vec2(width,53) | ||
| 3755 | PushStyleColor "TitleBgActive", Color(0xcc000000), -> | ||
| 3756 | Begin "Dorothy Dev", "NoResize|NoMove|NoCollapse|NoBringToFrontOnFocus|NoSavedSettings", -> | ||
| 3757 | Separator! | ||
| 3758 | SetNextWindowPos Vec2(0,53) | ||
| 3759 | SetNextWindowSize Vec2(width,height-107) | ||
| 3760 | PushStyleColor "WindowBg",Color(0x0), -> | ||
| 3761 | Begin "Content", "NoTitleBar|NoResize|NoMove|NoCollapse|NoBringToFrontOnFocus|NoSavedSettings", -> | ||
| 3762 | TextColored Color(0xff00ffff), "Game Demos" | ||
| 3763 | Columns math.max(math.floor(width/200),1), false | ||
| 3764 | for game in *games | ||
| 3765 | if Button game, Vec2(-1,40) | ||
| 3766 | enterDemoEntry "Game/#{game}/init" | ||
| 3767 | NextColumn! | ||
| 3768 | Columns 1, false | ||
| 3769 | TextColored Color(0xff00ffff), "Examples" | ||
| 3770 | Columns math.max(math.floor(width/200),1), false | ||
| 3771 | for example in *examples | ||
| 3772 | if Button example, Vec2(-1,40) | ||
| 3773 | enterDemoEntry "Example/#{example}" | ||
| 3774 | NextColumn! | ||
| 3775 | Columns 1, false | ||
| 3776 | TextColored Color(0xff00ffff), "Tests" | ||
| 3777 | Columns math.max(math.floor(width/200),1), false | ||
| 3778 | for test in *tests | ||
| 3779 | if Button test, Vec2(-1,40) | ||
| 3780 | enterDemoEntry "Test/#{test}" | ||
| 3781 | NextColumn! | ||
| 3782 | )TestCodesHere"; | ||
| 3783 | MoonCompliler{}.complile(s); | ||
| 3784 | return 0; | ||
| 3785 | } | ||
