Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Added Handler for Semantic Tokenization #1328

Merged
merged 64 commits into from
Jul 30, 2020
Merged
Show file tree
Hide file tree
Changes from 13 commits
Commits
Show all changes
64 commits
Select commit Hold shift + click to select a range
2790655
added basic semantic token support
Jul 16, 2020
04458e4
removed unnecessary imports
Jul 16, 2020
2e46016
removed unnecessary field
Jul 16, 2020
b3077cc
minor refactoring changes
Jul 17, 2020
f68e4e3
minor refactoring changes
Jul 17, 2020
6f28dc5
change tokenize to non async
Jul 17, 2020
d960ac7
rename handler
Jul 17, 2020
2853580
refactoring + copyright
Jul 17, 2020
a55108c
renamed handler file
Jul 17, 2020
75b6386
Delete log20200713.txt
justinytchen Jul 17, 2020
01bde39
moved/refactored handler
Jul 17, 2020
ea0fab2
added e2e tets
Jul 17, 2020
ccf1028
Merge branch 'semantic-token' of https://github.com/justinytchen/Powe…
Jul 17, 2020
170fb6b
updated test
Jul 20, 2020
4764d2e
remove pragma
Jul 20, 2020
5572a16
removed extra spacing
Jul 21, 2020
f8411cc
added testing for converting from PS token to semantic tokens
Jul 21, 2020
4b7db57
refactored the functions related to converting between tokens
Jul 21, 2020
a20241b
refactored ConvertSemanticToken
Jul 21, 2020
bebc507
fixed tests
Jul 22, 2020
5550780
added more test cases
Jul 22, 2020
3fb9abe
fixed spacing
Jul 23, 2020
73bda8d
added enum test
Jul 23, 2020
4703804
fixed spacing issues
Jul 23, 2020
c013b1d
fixed spacing, added note about token array representation
Jul 23, 2020
5ab13c4
changed name to PsesSemanticTokensHandler
Jul 23, 2020
62566a8
reformatted fields
Jul 24, 2020
bafff92
renamed file
Jul 24, 2020
5a631dd
used Assert.Collection instead of Assert.Single
Jul 24, 2020
7df4e67
modified yml file to fix build
Jul 27, 2020
b2e43b1
undo changes in yml file
Jul 28, 2020
4a6955f
addressed issues in PR
Jul 30, 2020
f4562c0
added basic semantic token support
Jul 16, 2020
6264c0b
removed unnecessary imports
Jul 16, 2020
ae5a498
removed unnecessary field
Jul 16, 2020
9ae83aa
minor refactoring changes
Jul 17, 2020
b4d558c
minor refactoring changes
Jul 17, 2020
874db6e
change tokenize to non async
Jul 17, 2020
bec8bd6
rename handler
Jul 17, 2020
9848c71
refactoring + copyright
Jul 17, 2020
855790c
renamed handler file
Jul 17, 2020
514012c
moved/refactored handler
Jul 17, 2020
5294cf4
added e2e tets
Jul 17, 2020
9aed66b
Delete log20200713.txt
justinytchen Jul 17, 2020
b4024e7
updated test
Jul 20, 2020
4908752
remove pragma
Jul 20, 2020
2e4f098
removed extra spacing
Jul 21, 2020
8f5db93
added testing for converting from PS token to semantic tokens
Jul 21, 2020
42714b5
refactored the functions related to converting between tokens
Jul 21, 2020
1657fdf
refactored ConvertSemanticToken
Jul 21, 2020
ebae357
fixed tests
Jul 22, 2020
f109d71
added more test cases
Jul 22, 2020
c9b858d
fixed spacing
Jul 23, 2020
d8f0a36
added enum test
Jul 23, 2020
3fba85f
fixed spacing issues
Jul 23, 2020
8592540
fixed spacing, added note about token array representation
Jul 23, 2020
d4a86ac
changed name to PsesSemanticTokensHandler
Jul 23, 2020
e86c5b8
reformatted fields
Jul 24, 2020
6c21195
renamed file
Jul 24, 2020
09d632c
used Assert.Collection instead of Assert.Single
Jul 24, 2020
7c4b3b7
addressed issues in PR
Jul 30, 2020
99c1c0b
Merge branch 'semantic-token' of https://github.com/justinytchen/Powe…
Jul 30, 2020
725e8eb
remove unused using
Jul 30, 2020
1aedd88
Delete Untitled-1.json
justinytchen Jul 30, 2020
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions src/PowerShellEditorServices/Server/PsesLanguageServer.cs
Original file line number Diff line number Diff line change
Expand Up @@ -92,6 +92,7 @@ public async Task StartAsync()
.WithHandler<GetCommandHandler>()
.WithHandler<ShowHelpHandler>()
.WithHandler<ExpandAliasHandler>()
.WithHandler<PsesSemanticTokens>()
.OnInitialize(
async (languageServer, request, cancellationToken) =>
{
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,145 @@
//
// Copyright (c) Microsoft. All rights reserved.
// Licensed under the MIT license. See LICENSE file in the project root for full license information.
//

using System;
using System.Management.Automation.Language;
using System.Threading;
using System.Threading.Tasks;
using Microsoft.Extensions.Logging;
using Microsoft.PowerShell.EditorServices.Services;
using Microsoft.PowerShell.EditorServices.Services.TextDocument;
using Microsoft.PowerShell.EditorServices.Utility;
using OmniSharp.Extensions.LanguageServer.Protocol;
using OmniSharp.Extensions.LanguageServer.Protocol.Document.Proposals;
using OmniSharp.Extensions.LanguageServer.Protocol.Models;
using OmniSharp.Extensions.LanguageServer.Protocol.Models.Proposals;

namespace Microsoft.PowerShell.EditorServices.Handlers
{
//SemanticTokensHandler is labeled "Obsolete" because that is how Omnisharp marks proposed LSP features. Since we want this proposed feature, we disable this warning.
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
//SemanticTokensHandler is labeled "Obsolete" because that is how Omnisharp marks proposed LSP features. Since we want this proposed feature, we disable this warning.
// SemanticTokensHandler is labeled "Obsolete" because that is how Omnisharp marks proposed LSP features. Since we want this proposed feature, we disable this warning.

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

A question here: we already compile with warnings today, and while that's not a good thing, this particular warning should eventually disappear.

If we keep the pragma we suppress a warning that should eventually either go away, or which we should pay attention to since it will indicate that the proposed API hasn't stabilised. When it is stabilised, we would need to remove the pragma, but we won't know because of the pragma, meaning it may hang around in the code indefinitely (like so many fxcop suppressions).

Instead I think it probably makes sense for us to see the warning and not use a suppression pragma

#pragma warning disable 618
internal class PsesSemanticTokens : SemanticTokensHandler
Copy link
Contributor

@rjmholt rjmholt Jul 21, 2020

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
internal class PsesSemanticTokens : SemanticTokensHandler
internal class PsesSemanticTokensHandler : SemanticTokensHandler

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Tokens*

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

(Fixed in my suggestion)

{
private readonly ILogger _logger;
private readonly WorkspaceService _workspaceService;
static readonly SemanticTokensRegistrationOptions _registrationOptions = new SemanticTokensRegistrationOptions() {
rjmholt marked this conversation as resolved.
Show resolved Hide resolved
DocumentSelector = LspUtils.PowerShellDocumentSelector,
Legend = new SemanticTokensLegend(),
DocumentProvider = new Supports<SemanticTokensDocumentProviderOptions>(isSupported: true,
new SemanticTokensDocumentProviderOptions {
Edits = true
}),
RangeProvider = true
};

public PsesSemanticTokens(ILogger<PsesSemanticTokens> logger, WorkspaceService workspaceService) : base(_registrationOptions)
{
_logger = logger;
_workspaceService = workspaceService;
}

protected override Task Tokenize(SemanticTokensBuilder builder, ITextDocumentIdentifierParams identifier,
CancellationToken cancellationToken)
{
ScriptFile file = _workspaceService.GetFile(DocumentUri.GetFileSystemPath(identifier));
Token[] tokens = file.ScriptTokens;
foreach (var token in tokens){
PushToken(token, builder);
}
rjmholt marked this conversation as resolved.
Show resolved Hide resolved
return Task.CompletedTask;
}

private static void PushToken(Token token, SemanticTokensBuilder builder)
{
if(token is StringExpandableToken stringExpandableToken)
rjmholt marked this conversation as resolved.
Show resolved Hide resolved
{
// Try parsing tokens within the string
if (stringExpandableToken.NestedTokens != null)
{
foreach (Token t in stringExpandableToken.NestedTokens)
{
PushToken(t, builder);
}
return;
}
}

//Tokens line and col numbers indexed starting from 1, expecting indexing from 0
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
//Tokens line and col numbers indexed starting from 1, expecting indexing from 0
// Tokens line and col numbers indexed starting from 1, expecting indexing from 0

int line = token.Extent.StartLineNumber - 1;
int index = token.Extent.StartColumnNumber - 1;

builder.Push(line: line, @char: index, length: token.Text.Length,
rjmholt marked this conversation as resolved.
Show resolved Hide resolved
tokenType: MapSemanticToken(token), tokenModifiers: Array.Empty<string>());
}

private static SemanticTokenType MapSemanticToken(Token token)
{
// First check token flags
if ((token.TokenFlags & TokenFlags.Keyword) != 0)
{
return SemanticTokenType.Keyword;
}

if ((token.TokenFlags & TokenFlags.CommandName) != 0)
{
return SemanticTokenType.Function;
}

if (token.Kind != TokenKind.Generic && (token.TokenFlags &
(TokenFlags.BinaryOperator | TokenFlags.UnaryOperator | TokenFlags.AssignmentOperator)) != 0)
{
return SemanticTokenType.Operator;
}

if ((token.TokenFlags & TokenFlags.TypeName) != 0)
{
return SemanticTokenType.Type;
}

if ((token.TokenFlags & TokenFlags.MemberName) != 0)
{
return SemanticTokenType.Member;
}

// Only check token kind after checking flags
switch (token.Kind)
{
case TokenKind.Comment:
return SemanticTokenType.Comment;

case TokenKind.Parameter:
case TokenKind.Generic when token is StringLiteralToken slt && slt.Text.StartsWith("--"):
return SemanticTokenType.Parameter;

case TokenKind.Variable:
case TokenKind.SplattedVariable:
return SemanticTokenType.Variable;

case TokenKind.StringExpandable:
case TokenKind.StringLiteral:
case TokenKind.HereStringExpandable:
case TokenKind.HereStringLiteral:
return SemanticTokenType.String;

case TokenKind.Number:
return SemanticTokenType.Number;

case TokenKind.Generic:
return SemanticTokenType.Function;
}

// Default semantic token
return SemanticTokenType.Documentation;
}

protected override Task<SemanticTokensDocument> GetSemanticTokensDocument(
ITextDocumentIdentifierParams @params,
CancellationToken cancellationToken)
{
return Task.FromResult(new SemanticTokensDocument(GetRegistrationOptions().Legend));
}
}
#pragma warning restore 618
}
Original file line number Diff line number Diff line change
Expand Up @@ -19,9 +19,12 @@
using OmniSharp.Extensions.LanguageServer.Protocol.Document;
using OmniSharp.Extensions.LanguageServer.Protocol.Models;
using OmniSharp.Extensions.LanguageServer.Protocol.Workspace;
using OmniSharp.Extensions.LanguageServer.Protocol.Models.Proposals;
using Xunit;
using Xunit.Abstractions;
using Range = OmniSharp.Extensions.LanguageServer.Protocol.Models.Range;
using OmniSharp.Extensions.LanguageServer.Protocol.Document.Proposals;
using Microsoft.PowerShell.EditorServices.Utility;
TylerLeonhardt marked this conversation as resolved.
Show resolved Hide resolved

namespace PowerShellEditorServices.Test.E2E
{
Expand Down Expand Up @@ -1136,5 +1139,36 @@ await PsesLanguageClient

Assert.Equal("Get-ChildItem", expandAliasResult.Text);
}

#pragma warning disable 618
rjmholt marked this conversation as resolved.
Show resolved Hide resolved
[Fact]
public async Task CanSendSemanticTokenRequest()
{

//var tokens = semanticTokensBuilder.Commit().GetSemanticTokens();
rjmholt marked this conversation as resolved.
Show resolved Hide resolved
string scriptPath = NewTestFile(@"
function add {}
");
var result =
rjmholt marked this conversation as resolved.
Show resolved Hide resolved
await PsesLanguageClient
.SendRequest<SemanticTokensParams>(
"textDocument/semanticTokens",
new SemanticTokensParams
{
TextDocument = new TextDocumentIdentifier
{
Uri = new Uri(scriptPath)
}
})
.Returning<SemanticTokens>(CancellationToken.None);

scriptPath = null;
rjmholt marked this conversation as resolved.
Show resolved Hide resolved
// Information about how this data is generated can be found at
// https://github.com/microsoft/vscode-extension-samples/blob/5ae1f7787122812dcc84e37427ca90af5ee09f14/semantic-tokens-sample/vscode.proposed.d.ts#L71
var arr = new int[35]{0,0,2,0,0,1,0,8,2,0,0,9,3,0,0,0,4,1,0,0,0,1,1,0,0,0,1,2,0,0,1,1,0,0,0};
Assert.Equal(result.Data.ToArray(), arr);
}

#pragma warning restore 618
}
}