View on GitHub
TypeCheckTask
private final class TypeCheckTask : Operation, @unchecked SendableThe type checking of a collection of source files.
-
The sources to check.
Declaration
Swift
private let sources: [TranslationUnit.ID] -
The checker used by this operation.
Declaration
Swift
private var checker: TypeChecker -
Potentially unnecessary lock for thread safety.
Declaration
Swift
private let lock: NSLock -
init(_:withCheckerIdentifiedBy: collaborativelyConstructing: tracingInferenceIf: loggingRequirementSystemIf: ) Creates a task type checking
sourceswith a checker identified bycheckerIdentifier, constructinginstanceUnderConstruction.Declaration
Swift
init( _ sources: [TranslationUnit.ID], withCheckerIdentifiedBy checkerIdentifier: UInt8, collaborativelyConstructing instanceUnderConstruction: SharedMutable<TypedProgram>, tracingInferenceIf shouldTraceInference: (@Sendable (AnyNodeID, TypedProgram) -> Bool)?, loggingRequirementSystemIf shouldLogRequirements: (@Sendable (AnyDeclID, TypedProgram) -> Bool)? ) -
Executes the operation.
Declaration
Swift
override func main() -
The diagnostic reported during type checker.
Declaration
Swift
var diagnostics: DiagnosticSet { get }