Added superclass inference

.github/workflows/pull-request.yml

@@ -12,7 +12,7 @@ concurrency:
   cancel-in-progress: true
 
 env:
-  XCODE_VERSION: "26.1"
+  XCODE_VERSION: "26.0"
 
 jobs:
   prepare:
@@ -88,16 +88,16 @@ jobs:
             destination="platform=macOS,variant=Mac Catalyst"
             ;;
           ios)
-            destination="platform=iOS Simulator,name=iPhone 17 Pro Max,OS=26.1"
+            destination="platform=iOS Simulator,name=iPhone 17 Pro Max,OS=26.0.1"
             ;;
           tvos)
-            destination="platform=tvOS Simulator,name=Apple TV 4K (3rd generation),OS=26.1"
+            destination="platform=tvOS Simulator,name=Apple TV 4K (3rd generation),OS=26.0"
             ;;
           watchos)
-            destination="platform=watchOS Simulator,name=Apple Watch Series 11 (46mm),OS=26.1"
+            destination="platform=watchOS Simulator,name=Apple Watch Series 11 (46mm),OS=26.0"
             ;;
           visionos)
-            destination="platform=visionOS Simulator,name=Apple Vision Pro,OS=26.1"
+            destination="platform=visionOS Simulator,name=Apple Vision Pro,OS=26.0"
             ;;
           *)
             echo "Unknown platform: ${{ matrix.platform }}"

.github/workflows/release.yml

@@ -6,7 +6,7 @@ on:
       - '*'
 
 env:
-  XCODE_VERSION: "26.1"
+  XCODE_VERSION: "26.0"
 
 jobs:
   release:

.swiftlint.yml

@@ -27,7 +27,7 @@ opt_in_rules:
     - discouraged_assert
     - discouraged_none_name
     - discouraged_object_literal
-    - discouraged_optional_boolean
+    # discouraged_optional_boolean
     - discouraged_optional_collection
     - empty_collection_literal
     - empty_count
@@ -67,7 +67,7 @@ opt_in_rules:
     - local_doc_comment
     - lower_acl_than_parent
     # missing_docs
-    - modifier_order
+    # modifier_order
     - multiline_arguments
     - multiline_arguments_brackets
     - multiline_function_chains

Sources/PrincipleMacros/Builders/Declarations/Common/DeclBuilder.swift

@@ -15,7 +15,6 @@ public protocol DeclBuilder {
 
     var preferredGlobalActorIsolation: GlobalActorIsolation? { get }
     var preferredAccessControlLevel: AccessControlLevel? { get }
-    var maxAllowedAccessControlLevel: AccessControlLevel { get }
 
     func build() throws -> [DeclSyntax]
 }
@@ -34,7 +33,7 @@ extension DeclBuilder {
         nil
     }
 
-    public var maxAllowedAccessControlLevel: AccessControlLevel {
-        .public
+    public var inheritedAvailability: AttributeListSyntax? {
+        basicDeclaration.availability?.trimmed.withTrailingNewline
     }
 }

Sources/PrincipleMacros/Builders/Declarations/Common/MemberBuilding.swift

@@ -11,10 +11,17 @@ public protocol MemberBuilding {}
 extension MemberBuilding where Self: TypeDeclBuilder {
 
     public var inheritedAccessControlLevel: AccessControlLevel? {
+        .forMember(
+            of: typeDeclaration,
+            preferred: preferredAccessControlLevel
+        )
+    }
+
+    public var inheritedAccessControlLevelAllowingOpen: AccessControlLevel? {
         .forMember(
             of: typeDeclaration,
             preferred: preferredAccessControlLevel,
-            maxAllowed: maxAllowedAccessControlLevel
+            maxAllowed: .open
         )
     }
 }

Sources/PrincipleMacros/Builders/Declarations/Common/PeerBuilding.swift

@@ -11,10 +11,17 @@ public protocol PeerBuilding {}
 extension PeerBuilding where Self: DeclBuilder {
 
     public var inheritedAccessControlLevel: AccessControlLevel? {
+        .forPeer(
+            of: basicDeclaration,
+            preferred: preferredAccessControlLevel
+        )
+    }
+
+    public var inheritedAccessControlLevelAllowingOpen: AccessControlLevel? {
         .forPeer(
             of: basicDeclaration,
             preferred: preferredAccessControlLevel,
-            maxAllowed: maxAllowedAccessControlLevel
+            maxAllowed: .open
         )
     }
 }

