KaCompoundVariableAccessCallResolutionAttempt¶

The assembled KaCompoundVariableAccessCall, or null if any sub-call failed.

See also

• KaCompoundAccessCall.operationCall

The list of KaCalls associated with the KaCallInfo. The list contains a single KaCall in case of a successful call, but may contain multiple candidates in case of an error call.

The flattened list of resolved calls.

• KaSimpleCallResolutionSuccess: the resolved call as a single-element list.

• KaSimpleCallResolutionError: the candidate calls.

• KaMultiCallResolutionAttempt: the assembled call if all sub-calls succeeded, or the combined calls from individual simpleAttempts otherwise.

The flattened list of KaSimpleCalls.

• If this is an instance of KaSimpleCall, the list will contain only this call

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

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 resolution attempt for the operation call (e.g. plus, inc).

See also

• KaCompoundAccessCall.operationCall

The list of individual resolution attempts for each sub-call.

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 only call of calls, or null if the attempt has no calls or more than one.

Unlike successful, a call is also returned for a failed resolution, as long as calls holds exactly one. For a failed KaMultiCallResolutionAttempt that entry may come from any sub-attempt — a resolved sub-call, or a candidate of a failed one — so it is not necessarily a candidate for the element itself.

For a successful KaMultiCallResolutionAttempt, calls holds the assembled KaMultiCall, so single is that multi-call and its simple/function/variable narrowings are all null.

Example

class Foo {
   private fun bar() {}
}

fun usage(foo: Foo) {
   foo.bar()
//     ^^^^^
}

bar() is resolved to a KaSimpleCallResolutionError, so successful is null, while single is the bar candidate call.

See also

• calls
• successful

The resolved call if the resolution succeeded, or null if it failed.

• KaSimpleCallResolutionSuccess: the resolved call.

• KaMultiCallResolutionAttempt: the assembled call if all sub-calls succeeded, or null otherwise.

The KaLifetimeToken which determines the lifetime of the lifetime owner.

The resolution attempt for the variable access.

See also

• KaCompoundVariableAccessCall.variableCall

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.