Interface EditSessionIdentityProvider

interface EditSessionIdentityProvider {
    provideEditSessionIdentity(
        workspaceFolder: WorkspaceFolder,
        token: CancellationToken,
    ): ProviderResult<string>;
    provideEditSessionIdentityMatch(
        identity1: string,
        identity2: string,
        token: CancellationToken,
    ): ProviderResult<EditSessionIdentityMatch>;
}

Index

Methods

provideEditSessionIdentity provideEditSessionIdentityMatch

Methods

provideEditSessionIdentity

provideEditSessionIdentity(
workspaceFolder: WorkspaceFolder,
token: CancellationToken,
): ProviderResult<string>
Parameters
- workspaceFolder: WorkspaceFolder
  The workspace folder to provide an edit session identity for.
- token: CancellationToken
  A cancellation token for the request.
Returns ProviderResult<string>
A string representing the edit session identity for the requested workspace folder.
- Defined in packages/plugin/src/theia.proposed.editSessionIdentityProvider.d.ts:49

provideEditSessionIdentityMatch

provideEditSessionIdentityMatch(
    identity1: string,
    identity2: string,
    token: CancellationToken,
): ProviderResult<EditSessionIdentityMatch>
Parameters
- identity1: string
  An edit session identity.
- identity2: string
  A second edit session identity to compare to
- token: CancellationToken
  A cancellation token for the request.
Returns ProviderResult<EditSessionIdentityMatch>
An EditSessionIdentityMatch representing the edit session identity match confidence for the provided identities.
- Defined in packages/plugin/src/theia.proposed.editSessionIdentityProvider.d.ts:58