Cache Structure Reference


                    
                    
                    LookupTable

A lookup table.

Declaration

Swift

typealias LookupTable = [String : Set<AnyDeclID>]

Show on GitHub


                    
                    
                    TypeLookupKey

A key in a type lookup table.

Declaration

Swift

typealias TypeLookupKey = ScopedValue<AnyType>

Show on GitHub


                    
                    
                    ScopeExtensionCache

Cached information about the extensions of a scope.

Declaration

Swift

struct ScopeExtensionCache

Show on GitHub


                    
                    
                    local

The local instance being type checked.

Declaration

Swift

private(set) var local: TypedProgram { get }

Show on GitHub


                    
                    
                    shared

The instance being collaboratively typed checked.

Declaration

Swift

private var shared: SharedMutable<TypedProgram>?

Show on GitHub


                    
                    
                    pendingUpdates

The updates of the shared cache currently pending.

Declaration

Swift

private var pendingUpdates: [SynchronizationUpdate]

Show on GitHub


                    
                    
                    earlyUpdateCount

The number of updates in pendingUpdates that should be synchronized early.

Declaration

Swift

private var earlyUpdateCount: Int

Show on GitHub


                    
                    
                    earlyUpdateThreshold

The number of early updates that are accumulated before being synchronized.

Declaration

Swift

private static let earlyUpdateThreshold: Int

Show on GitHub


                    
                    
                    declsUnderChecking

The declarations being currently type checked.

Declaration

Swift

var declsUnderChecking: Set<AnyDeclID>

Show on GitHub


                    
                    
                    uncheckedType

A map from declaration to its overarching type before it’s been type checked.

Declaration

Swift

var uncheckedType: DeclProperty<Memo<AnyType>>

Show on GitHub


                    
                    
                    scopeToMembers

A map from declaration space to its members.

This map serves as cache for lookup(_:memberOf:exposedTo). At no point is it guaranteed to be complete.

Declaration

Swift

var scopeToMembers: [TypeLookupKey : LookupTable]

Show on GitHub


                    
                    
                    scopeToNames

A map from lexical scope to the names introduced in it.

This map serves as cache for names(introducedIn:).

Declaration

Swift

var scopeToNames: [AnyScopeID : LookupTable]

Show on GitHub


                    
                    
                    scopeToTypeToExtensions

A map from lexical scope to information about its extensions.

This map serves as cache for appendExtensions(declaredIn:extending:to:).

Declaration

Swift

var scopeToTypeToExtensions: [AnyScopeID : ScopeExtensionCache]

Show on GitHub


                    
                    
                    typeToConformedTraits

A map from type to the traits to which in conforms in a given scope.

This map serves as cache for conformedTraits(of:in:).

Declaration

Swift

var typeToConformedTraits: [TypeLookupKey : Set<TraitType>]

Show on GitHub


                    
                    
                    typeToExtensions

A map from type to its extensions in a given scope.

This map serves as cache for extensions(of:exposedTo:).

Declaration

Swift

var typeToExtensions: [TypeLookupKey : [AnyDeclID]]

Show on GitHub


                    
                    
                    traitToBases

A map from trait to its bases (i.e., the traits that it refines).

This map serves as cache for bases(of:).

Declaration

Swift

var traitToBases: [TraitType : RefinementClosure]

Show on GitHub


                    
                    
                    traitToSuccessors

A map from trait to its direct successors in the trait dependency graph.

This map serves as cache for successors(of:).

Declaration

Swift

var traitToSuccessors: [TraitDecl.ID : [TraitType]]

Show on GitHub


                    
                    
                    partiallyFormedEnvironment

A map from generic declarations to their (partially formed) environment.

Declaration

Swift

var partiallyFormedEnvironment: [AnyDeclID : GenericEnvironment]

Show on GitHub


                    
                    
                    traitDependencyComponents

The strongly connected components of the trait dependency graph.

Declaration

Swift

var traitDependencyComponents: StronglyConnectedComponents<TraitType>

Show on GitHub


                    
                    
                    init(local:shared:)

Creates an instance for memoizing type checking results in local and comminicating them to concurrent type checkers using shared.

Declaration

Swift

init(local: TypedProgram, shared: SharedMutable<TypedProgram>? = nil)

Show on GitHub


                    
                    
                    read(_:ignoringSharedCache:)

Returns the value of the cache at path.

The value at path in self.local is read and returned if it isn’t nil. Otherwise, the value at path in self.shared is read, stored in self.local, and returned if it isn’t nil, unless self.cache is nil or ignoreSharedCache is true.

Declaration

Swift

mutating func read<V>(
  _ path: WritableKeyPath<TypedProgram, V?>,
  ignoringSharedCache ignoreSharedCache: Bool = false
) -> V?

Show on GitHub


                    
                    
                    write(_:at:ignoringSharedCache:mergingWith:)

Writes value to the cache at path, applying the update with merge.

After the call, self.local[keyPath: path] == value. If self.shared isn’t nil, the update is recorded for the next synchronization round and self.earlyUpdateCount is incremented, unless ignoreSharedCache is true.

merge asserts that the update is monotonic.

Declaration

Swift

mutating func write<V: Sendable>(
  _ value: V, at path: WritableKeyPath<TypedProgram, V>,
  ignoringSharedCache ignoreSharedCache: Bool = false,
  mergingWith merge: @Sendable @escaping (inout V, V) -> Void
)

Show on GitHub


                    
                    
                    write(_:at:ignoringSharedCache:)

Writes value to the cache at path, applying the update with merge.

After the call, self.local[keyPath: path] == value. If self.shared isn’t nil, the update is recorded for the next synchronization round and self.earlyUpdateCount is incremented, unless ignoreSharedCache is true.

Declaration

Swift

mutating func write<V: Sendable>(
  _ value: V, at path: WritableKeyPath<TypedProgram, V>,
  ignoringSharedCache ignoreSharedCache: Bool = false
) where V: Monotonic

Show on GitHub


                    
                    
                    subscript(_:)

Applies self.read(path).

Declaration

Swift

subscript<V>(m: WritableKeyPath<TypedProgram, V?>) -> V? where V : Equatable { mutating get }

Show on GitHub


                    
                    
                    synchronizeIfThresholdReached()

Applies all pending updates to the shared instance iff earlyUpdateThreshold has been reached, resetting self.earlyUpdateCount.

Declaration

Swift

private mutating func synchronizeIfThresholdReached()

Show on GitHub


                    
                    
                    synchronize()

Applies all pending updates to the shared instance.

Declaration

Swift

fileprivate mutating func synchronize()

Show on GitHub