KaSymbolResolutionAttempt¶

The list of errors that occurred during the resolution.

• KaSimpleCallResolutionSuccess: an empty list.

• KaSimpleCallResolutionError: this error as a single-element list.

• KaMultiCallResolutionAttempt: the errors among the individual sub-attempts. A multi-call attempt fails as soon as any of its sub-calls fails, so the list is empty if and only if the assembled call is not null.

The list is empty if and only if the resolution succeeded. So, unlike a this is KaSimpleCallResolutionError check, which only covers simple attempts, this property detects failures of every attempt kind.

See also

• simpleAttempts
• successful

The list of errors that occurred during the resolution.

• KaSimpleSymbolResolutionSuccess: an empty list.

• KaSimpleSymbolResolutionError: this error as a single-element list.

• KaCompoundSymbolResolutionError: the errors among the individual sub-attempts, which always contain at least one.

The list is empty if and only if the resolution succeeded. So, unlike a this is KaSimpleSymbolResolutionError check, which only covers simple attempts, this property detects failures of every attempt kind.

See also

• isSuccessful

Whether the resolution succeeded.

true if and only if successful is not null, and equivalently if and only if errors is empty.

Unlike a this is KaSimpleCallResolutionSuccess check, which only covers simple attempts, this property also accounts for KaMultiCallResolutionAttempt, which fails as soon as any of its sub-calls fails.

See also

• successful
• errors

Whether the resolution succeeded.

true if and only if errors is empty. A KaCompoundSymbolResolutionError is always a failure, even when some of its sub-attempts succeeded.

See also

• errors
• successfulSymbols

The flattened list of simple resolution attempts.

• KaSimpleCallResolutionAttempt: this attempt as a single-element list.

• KaMultiCallResolutionAttempt: the individual sub-attempts.

The list is never empty.

The flattened list of simple resolution attempts.

• KaSimpleSymbolResolutionAttempt: this attempt as a single-element list.

• KaCompoundSymbolResolutionError: the individual sub-attempts.

The list is never empty.

The resolved symbols if the resolution succeeded, or an empty list if it failed.

A successful resolution always has at least one symbol, so an empty list always means a failure.

See also

• isSuccessful
• KaCallResolutionAttempt.successful

The flattened list of KaSymbols for the resolved calls.

• If this is an instance of KaSimpleCall, the list will contain only the KaSimpleCall.signature's symbol

• If this is an instance of KaMultiCall, the list will contain symbols from all KaMultiCall.calls

A list of KaSymbol.

• If this is an instance of KaSimpleSymbolResolutionSuccess, the list will contain KaSimpleSymbolResolutionSuccess.symbols.

• If this is an instance of KaSimpleSymbolResolutionError, the list will contain KaSimpleSymbolResolutionError.candidateSymbols.

• If this is an instance of KaCompoundSymbolResolutionError, the list will contain the combined symbols from all attempts.

See also

• KaResolver.tryResolveSymbols

The KaLifetimeToken which determines the lifetime of the lifetime owner.

Folds over a KaCallResolutionAttempt depending on whether the resolution succeeded.

• KaSimpleCallResolutionSuccess: invokes onSuccess with the resolved call.

• KaSimpleCallResolutionError: invokes onFailure with the error wrapped in a single-element list.

• KaMultiCallResolutionAttempt: if all sub-calls succeeded, invokes onSuccess with the assembled call; otherwise invokes onFailure with the errors of the failed sub-calls. The successful sub-calls are not passed to onFailure; use simpleAttempts to reach them.

Folds over a KaSymbolResolutionAttempt depending on whether the resolution succeeded.

• KaSimpleSymbolResolutionSuccess: invokes onSuccess with the resolved symbols.

• KaSimpleSymbolResolutionError: invokes onFailure with the error wrapped in a single-element list.

• KaCompoundSymbolResolutionError: invokes onFailure with the errors of the failed sub-calls. The successful sub-call, if any, is not passed to onFailure; use simpleAttempts to reach it.

Whether the lifetime owner is still valid, i.e. we are still in the scope of the lifetime owner's regular lifetime.

Executes action only if the KaLifetimeOwner is still valid and accessible. Otherwise, throws a validity exception based on the concrete violation.