| Line | Branch | Exec | Source |
|---|---|---|---|
| 1 | #include <iostream> | ||
| 2 | #include <sstream> | ||
| 3 | |||
| 4 | #include "cli/commands/internal.h" | ||
| 5 | |||
| 6 | #include "ast/nodes.h" | ||
| 7 | #include "ast/ops.h" | ||
| 8 | #include "lexer/buffer.h" | ||
| 9 | #include "lexer/lexer.h" | ||
| 10 | #include "logging/logging.h" | ||
| 11 | #include "parser/parser.h" | ||
| 12 | #include "sema/sema.h" | ||
| 13 | |||
| 14 | namespace lython { | ||
| 15 | |||
| 16 | bool compare(String const& a, String const& b) { | ||
| 17 | ✗ | auto size = std::min(a.size(), b.size()); | |
| 18 | |||
| 19 | ✗ | for (size_t i = 0; i < size; ++i) { | |
| 20 | ✗ | if (a[i] != b[i]) { | |
| 21 | ✗ | std::cout << i << " `" << a[i] << "` != `" << b[i] << "` | "; | |
| 22 | ✗ | return false; | |
| 23 | } | ||
| 24 | } | ||
| 25 | |||
| 26 | ✗ | return a.size() == b.size(); | |
| 27 | } | ||
| 28 | |||
| 29 | String strip2(String const& v) { | ||
| 30 | ✗ | int i = int(v.size()) - 1; | |
| 31 | |||
| 32 | ✗ | while (i > 0 && v[size_t(i)] == '\n') { | |
| 33 | ✗ | i -= 1; | |
| 34 | } | ||
| 35 | |||
| 36 | ✗ | return String(v.begin(), v.begin() + i + 1); | |
| 37 | } | ||
| 38 | |||
| 39 | int InternalCmd::main(argparse::ArgumentParser const& args) { | ||
| 40 | // | ||
| 41 | |||
| 42 |
1/1✓ Branch 2 taken 1 times.
|
1 | std::string file = ""; |
| 43 |
2/3✓ Branch 2 taken 1 times.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
|
1 | if (args.is_used("--file")) { |
| 44 |
2/2✓ Branch 2 taken 1 times.
✓ Branch 5 taken 1 times.
|
1 | file = args.get<std::string>("--file"); |
| 45 | } | ||
| 46 | |||
| 47 |
1/1✓ Branch 2 taken 1 times.
|
1 | bool dump_lexer = args.get<bool>("--debug-lexer"); |
| 48 |
1/1✓ Branch 2 taken 1 times.
|
1 | bool lexer_format = args.get<bool>("--lexer-format"); |
| 49 | 1 | bool show_alloc_layout = true; | |
| 50 |
2/3✓ Branch 2 taken 1 times.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
|
1 | bool show_parsing = args.get<bool>("--parsing"); |
| 51 | |||
| 52 | kwinfo("Enter"); | ||
| 53 | |||
| 54 | 1 | std::unique_ptr<AbstractBuffer> reader; | |
| 55 |
1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
|
1 | if (file != "") { |
| 56 |
2/2✓ Branch 3 taken 1 times.
✓ Branch 6 taken 1 times.
|
1 | reader = std::make_unique<FileBuffer>(String(file.c_str())); |
| 57 | } else { | ||
| 58 | ✗ | reader = std::make_unique<ConsoleBuffer>(); | |
| 59 | } | ||
| 60 | |||
| 61 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 1 times.
|
1 | if (dump_lexer) { |
| 62 | ✗ | std::cout << std::string(80, '=') << '\n'; | |
| 63 | ✗ | std::cout << "Lexer Token Dump\n"; | |
| 64 | { | ||
| 65 | ✗ | Lexer lex(*reader.get()); | |
| 66 | ✗ | lex.debug_print(std::cout); | |
| 67 | ✗ | reader->reset(); | |
| 68 | ✗ | } | |
| 69 | ✗ | std::cout << std::string(80, '-') << '\n'; | |
| 70 | ✗ | return 0; | |
| 71 | } | ||
| 72 | |||
| 73 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 1 times.
|
1 | if (lexer_format) { |
| 74 | ✗ | std::cout << std::string(80, '=') << '\n'; | |
| 75 | ✗ | std::cout << "Lexing Round-trip\n"; | |
| 76 | ✗ | String lexer_string; | |
| 77 | { | ||
| 78 | ✗ | Lexer lex(*reader.get()); | |
| 79 | ✗ | StringStream ss; | |
| 80 | ✗ | lex.print(ss); | |
| 81 | ✗ | lexer_string = ss.str(); | |
| 82 | ✗ | reader->reset(); | |
| 83 | ✗ | } | |
| 84 | |||
| 85 | ✗ | std::cout << std::string(80, '-') << '\n'; | |
| 86 | ✗ | std::cout << strip2(lexer_string) << std::endl; | |
| 87 | ✗ | std::cout << std::string(80, '-') << '\n'; | |
| 88 | ✗ | return 0; | |
| 89 | ✗ | } | |
| 90 | |||
| 91 | 1 | Module* mod = nullptr; | |
| 92 | |||
| 93 | try { | ||
| 94 | |||
| 95 |
1/1✓ Branch 2 taken 1 times.
|
1 | Lexer lex(*reader.get()); |
| 96 |
1/1✓ Branch 1 taken 1 times.
|
1 | Parser parser(lex); |
| 97 |
1/1✓ Branch 1 taken 1 times.
|
1 | StringStream parsing; |
| 98 | |||
| 99 | // Parsing Logs | ||
| 100 | // ------------ | ||
| 101 | { | ||
| 102 |
3/3✓ Branch 2 taken 1 times.
✓ Branch 5 taken 1 times.
✓ Branch 8 taken 1 times.
|
1 | std::cout << std::string(80, '=') << '\n'; |
| 103 |
1/1✓ Branch 1 taken 1 times.
|
1 | std::cout << "Parsing Trace\n"; |
| 104 |
3/3✓ Branch 2 taken 1 times.
✓ Branch 5 taken 1 times.
✓ Branch 8 taken 1 times.
|
1 | std::cout << std::string(80, '-') << '\n'; |
| 105 |
1/1✓ Branch 1 taken 1 times.
|
1 | mod = parser.parse_module(); |
| 106 | } | ||
| 107 | |||
| 108 | // Parsing diagnostics | ||
| 109 | // ------------------- | ||
| 110 | { | ||
| 111 |
3/3✓ Branch 2 taken 1 times.
✓ Branch 5 taken 1 times.
✓ Branch 8 taken 1 times.
|
1 | std::cout << std::string(80, '-') << '\n'; |
| 112 |
1/1✓ Branch 1 taken 1 times.
|
1 | std::cout << "Parsing Diag\n"; |
| 113 |
3/3✓ Branch 2 taken 1 times.
✓ Branch 5 taken 1 times.
✓ Branch 8 taken 1 times.
|
1 | std::cout << std::string(80, '-') << '\n'; |
| 114 |
1/1✓ Branch 1 taken 1 times.
|
1 | parser.show_diagnostics(std::cout); |
| 115 |
3/3✓ Branch 2 taken 1 times.
✓ Branch 5 taken 1 times.
✓ Branch 8 taken 1 times.
|
1 | std::cout << std::string(80, '-') << '\n'; |
| 116 | } | ||
| 117 | |||
| 118 | // Parsing dump | ||
| 119 | // ------------ | ||
| 120 | { | ||
| 121 |
1/1✓ Branch 1 taken 1 times.
|
1 | std::stringstream ss; |
| 122 |
2/2✓ Branch 5 taken 3 times.
✓ Branch 6 taken 1 times.
|
4 | for (auto stmt: mod->body) { |
| 123 |
2/2✓ Branch 1 taken 3 times.
✓ Branch 4 taken 3 times.
|
3 | print(str(stmt), ss); |
| 124 |
1/1✓ Branch 1 taken 3 times.
|
3 | ss << "\n"; |
| 125 | } | ||
| 126 |
3/3✓ Branch 2 taken 1 times.
✓ Branch 5 taken 1 times.
✓ Branch 8 taken 1 times.
|
1 | std::cout << std::string(80, '-') << '\n'; |
| 127 |
1/1✓ Branch 1 taken 1 times.
|
1 | std::cout << "Parsed Module dump\n"; |
| 128 |
3/3✓ Branch 2 taken 1 times.
✓ Branch 5 taken 1 times.
✓ Branch 8 taken 1 times.
|
1 | std::cout << std::string(80, '-') << '\n'; |
| 129 |
2/2✓ Branch 1 taken 1 times.
✓ Branch 4 taken 1 times.
|
1 | std::cout << ss.str(); |
| 130 |
3/3✓ Branch 2 taken 1 times.
✓ Branch 5 taken 1 times.
✓ Branch 8 taken 1 times.
|
1 | std::cout << std::string(80, '-') << '\n'; |
| 131 | 1 | } | |
| 132 | |||
| 133 | // Memory layout dump | ||
| 134 | { | ||
| 135 | // | ||
| 136 |
1/1✓ Branch 1 taken 1 times.
|
1 | mod->dump(std::cout); |
| 137 | } | ||
| 138 | |||
| 139 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 1 times.
|
1 | if (show_parsing) { |
| 140 | ✗ | return 0; | |
| 141 | } | ||
| 142 | |||
| 143 | // Sema | ||
| 144 | // ---- | ||
| 145 | { | ||
| 146 |
1/1✓ Branch 1 taken 1 times.
|
1 | SemanticAnalyser sema; |
| 147 | |||
| 148 |
3/3✓ Branch 2 taken 1 times.
✓ Branch 5 taken 1 times.
✓ Branch 8 taken 1 times.
|
1 | std::cout << std::string(80, '-') << '\n'; |
| 149 |
1/1✓ Branch 1 taken 1 times.
|
1 | std::cout << "Sema Logs\n"; |
| 150 |
3/3✓ Branch 2 taken 1 times.
✓ Branch 5 taken 1 times.
✓ Branch 8 taken 1 times.
|
1 | std::cout << std::string(80, '-') << '\n'; |
| 151 |
1/1✓ Branch 1 taken 1 times.
|
1 | sema.exec(mod, 0); |
| 152 |
3/3✓ Branch 2 taken 1 times.
✓ Branch 5 taken 1 times.
✓ Branch 8 taken 1 times.
|
1 | std::cout << std::string(80, '-') << '\n'; |
| 153 | |||
| 154 | // Sema Diagnostic | ||
| 155 | // --------------- | ||
| 156 | { | ||
| 157 |
3/3✓ Branch 2 taken 1 times.
✓ Branch 5 taken 1 times.
✓ Branch 8 taken 1 times.
|
1 | std::cout << std::string(80, '-') << '\n'; |
| 158 |
1/1✓ Branch 1 taken 1 times.
|
1 | std::cout << "Sema Diagnostic dump\n"; |
| 159 |
3/3✓ Branch 2 taken 1 times.
✓ Branch 5 taken 1 times.
✓ Branch 8 taken 1 times.
|
1 | std::cout << std::string(80, '-') << '\n'; |
| 160 | |||
| 161 |
1/1✓ Branch 1 taken 1 times.
|
1 | sema.show_diagnostic(std::cout, &lex); |
| 162 |
3/3✓ Branch 2 taken 1 times.
✓ Branch 5 taken 1 times.
✓ Branch 8 taken 1 times.
|
1 | std::cout << std::string(80, '-') << '\n'; |
| 163 | } | ||
| 164 | |||
| 165 | // Memory layout dump | ||
| 166 | { | ||
| 167 | // | ||
| 168 |
1/1✓ Branch 1 taken 1 times.
|
1 | mod->dump(std::cout); |
| 169 | } | ||
| 170 | |||
| 171 |
2/3✓ Branch 1 taken 1 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 1 times.
|
1 | if (has_circle(mod)) { |
| 172 | kwwarn("Circle will cause infinite recursion"); | ||
| 173 | } | ||
| 174 | |||
| 175 | // Bindings Dump | ||
| 176 | // ------------- | ||
| 177 | { | ||
| 178 |
1/1✓ Branch 1 taken 1 times.
|
1 | std::stringstream ss; |
| 179 |
1/1✓ Branch 1 taken 1 times.
|
1 | sema.bindings.dump(ss); |
| 180 | |||
| 181 |
3/3✓ Branch 2 taken 1 times.
✓ Branch 5 taken 1 times.
✓ Branch 8 taken 1 times.
|
1 | std::cout << std::string(80, '-') << '\n'; |
| 182 |
1/1✓ Branch 1 taken 1 times.
|
1 | std::cout << "Sema bindings dump\n"; |
| 183 |
3/3✓ Branch 2 taken 1 times.
✓ Branch 5 taken 1 times.
✓ Branch 8 taken 1 times.
|
1 | std::cout << std::string(80, '-') << '\n'; |
| 184 |
2/2✓ Branch 1 taken 1 times.
✓ Branch 4 taken 1 times.
|
1 | std::cout << ss.str(); |
| 185 |
3/3✓ Branch 2 taken 1 times.
✓ Branch 5 taken 1 times.
✓ Branch 8 taken 1 times.
|
1 | std::cout << std::string(80, '-') << '\n'; |
| 186 | 1 | } | |
| 187 | 1 | } | |
| 188 | |||
| 189 |
3/8✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 1 times.
✗ Branch 8 not taken.
✗ Branch 12 not taken.
✗ Branch 13 not taken.
|
1 | } catch (lython::Exception e) { |
| 190 | ✗ | std::cout << "Error Occured:" << std::endl; | |
| 191 | ✗ | std::cout << "\t" << e.what() << std::endl; | |
| 192 | ✗ | } | |
| 193 | |||
| 194 |
1/2✓ Branch 0 taken 1 times.
✗ Branch 1 not taken.
|
1 | delete mod; |
| 195 | |||
| 196 | 1 | return 0; | |
| 197 | 1 | }; | |
| 198 | } // namespace lython | ||
| 199 |