src/symboltablebuilder/TypeChain.cpp
| Line | Branch | Exec | Source |
|---|---|---|---|
| 1 | // Copyright (c) 2021-2026 ChilliBits. All rights reserved. | ||
| 2 | |||
| 3 | #include "TypeChain.h" | ||
| 4 | |||
| 5 | #include <exception/CompilerError.h> | ||
| 6 | |||
| 7 | namespace spice::compiler { | ||
| 8 | |||
| 9 | 11639680 | bool operator==(const TypeChainElement &lhs, const TypeChainElement &rhs) { | |
| 10 | // Check super type | ||
| 11 |
2/2✓ Branch 2 → 3 taken 91177 times.
✓ Branch 2 → 4 taken 11548503 times.
|
11639680 | if (lhs.superType != rhs.superType) |
| 12 | 91177 | return false; | |
| 13 | |||
| 14 | // Check data | ||
| 15 |
7/7✓ Branch 4 → 5 taken 1156 times.
✓ Branch 4 → 6 taken 4514107 times.
✓ Branch 4 → 16 taken 181470 times.
✓ Branch 4 → 17 taken 1256 times.
✓ Branch 4 → 26 taken 355410 times.
✓ Branch 4 → 40 taken 794730 times.
✓ Branch 4 → 41 taken 5700374 times.
|
11548503 | switch (lhs.superType) { |
| 16 | 1156 | case TY_ARRAY: | |
| 17 | 1156 | return lhs.data.arraySize == rhs.data.arraySize; | |
| 18 | 4514107 | case TY_STRUCT: | |
| 19 |
2/4✓ Branch 6 → 7 taken 4514107 times.
✗ Branch 6 → 9 not taken.
✓ Branch 7 → 8 taken 4514107 times.
✗ Branch 7 → 9 not taken.
|
4514107 | assert(lhs.data.bodyScope != nullptr && rhs.data.bodyScope != nullptr); |
| 20 |
4/4✓ Branch 10 → 11 taken 4501645 times.
✓ Branch 10 → 14 taken 12462 times.
✓ Branch 12 → 13 taken 4501571 times.
✓ Branch 12 → 14 taken 74 times.
|
4514107 | return lhs.typeId == rhs.typeId && lhs.templateTypes == rhs.templateTypes; |
| 21 | 181470 | case TY_INTERFACE: | |
| 22 | 181470 | return lhs.typeId == rhs.typeId; | |
| 23 | 1256 | case TY_ENUM: | |
| 24 |
2/4✓ Branch 17 → 18 taken 1256 times.
✗ Branch 17 → 20 not taken.
✓ Branch 18 → 19 taken 1256 times.
✗ Branch 18 → 20 not taken.
|
1256 | assert(lhs.data.bodyScope != nullptr && rhs.data.bodyScope != nullptr); |
| 25 |
2/4✓ Branch 21 → 22 taken 1256 times.
✗ Branch 21 → 24 not taken.
✓ Branch 22 → 23 taken 1256 times.
✗ Branch 22 → 24 not taken.
|
1256 | return lhs.typeId == rhs.typeId && lhs.data.bodyScope == rhs.data.bodyScope; |
| 26 | 355410 | case TY_FUNCTION: // fall-through | |
| 27 | case TY_PROCEDURE: | ||
| 28 |
1/2✗ Branch 28 → 29 not taken.
✓ Branch 28 → 30 taken 355410 times.
|
355410 | if (lhs.paramTypes.size() != rhs.paramTypes.size()) |
| 29 | ✗ | return false; | |
| 30 |
2/2✓ Branch 38 → 31 taken 492941 times.
✓ Branch 38 → 39 taken 355402 times.
|
848343 | for (size_t i = 0; i < lhs.paramTypes.size(); i++) |
| 31 |
2/2✓ Branch 34 → 35 taken 8 times.
✓ Branch 34 → 36 taken 492933 times.
|
492941 | if (lhs.paramTypes.at(i) != rhs.paramTypes.at(i)) |
| 32 | 8 | return false; | |
| 33 | 355402 | return true; | |
| 34 | 794730 | case TY_GENERIC: | |
| 35 | 794730 | return lhs.subType == rhs.subType; | |
| 36 | 5700374 | default: | |
| 37 | 5700374 | return true; | |
| 38 | } | ||
| 39 | } | ||
| 40 | |||
| 41 | 378203 | bool operator!=(const TypeChainElement &lhs, const TypeChainElement &rhs) { return !(lhs == rhs); } | |
| 42 | |||
| 43 | 2907252 | void TypeChainElement::getName(std::stringstream &name, bool withSize, bool ignorePublic, bool withAliases) const { | |
| 44 |
19/20✓ Branch 2 → 3 taken 377530 times.
✓ Branch 2 → 4 taken 287288 times.
✓ Branch 2 → 6 taken 1760 times.
✓ Branch 2 → 15 taken 12591 times.
✓ Branch 2 → 17 taken 143583 times.
✓ Branch 2 → 19 taken 12088 times.
✓ Branch 2 → 21 taken 212665 times.
✓ Branch 2 → 23 taken 67819 times.
✓ Branch 2 → 25 taken 54055 times.
✓ Branch 2 → 27 taken 82463 times.
✓ Branch 2 → 32 taken 120210 times.
✓ Branch 2 → 34 taken 764219 times.
✓ Branch 2 → 48 taken 1611 times.
✓ Branch 2 → 52 taken 399770 times.
✓ Branch 2 → 54 taken 315 times.
✓ Branch 2 → 56 taken 144728 times.
✓ Branch 2 → 76 taken 120275 times.
✓ Branch 2 → 90 taken 7769 times.
✓ Branch 2 → 92 taken 96513 times.
✗ Branch 2 → 94 not taken.
|
2907252 | switch (superType) { |
| 45 | 377530 | case TY_PTR: | |
| 46 | 377530 | name << "*"; | |
| 47 | 377530 | break; | |
| 48 | 287288 | case TY_REF: | |
| 49 | 287288 | name << "&"; | |
| 50 | 287288 | break; | |
| 51 | 1760 | case TY_ARRAY: | |
| 52 | 1760 | name << "["; | |
| 53 |
4/4✓ Branch 7 → 8 taken 1574 times.
✓ Branch 7 → 13 taken 186 times.
✓ Branch 8 → 9 taken 959 times.
✓ Branch 8 → 13 taken 615 times.
|
1760 | if (withSize && data.arraySize != ARRAY_SIZE_UNKNOWN) |
| 54 |
1/2✓ Branch 10 → 11 taken 959 times.
✗ Branch 10 → 104 not taken.
|
959 | name << std::to_string(data.arraySize); |
| 55 | 1760 | name << "]"; | |
| 56 | 1760 | break; | |
| 57 | 12591 | case TY_DOUBLE: | |
| 58 | 12591 | name << "double"; | |
| 59 | 12591 | break; | |
| 60 | 143583 | case TY_INT: | |
| 61 | 143583 | name << "int"; | |
| 62 | 143583 | break; | |
| 63 | 12088 | case TY_SHORT: | |
| 64 | 12088 | name << "short"; | |
| 65 | 12088 | break; | |
| 66 | 212665 | case TY_LONG: | |
| 67 | 212665 | name << "long"; | |
| 68 | 212665 | break; | |
| 69 | 67819 | case TY_BYTE: | |
| 70 | 67819 | name << "byte"; | |
| 71 | 67819 | break; | |
| 72 | 54055 | case TY_CHAR: | |
| 73 | 54055 | name << "char"; | |
| 74 | 54055 | break; | |
| 75 | 82463 | case TY_STRING: | |
| 76 |
2/2✓ Branch 27 → 28 taken 55695 times.
✓ Branch 27 → 29 taken 26768 times.
|
82463 | name << (withAliases ? "string" : "const char*"); |
| 77 | 82463 | break; | |
| 78 | 120210 | case TY_BOOL: | |
| 79 | 120210 | name << "bool"; | |
| 80 | 120210 | break; | |
| 81 | 764219 | case TY_STRUCT: // fall-through | |
| 82 | case TY_INTERFACE: | ||
| 83 | 764219 | name << subType; | |
| 84 |
2/2✓ Branch 36 → 37 taken 369708 times.
✓ Branch 36 → 47 taken 394511 times.
|
764219 | if (!templateTypes.empty()) { |
| 85 | 369708 | name << "<"; | |
| 86 |
2/2✓ Branch 45 → 39 taken 480076 times.
✓ Branch 45 → 46 taken 369708 times.
|
849784 | for (size_t i = 0; i < templateTypes.size(); i++) { |
| 87 |
2/2✓ Branch 39 → 40 taken 110368 times.
✓ Branch 39 → 41 taken 369708 times.
|
480076 | if (i > 0) |
| 88 | 110368 | name << ","; | |
| 89 | 480076 | templateTypes.at(i).getName(name, withSize, ignorePublic); | |
| 90 | } | ||
| 91 | 369708 | name << ">"; | |
| 92 | } | ||
| 93 | 764219 | break; | |
| 94 | 1611 | case TY_ENUM: | |
| 95 | 1611 | name << "enum(" << subType << ")"; | |
| 96 | 1611 | break; | |
| 97 | 399770 | case TY_GENERIC: // fall-through | |
| 98 | case TY_ALIAS: | ||
| 99 | 399770 | name << subType; | |
| 100 | 399770 | break; | |
| 101 | 315 | case TY_DYN: | |
| 102 | 315 | name << "dyn"; | |
| 103 | 315 | break; | |
| 104 | 144728 | case TY_FUNCTION: { | |
| 105 | 144728 | name << "f"; | |
| 106 |
2/2✓ Branch 57 → 58 taken 17 times.
✓ Branch 57 → 59 taken 144711 times.
|
144728 | if (data.hasCaptures) |
| 107 | 17 | name << "[]"; | |
| 108 |
2/2✓ Branch 60 → 61 taken 144413 times.
✓ Branch 60 → 65 taken 315 times.
|
144728 | if (!paramTypes.empty()) { |
| 109 | 144413 | name << "<"; | |
| 110 | 144413 | paramTypes.front().getName(name, true, ignorePublic); | |
| 111 | 144413 | name << ">"; | |
| 112 | } | ||
| 113 | 144728 | name << "("; | |
| 114 |
2/2✓ Branch 73 → 67 taken 105490 times.
✓ Branch 73 → 74 taken 144728 times.
|
250218 | for (size_t i = 1; i < paramTypes.size(); i++) { |
| 115 |
2/2✓ Branch 67 → 68 taken 39040 times.
✓ Branch 67 → 69 taken 66450 times.
|
105490 | if (i > 1) |
| 116 | 39040 | name << ","; | |
| 117 | 105490 | paramTypes.at(i).getName(name, true, ignorePublic); | |
| 118 | } | ||
| 119 | 144728 | name << ")"; | |
| 120 | 144728 | break; | |
| 121 | } | ||
| 122 | 120275 | case TY_PROCEDURE: { | |
| 123 | 120275 | name << "p"; | |
| 124 |
2/2✓ Branch 77 → 78 taken 52 times.
✓ Branch 77 → 79 taken 120223 times.
|
120275 | if (data.hasCaptures) |
| 125 | 52 | name << "[]"; | |
| 126 | 120275 | name << "("; | |
| 127 |
2/2✓ Branch 87 → 81 taken 109187 times.
✓ Branch 87 → 88 taken 120275 times.
|
229462 | for (size_t i = 1; i < paramTypes.size(); i++) { |
| 128 |
2/2✓ Branch 81 → 82 taken 27257 times.
✓ Branch 81 → 83 taken 81930 times.
|
109187 | if (i > 1) |
| 129 | 27257 | name << ","; | |
| 130 | 109187 | paramTypes.at(i).getName(name, true, ignorePublic); | |
| 131 | } | ||
| 132 | 120275 | name << ")"; | |
| 133 | 120275 | break; | |
| 134 | } | ||
| 135 | 7769 | case TY_IMPORT: | |
| 136 | 7769 | name << "import"; | |
| 137 | 7769 | break; | |
| 138 | − | case TY_INVALID: // GCOV_EXCL_LINE | |
| 139 | − | name << "invalid"; // GCOV_EXCL_LINE | |
| 140 | − | break; // GCOV_EXCL_LINE | |
| 141 | − | default: // GCOV_EXCL_LINE | |
| 142 | − | throw CompilerError(INTERNAL_ERROR, "Could not get name of this type chain element"); // GCOV_EXCL_LINE | |
| 143 | } | ||
| 144 | 2907252 | } | |
| 145 | |||
| 146 | /** | ||
| 147 | * Return the type name as string | ||
| 148 | * | ||
| 149 | * @param withSize Also encode array sizes | ||
| 150 | * @param ignorePublic Ignore public qualifier | ||
| 151 | * @param withAliases Print aliases as is and not decompose them | ||
| 152 | * @return Name as string | ||
| 153 | */ | ||
| 154 | 2907252 | std::string TypeChainElement::getName(bool withSize, bool ignorePublic, bool withAliases) const { | |
| 155 |
1/2✓ Branch 2 → 3 taken 2907252 times.
✗ Branch 2 → 11 not taken.
|
2907252 | std::stringstream name; |
| 156 |
1/2✓ Branch 3 → 4 taken 2907252 times.
✗ Branch 3 → 9 not taken.
|
2907252 | getName(name, withSize, ignorePublic, withAliases); |
| 157 |
1/2✓ Branch 4 → 5 taken 2907252 times.
✗ Branch 4 → 9 not taken.
|
5814504 | return name.str(); |
| 158 | 2907252 | } | |
| 159 | |||
| 160 | } // namespace spice::compiler | ||
| 161 |