Skip to content

Refactor ClassificationOptions#56633

Merged
tmat merged 3 commits intodotnet:mainfrom
tmat:ClassificationOptions
Sep 24, 2021
Merged

Refactor ClassificationOptions#56633
tmat merged 3 commits intodotnet:mainfrom
tmat:ClassificationOptions

Conversation

@tmat
Copy link
Copy Markdown
Member

@tmat tmat commented Sep 23, 2021

Instead of reading options the classification service needs from solution snapshot pass them to the service as a parameter. This makes it clear which options the service depends on and potentially allows us to reuse the results when unrelated options change.

We should use this pattern for all solution options used by remote services.

@ghost ghost added the Area-IDE label Sep 23, 2021
@tmat
Copy link
Copy Markdown
Member Author

tmat commented Sep 23, 2021

@CyrusNajmabadi This implements the options pattern I proposed last time we talked. LMK what you think.

Copy link
Copy Markdown
Contributor

@CyrusNajmabadi CyrusNajmabadi left a comment

Choose a reason for hiding this comment

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

I like it! I don't love the name 'definition', but I have no better suggestion.

@JoeRobich
Copy link
Copy Markdown
Member

I don't love the name 'definition', but I have no better suggestion.

The LSP spec has Tokens and TokenModifiers. This seems like a Modifier option, whether to additionally tag an identifier as Reassigned.

@tmat
Copy link
Copy Markdown
Member Author

tmat commented Sep 23, 2021

@CyrusNajmabadi Metadata?

@CyrusNajmabadi
Copy link
Copy Markdown
Contributor

@tmat yes. I like that better. :-)

@tmat tmat marked this pull request as ready for review September 23, 2021 16:27
@tmat tmat requested review from a team as code owners September 23, 2021 16:27
@tmat tmat merged commit b5a254f into dotnet:main Sep 24, 2021
@ghost ghost added this to the Next milestone Sep 24, 2021
@tmat tmat deleted the ClassificationOptions branch September 24, 2021 00:16
@Cosifne Cosifne modified the milestones: Next, 17.0.P5 Sep 27, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants