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 4 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.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
Expand Up @@ -4,6 +4,7 @@
//

using System;
using System.Collections.Generic;
using System.Management.Automation.Language;
using System.Threading;
using System.Threading.Tasks;
Expand All @@ -18,13 +19,11 @@

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.
#pragma warning disable 618
internal class PsesSemanticTokens : SemanticTokensHandler
Copy link
Collaborator

@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
Collaborator

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() {
private static readonly SemanticTokensRegistrationOptions s_registrationOptions = new SemanticTokensRegistrationOptions() {
DocumentSelector = LspUtils.PowerShellDocumentSelector,
Legend = new SemanticTokensLegend(),
DocumentProvider = new Supports<SemanticTokensDocumentProviderOptions>(isSupported: true,
Expand All @@ -34,7 +33,7 @@ internal class PsesSemanticTokens : SemanticTokensHandler
RangeProvider = true
};

public PsesSemanticTokens(ILogger<PsesSemanticTokens> logger, WorkspaceService workspaceService) : base(_registrationOptions)
public PsesSemanticTokens(ILogger<PsesSemanticTokens> logger, WorkspaceService workspaceService) : base(s_registrationOptions)
{
_logger = logger;
_workspaceService = workspaceService;
Expand All @@ -53,28 +52,44 @@ public PsesSemanticTokens(ILogger<PsesSemanticTokens> logger, WorkspaceService w

private static void PushToken(Token token, SemanticTokensBuilder builder)
{

List<SemanticToken> semanticToken = ConvertToSemanticTokens(token);
foreach(SemanticToken sToken in semanticToken)
rjmholt marked this conversation as resolved.
Show resolved Hide resolved
{
builder.Push(sToken.Line, sToken.Index, length: sToken.Text.Length,
sToken.Type, tokenModifiers: sToken.TokenModifiers);
rjmholt marked this conversation as resolved.
Show resolved Hide resolved
}
rjmholt marked this conversation as resolved.
Show resolved Hide resolved
}

internal static List<SemanticToken> ConvertToSemanticTokens(Token token){
rjmholt marked this conversation as resolved.
Show resolved Hide resolved
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)
{
List<SemanticToken> tokens = new List<SemanticToken>();
foreach (Token t in stringExpandableToken.NestedTokens)
{
PushToken(t, builder);
tokens.AddRange(ConvertToSemanticTokens(t));
}
return;
return tokens;
}
}

SemanticTokenType mappedType = MapSemanticTokenType(token);
rjmholt marked this conversation as resolved.
Show resolved Hide resolved
if(mappedType == null){
rjmholt marked this conversation as resolved.
Show resolved Hide resolved
return new List<SemanticToken>();
}

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

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,
tokenType: MapSemanticToken(token), tokenModifiers: Array.Empty<string>());
SemanticToken sToken = new SemanticToken(token.Text, mappedType,
line, index, Array.Empty<string>());
Copy link
Collaborator

Choose a reason for hiding this comment

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

Suggested change
SemanticToken sToken = new SemanticToken(token.Text, mappedType,
line, index, Array.Empty<string>());
SemanticToken sToken = new SemanticToken(
token.Text,
mappedType,
line,
index,
Array.Empty<string>());

return new List<SemanticToken>{sToken};
}

private static SemanticTokenType MapSemanticToken(Token token)
private static SemanticTokenType MapSemanticTokenType(Token token)
{
// First check token flags
if ((token.TokenFlags & TokenFlags.Keyword) != 0)
Expand Down Expand Up @@ -130,8 +145,7 @@ private static SemanticTokenType MapSemanticToken(Token token)
return SemanticTokenType.Function;
}

// Default semantic token
return SemanticTokenType.Documentation;
return null;
}

protected override Task<SemanticTokensDocument> GetSemanticTokensDocument(
Expand All @@ -141,5 +155,21 @@ private static SemanticTokenType MapSemanticToken(Token token)
return Task.FromResult(new SemanticTokensDocument(GetRegistrationOptions().Legend));
}
}
#pragma warning restore 618
}

class SemanticToken
rjmholt marked this conversation as resolved.
Show resolved Hide resolved
{
public SemanticToken(string text, SemanticTokenType type, int line, int index, IEnumerable<string> tokenModifiers)
{
Line = line;
Text = text;
Index = index;
Type = type;
TokenModifiers = tokenModifiers;
}
public string Text {get; set;}
public int Line {get; set;}
public int Index {get; set;}
public SemanticTokenType Type {get; set;}
public IEnumerable<string> TokenModifiers {get; set;}
rjmholt marked this conversation as resolved.
Show resolved Hide resolved
}
Expand Up @@ -1140,15 +1140,13 @@ await PsesLanguageClient
Assert.Equal("Get-ChildItem", expandAliasResult.Text);
}

#pragma warning disable 618
[Fact]
[Fact]
public async Task CanSendSemanticTokenRequest()
{

//var tokens = semanticTokensBuilder.Commit().GetSemanticTokens();
string scriptContent = "function";
string scriptPath = NewTestFile(scriptContent);
var result =

SemanticTokens result =
await PsesLanguageClient
.SendRequest<SemanticTokensParams>(
"textDocument/semanticTokens",
Expand All @@ -1161,36 +1159,16 @@ await PsesLanguageClient
})
.Returning<SemanticTokens>(CancellationToken.None);