Sources/PrincipleMacros/Builders/Declarations/Members/PropertyDeclAccessorBuilder.swift

@@ -0,0 +1,21 @@
+//
+//  PropertyDeclAccessorBuilder.swift
+//  PrincipleMacros
+//
+//  Created by Kamil Strzelecki on 28/11/2025.
+//  Copyright © 2025 Kamil Strzelecki. All rights reserved.
+//
+
+import SwiftSyntaxMacros
+
+public protocol PropertyDeclAccessorBuilder: PropertyDeclBuilder {
+
+    func buildAccessors() throws -> [AccessorDeclSyntax]
+}
+
+extension PropertyDeclAccessorBuilder {
+
+    public func build() throws -> [DeclSyntax] {
+        try buildAccessors().map(DeclSyntax.init)
+    }
+}

Sources/PrincipleMacros/Builders/Declarations/Types/ClassDeclBuilder.swift

@@ -11,6 +11,7 @@ import SwiftSyntaxMacros
 public protocol ClassDeclBuilder: TypeDeclBuilder {
 
     var declaration: ClassDeclSyntax { get }
+    var trimmedSuperclassType: TypeSyntax? { get }
 }
 
 extension ClassDeclBuilder {
@@ -19,3 +20,20 @@ extension ClassDeclBuilder {
         declaration
     }
 }
+
+extension ClassDeclBuilder {
+
+    public var trimmedSuperclassType: TypeSyntax? {
+        nil
+    }
+
+    public var inheritedOverrideModifier: TokenSyntax? {
+        trimmedSuperclassType != nil
+            ? TokenSyntax(.keyword(.override), presence: .present).withTrailingSpace
+            : nil
+    }
+
+    public var inheritedFinalModifier: TokenSyntax? {
+        declaration.finalSpecifier?.trimmed.withTrailingSpace
+    }
+}

Sources/PrincipleMacros/Diagnostics/DiagnosticsError.swift

@@ -0,0 +1,22 @@
+//
+//  DiagnosticsError.swift
+//  PrincipleMacros
+//
+//  Created by Kamil Strzelecki on 21/11/2025.
+//  Copyright © 2025 Kamil Strzelecki. All rights reserved.
+//
+
+import SwiftSyntaxMacros
+
+extension DiagnosticsError {
+
+    public init(
+        node: some SyntaxProtocol,
+        message: String,
+        fixIts: [FixIt] = []
+    ) {
+        let message = MacroExpansionErrorMessage(message)
+        let diagnostic = Diagnostic(node: node, message: message, fixIts: fixIts)
+        self.init(diagnostics: [diagnostic])
+    }
+}

Sources/PrincipleMacros/ExpansionContext/MacroExpansionContext.swift → Sources/PrincipleMacros/Diagnostics/MacroExpansionContext.swift

@@ -12,19 +12,21 @@ extension MacroExpansionContext {
 
     public func diagnose(
         node: some SyntaxProtocol,
-        errorMessage: String
+        errorMessage: String,
+        fixIts: [FixIt] = []
     ) {
         let message = MacroExpansionErrorMessage(errorMessage)
-        let diagnostic = Diagnostic(node: node, message: message)
+        let diagnostic = Diagnostic(node: node, message: message, fixIts: fixIts)
         diagnose(diagnostic)
     }
 
     public func diagnose(
         node: some SyntaxProtocol,
-        warningMessage: String
+        warningMessage: String,
+        fixIts: [FixIt] = []
     ) {
         let message = MacroExpansionWarningMessage(warningMessage)
-        let diagnostic = Diagnostic(node: node, message: message)
+        let diagnostic = Diagnostic(node: node, message: message, fixIts: fixIts)
         diagnose(diagnostic)
     }
 }

Sources/PrincipleMacros/Parameters/ParameterExtractor.swift

@@ -121,6 +121,32 @@ extension ParameterExtractor {
     }
 }
 
