Line | Branch | Exec | Source |
---|---|---|---|
1 | // Copyright (c) 2021-2025 ChilliBits. All rights reserved. | ||
2 | |||
3 | #include "StructBase.h" | ||
4 | |||
5 | #include <ast/ASTBuilder.h> | ||
6 | #include <ast/ASTNodes.h> | ||
7 | #include <typechecker/TypeMatcher.h> | ||
8 | #include <util/CommonUtil.h> | ||
9 | |||
10 | namespace spice::compiler { | ||
11 | |||
12 | /** | ||
13 | * Get a string representation of the current struct | ||
14 | * | ||
15 | * @return String representation as struct signature | ||
16 | */ | ||
17 | 2760 | std::string StructBase::getSignature() const { | |
18 | 2760 | QualTypeList templateSymbolTypes; | |
19 |
1/2✓ Branch 0 (3→4) taken 2760 times.
✗ Branch 1 (3→31) not taken.
|
2760 | templateSymbolTypes.reserve(templateTypes.size()); |
20 |
2/2✓ Branch 0 (24→6) taken 3003 times.
✓ Branch 1 (24→25) taken 2760 times.
|
5763 | for (const GenericType &genericType : templateTypes) { |
21 |
7/8✓ Branch 0 (7→8) taken 3003 times.
✗ Branch 1 (7→30) not taken.
✓ Branch 2 (8→9) taken 1170 times.
✓ Branch 3 (8→12) taken 1833 times.
✓ Branch 4 (10→11) taken 806 times.
✓ Branch 5 (10→12) taken 364 times.
✓ Branch 6 (13→14) taken 806 times.
✓ Branch 7 (13→21) taken 2197 times.
|
3003 | if (genericType.is(TY_GENERIC) && !typeMapping.empty()) { |
22 |
3/6✓ Branch 0 (14→15) taken 806 times.
✗ Branch 1 (14→30) not taken.
✓ Branch 2 (15→16) taken 806 times.
✗ Branch 3 (15→30) not taken.
✗ Branch 4 (16→17) not taken.
✓ Branch 5 (16→18) taken 806 times.
|
806 | assert(typeMapping.contains(genericType.getSubType())); |
23 |
3/6✓ Branch 0 (18→19) taken 806 times.
✗ Branch 1 (18→30) not taken.
✓ Branch 2 (19→20) taken 806 times.
✗ Branch 3 (19→30) not taken.
✓ Branch 4 (20→22) taken 806 times.
✗ Branch 5 (20→30) not taken.
|
806 | templateSymbolTypes.push_back(typeMapping.at(genericType.getSubType())); |
24 | } else { | ||
25 |
1/2✓ Branch 0 (21→22) taken 2197 times.
✗ Branch 1 (21→30) not taken.
|
2197 | templateSymbolTypes.push_back(genericType); |
26 | } | ||
27 | } | ||
28 | |||
29 |
1/2✓ Branch 0 (25→26) taken 2760 times.
✗ Branch 1 (25→31) not taken.
|
5520 | return getSignature(name, templateSymbolTypes); |
30 | 2760 | } | |
31 | |||
32 | /** | ||
33 | * Get the signature from the struct name and the concrete template types | ||
34 | * | ||
35 | * Example: | ||
36 | * Pair<int,double> | ||
37 | * | ||
38 | * @param name Struct name | ||
39 | * @param concreteTemplateTypes Concrete template types | ||
40 | * @return Signature | ||
41 | */ | ||
42 | 14799 | std::string StructBase::getSignature(const std::string &name, const QualTypeList &concreteTemplateTypes) { | |
43 | // Build template type string | ||
44 |
1/2✓ Branch 0 (2→3) taken 14799 times.
✗ Branch 1 (2→48) not taken.
|
14799 | std::stringstream templateTyStr; |
45 |
2/2✓ Branch 0 (4→5) taken 5443 times.
✓ Branch 1 (4→17) taken 9356 times.
|
14799 | if (!concreteTemplateTypes.empty()) { |
46 |
1/2✓ Branch 0 (5→6) taken 5443 times.
✗ Branch 1 (5→46) not taken.
|
5443 | templateTyStr << "<"; |
47 |
2/2✓ Branch 0 (15→7) taken 6840 times.
✓ Branch 1 (15→16) taken 5443 times.
|
12283 | for (size_t i = 0; i < concreteTemplateTypes.size(); i++) { |
48 |
2/2✓ Branch 0 (7→8) taken 1397 times.
✓ Branch 1 (7→9) taken 5443 times.
|
6840 | if (i > 0) |
49 |
1/2✓ Branch 0 (8→9) taken 1397 times.
✗ Branch 1 (8→46) not taken.
|
1397 | templateTyStr << ","; |
50 |
3/6✓ Branch 0 (9→10) taken 6840 times.
✗ Branch 1 (9→33) not taken.
✓ Branch 2 (10→11) taken 6840 times.
✗ Branch 3 (10→33) not taken.
✓ Branch 4 (11→12) taken 6840 times.
✗ Branch 5 (11→31) not taken.
|
6840 | templateTyStr << concreteTemplateTypes.at(i).getName(false, true); |
51 | } | ||
52 |
1/2✓ Branch 0 (16→17) taken 5443 times.
✗ Branch 1 (16→46) not taken.
|
5443 | templateTyStr << ">"; |
53 | } | ||
54 | |||
55 |
4/8✓ Branch 0 (17→18) taken 14799 times.
✗ Branch 1 (17→45) not taken.
✓ Branch 2 (20→21) taken 14799 times.
✗ Branch 3 (20→38) not taken.
✓ Branch 4 (21→22) taken 14799 times.
✗ Branch 5 (21→36) not taken.
✓ Branch 6 (22→23) taken 14799 times.
✗ Branch 7 (22→34) not taken.
|
59196 | return CommonUtil::getLastFragment(name, SCOPE_ACCESS_TOKEN) + templateTyStr.str(); |
56 | 14799 | } | |
57 | |||
58 | /** | ||
59 | * Checks if a struct contains template types. | ||
60 | * This would imply that the struct is not substantiated by its generic types yet. | ||
61 | * | ||
62 | * @return Substantiated generics or not | ||
63 | */ | ||
64 | 2486 | bool StructBase::hasSubstantiatedGenerics() const { | |
65 | 1852 | const auto lambda = [](const GenericType &genericType) { return genericType.hasAnyGenericParts(); }; | |
66 |
1/2✓ Branch 0 (2→3) taken 2486 times.
✗ Branch 1 (2→6) not taken.
|
4972 | return std::ranges::none_of(templateTypes, lambda); |
67 | } | ||
68 | |||
69 | /** | ||
70 | * Checks if a struct has generic types present. | ||
71 | * This would imply that the struct is not fully substantiated yet. | ||
72 | * | ||
73 | * @return Fully substantiated or not | ||
74 | */ | ||
75 | 2486 | bool StructBase::isFullySubstantiated() const { return hasSubstantiatedGenerics(); } | |
76 | |||
77 | /** | ||
78 | * Retrieve the template types as vector of symbol types | ||
79 | * | ||
80 | * @return Template types as vector of symbol types | ||
81 | */ | ||
82 | 445 | QualTypeList StructBase::getTemplateTypes() const { | |
83 | 445 | QualTypeList templateSymbolTypes; | |
84 |
2/2✓ Branch 0 (8→4) taken 589 times.
✓ Branch 1 (8→9) taken 445 times.
|
1034 | for (const GenericType &genericTemplateType : templateTypes) |
85 |
1/2✓ Branch 0 (5→6) taken 589 times.
✗ Branch 1 (5→11) not taken.
|
589 | templateSymbolTypes.push_back(genericTemplateType); |
86 | 445 | return templateSymbolTypes; | |
87 | ✗ | } | |
88 | |||
89 | /** | ||
90 | * Retrieve the declaration code location of this struct | ||
91 | * | ||
92 | * @return Declaration code location | ||
93 | */ | ||
94 | 594 | const CodeLoc &StructBase::getDeclCodeLoc() const { return declNode->codeLoc; } | |
95 | |||
96 | /** | ||
97 | * Returns, if this struct is a substantiation of a generic one. | ||
98 | * | ||
99 | * @return Generic substantiation or not | ||
100 | */ | ||
101 | 2479 | bool StructBase::isGenericSubstantiation() const { return genericPreset != nullptr; } | |
102 | |||
103 | } // namespace spice::compiler | ||
104 |