// Information about how this data is generated can be found at 0,0,11,14,0,0,12,0,0,0
// More 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[10]
{
//line, index, token length, token type, token modifiers
rjmholt marked this conversation as resolved.
Show resolved Hide resolved
0, 0, scriptContent.Length, 2, 0, //token 1 is function
0, 9, 0, 0, 0 //token 2 is EOF
};


Assert.Equal(result.Data.ToArray(), arr);

SemanticTokensRegistrationOptions options = new SemanticTokensRegistrationOptions() {
DocumentSelector = LspUtils.PowerShellDocumentSelector,
Legend = new SemanticTokensLegend(),
DocumentProvider = new Supports<SemanticTokensDocumentProviderOptions>(isSupported: true,
new SemanticTokensDocumentProviderOptions {
Edits = true
}),
RangeProvider = true
};

SemanticTokensBuilder builder = new SemanticTokensBuilder(new SemanticTokensDocument(options), options.Legend);
builder.Push(0, 0, 8, SemanticTokenType.Keyword, Array.Empty<string>());
SemanticTokens tokens = builder.Commit().GetSemanticTokens();

}

#pragma warning restore 618
}
}
93 changes: 93 additions & 0 deletions test/PowerShellEditorServices.Test/Language/SemanticTokenTest.cs
@@ -0,0 +1,93 @@
//
// 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.Collections.Generic;
using System.IO;
using System.Management.Automation.Language;
using System.Threading.Tasks;
using Microsoft.PowerShell.EditorServices.Services.TextDocument;
using Microsoft.PowerShell.EditorServices.Handlers;
using OmniSharp.Extensions.LanguageServer.Protocol;
using OmniSharp.Extensions.LanguageServer.Protocol.Document.Proposals;
using OmniSharp.Extensions.LanguageServer.Protocol.Models.Proposals;
using Xunit;

namespace Microsoft.PowerShell.EditorServices.Test.Language
Copy link
Collaborator

Choose a reason for hiding this comment

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

The tests here look good. One extra thing I would do is include tests for the less conspicuous tokens like (, ), {, } -- we have to classify and highlight those too, unless perhaps there's some other mechanism at work there?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Those tokens aren't mapped to SemanticTokenTypes and are handled by EditorSyntax

Copy link
Collaborator

Choose a reason for hiding this comment

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

Oh, I didn't realise that. That seems a bit strange, and maybe like we're doing more work than we should... We should maybe discuss at some point

Copy link
Contributor Author

Choose a reason for hiding this comment

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

{
public class SemanticTokenTest
{
[Fact]
public async Task MapsFunctionElements()
{
string text = @"
function Get-Sum {
param( [int]$a, [int]$b )
return $a + $b
}
";
ScriptFile scriptFile = new ScriptFile(
// Use any absolute path. Even if it doesn't exist.
DocumentUri.FromFileSystemPath(Path.Combine(Path.GetTempPath(), "TestFile.ps1")),
text,
Version.Parse("5.0"));

foreach(Token t in scriptFile.ScriptTokens)
{
List<SemanticToken> mappedTokens = PsesSemanticTokens.ConvertToSemanticTokens(t);
switch(t.Text)
{
case "function":
case "param":
case "return":
Assert.Single(mappedTokens);
Assert.Equal(SemanticTokenType.Keyword, mappedTokens[0].Type);
break;
case "Get-Sum":
Assert.Single(mappedTokens);
Assert.Equal(SemanticTokenType.Function, mappedTokens[0].Type);
break;
case "$a":
case "$b":
Assert.Single(mappedTokens);
Assert.Equal(SemanticTokenType.Variable, mappedTokens[0].Type);
rjmholt marked this conversation as resolved.
Show resolved Hide resolved
break;
case "[int]":
Assert.Single(mappedTokens);
Assert.Equal(SemanticTokenType.Type, mappedTokens[0].Type);
break;
case "+":
Assert.Single(mappedTokens);
Assert.Equal(SemanticTokenType.Operator, mappedTokens[0].Type);
break;
}
}
}

[Fact]
public async Task TokenizesStringExpansion()
{
string text = "Write-Host \"$(Test-Property Get-Whatever) $(Get-Whatever)\"";
ScriptFile scriptFile = new ScriptFile(
// Use any absolute path. Even if it doesn't exist.
DocumentUri.FromFileSystemPath(Path.Combine(Path.GetTempPath(), "TestFile.ps1")),
text,
Version.Parse("5.0"));

Token commandToken = scriptFile.ScriptTokens[0];
List<SemanticToken> mappedTokens = PsesSemanticTokens.ConvertToSemanticTokens(commandToken);
Assert.Single(mappedTokens);
Assert.Equal(SemanticTokenType.Function, mappedTokens[0].Type);

Token stringExpandableToken = scriptFile.ScriptTokens[1];
mappedTokens = PsesSemanticTokens.ConvertToSemanticTokens(stringExpandableToken);
Assert.Collection(mappedTokens,
sToken => Assert.Equal(SemanticTokenType.Function, sToken.Type),
sToken => Assert.Equal(SemanticTokenType.Function, sToken.Type),
sToken => Assert.Equal(SemanticTokenType.Function, sToken.Type)
);
}
}
}