+extension ParameterExtractor {
+
+    public func rawBool(
+        withLabel label: TokenSyntax?
+    ) throws -> Bool? {
+        guard let expression = expression(withLabel: label) else {
+            return nil
+        }
+
+        guard let bool = expression.as(BooleanLiteralExprSyntax.self) else {
+            throw ParameterExtractionError.unexpectedSyntaxType
+        }
+
+        return bool.literal.tokenKind == .keyword(.true)
+    }
+
+    public func requiredRawBool(
+        withLabel label: TokenSyntax?
+    ) throws -> Bool {
+        guard let bool = try rawBool(withLabel: label) else {
+            throw ParameterExtractionError.missingRequirement
+        }
+        return bool
+    }
+}
+
 extension ParameterExtractor {
 
     public func rawString(
@@ -160,18 +186,20 @@ extension ParameterExtractor {
             return nil
         }
 
-        if NilLiteralExprSyntax(expression) != nil {
+        if expression.is(NilLiteralExprSyntax.self) {
             let isolation = DeclModifierSyntax(name: .keyword(.nonisolated))
             return .nonisolated(trimmedModifer: isolation)
         }
 
-        if let memberAccessExpression = MemberAccessExprSyntax(expression),
-           let explicitType = memberAccessExpression.base?.inferredType,
-           memberAccessExpression.referencesBaseType {
-            return .isolated(standardizedType: explicitType.standardized)
+        guard let memberAccessExpression = MemberAccessExprSyntax(expression),
+              let globalActorType = memberAccessExpression.baseTypeReference
+        else {
+            throw ParameterExtractionError.unexpectedSyntaxType
         }
 
-        throw ParameterExtractionError.unexpectedSyntaxType
+        return .isolated(
+            standardizedType: globalActorType.standardized
+        )
     }
 
     public func requiredGlobalActorIsolation(
@@ -183,3 +211,31 @@ extension ParameterExtractor {
         return isolation
     }
 }
+
+extension ParameterExtractor {
+
+    public func type(
+        withLabel label: TokenSyntax?
+    ) throws -> TypeSyntax? {
+        guard let expression = expression(withLabel: label) else {
+            return nil
+        }
+
+        guard let memberAccessExpression = MemberAccessExprSyntax(expression),
+              let type = memberAccessExpression.baseTypeReference
+        else {
+            throw ParameterExtractionError.unexpectedSyntaxType
+        }
+
+        return type
+    }
+
+    public func requiredType(
+        withLabel label: TokenSyntax?
+    ) throws -> TypeSyntax {
+        guard let type = try type(withLabel: label) else {
+            throw ParameterExtractionError.missingRequirement
+        }
+        return type
+    }
+}

Sources/PrincipleMacros/Parsers/Common/Parser.swift

@@ -13,12 +13,44 @@ public protocol Parser {
     associatedtype ResultsCollection: ParserResultsCollection
 
     static func parse(
-        declaration: some DeclSyntaxProtocol,
-        in context: some MacroExpansionContext
-    ) -> ResultsCollection
+        declaration: some DeclSyntaxProtocol
+    ) throws -> ResultsCollection
+}
 
-    static func parse(
-        memberBlock: MemberBlockSyntax,
-        in context: some MacroExpansionContext
-    ) -> ResultsCollection
+extension Parser {
+
+    public static func parse(
+        ifConfig: IfConfigDeclSyntax
+    ) throws -> ResultsCollection {
+        try ResultsCollection(
+            ifConfig.clauses.flatMap { clause in
+                switch clause.elements {
+                case let .decls(members):
+                    try parse(members: members)
+                default:
+                    ResultsCollection()
+                }
+            }
+        )
+    }
+
+    public static func parse(
+        members: MemberBlockItemListSyntax
+    ) throws -> ResultsCollection {
+        try ResultsCollection(
+            members.flatMap { member in
+                if let ifConfig = member.decl.as(IfConfigDeclSyntax.self) {
+                    try parse(ifConfig: ifConfig)
+                } else {
+                    try parse(declaration: member.decl)
+                }
+            }
+        )
+    }
+
+    public static func parse(
+        memberBlock: MemberBlockSyntax
+    ) throws -> ResultsCollection {
+        try parse(members: memberBlock.members)
+    }
 }

Sources/PrincipleMacros/Parsers/Common/ParserResultsCollection.swift

@@ -12,6 +12,8 @@ where Element: ParserResult {
     associatedtype Element
 
     var all: [Element] { get }
+
+    init(_ all: [Element])
 }
 
 extension ParserResultsCollection {
@@ -28,3 +30,16 @@ extension ParserResultsCollection {
         all[position]
     }
 }
+
+extension ParserResultsCollection {
+
+    public init() {
+        self.init([])
+    }
+
+    public func filter(
+        _ isIncluded: (Element) throws -> Bool
+    ) rethrows -> Self {
+        try Self(filter(isIncluded))
+    }
+}