Skip to content

Added AliasType#2738

Draft
oxisto wants to merge 2 commits into
mainfrom
oxisto/alias-type
Draft

Added AliasType#2738
oxisto wants to merge 2 commits into
mainfrom
oxisto/alias-type

Conversation

@oxisto
Copy link
Copy Markdown
Member

@oxisto oxisto commented Apr 23, 2026

No description provided.

@codecov
Copy link
Copy Markdown

codecov Bot commented Apr 23, 2026

Codecov Report

❌ Patch coverage is 32.60870% with 124 lines in your changes missing coverage. Please review.
✅ Project coverage is 72.47%. Comparing base (f86970e) to head (7896731).
⚠️ Report is 1 commits behind head on main.
✅ All tests successful. No failed tests found.

Files with missing lines Patch % Lines
...kotlin/de/fraunhofer/aisec/cpg/graph/types/Type.kt 18.42% 24 Missing and 7 partials ⚠️
...n/de/fraunhofer/aisec/cpg/graph/types/AliasType.kt 15.62% 23 Missing and 4 partials ⚠️
...ain/kotlin/de/fraunhofer/aisec/cpg/ScopeManager.kt 0.00% 20 Missing ⚠️
.../de/fraunhofer/aisec/cpg/graph/types/ObjectType.kt 0.00% 10 Missing and 2 partials ⚠️
...de/fraunhofer/aisec/cpg/graph/types/NumericType.kt 11.11% 5 Missing and 3 partials ⚠️
...de/fraunhofer/aisec/cpg/graph/types/PointerType.kt 50.00% 3 Missing and 5 partials ⚠️
...hofer/aisec/cpg/graph/types/FunctionPointerType.kt 0.00% 5 Missing and 2 partials ⚠️
...lin/de/fraunhofer/aisec/cpg/passes/TypeResolver.kt 84.21% 1 Missing and 2 partials ⚠️
...raunhofer/aisec/cpg/passes/inference/PassHelper.kt 62.50% 1 Missing and 2 partials ⚠️
...main/kotlin/de/fraunhofer/aisec/cpg/TypeManager.kt 60.00% 1 Missing and 1 partial ⚠️
... and 2 more
Additional details and impacted files
Files with missing lines Coverage Δ
...e/fraunhofer/aisec/cpg/graph/DeclarationBuilder.kt 89.80% <ø> (ø)
...tlin/de/fraunhofer/aisec/cpg/graph/scopes/Scope.kt 91.30% <ø> (ø)
...e/fraunhofer/aisec/cpg/graph/types/FunctionType.kt 92.30% <100.00%> (ø)
...n/de/fraunhofer/aisec/cpg/passes/SymbolResolver.kt 88.42% <100.00%> (+0.11%) ⬆️
...aisec/cpg/frontends/golang/SpecificationHandler.kt 80.88% <100.00%> (-0.14%) ⬇️
...lin/de/fraunhofer/aisec/cpg/passes/CXXExtraPass.kt 79.74% <0.00%> (-1.03%) ⬇️
...main/kotlin/de/fraunhofer/aisec/cpg/TypeManager.kt 84.31% <60.00%> (-1.41%) ⬇️
...ofer/aisec/cpg/frontends/cxx/DeclarationHandler.kt 82.56% <77.77%> (-0.21%) ⬇️
...lin/de/fraunhofer/aisec/cpg/passes/TypeResolver.kt 87.17% <84.21%> (-2.68%) ⬇️
...raunhofer/aisec/cpg/passes/inference/PassHelper.kt 83.21% <62.50%> (-1.12%) ⬇️
... and 7 more

... and 11 files with indirect coverage changes

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

if (this === other) return true
// For backward compatibility: allow AliasType to match underlying type
val otherClass = other?.let { it::class.simpleName }
if (otherClass == "AliasType") {
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why do we use the class name? It's a final class, so we could just check if(other is AliasType) or am I missing something? The check for the name and language could remain. Also affects the other files

if (this === other) return true
// For backward compatibility: allow AliasType to match underlying type
val otherClass = other?.let { it::class.simpleName }
if (otherClass == "AliasType") {
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Same comment as above

if (this === other) return true
// For backward compatibility: allow AliasType to match underlying type
val otherClass = other?.let { it::class.simpleName }
if (otherClass == "AliasType") {
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Same comment as above

// For backward compatibility: allow AliasType to match underlying type
// Use runtime class check since smart cast might not work in all cases
val otherClass = other?.let { it::class.simpleName }
if (otherClass == "AliasType") {
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Same comment as above

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants