[move-analyzer] Enhancement for supporting MSL and completion suggestions

[0xOutOfGas]

Motivation

This is a draft PR for #799 from MoveBit, we'd like to let folks know what we're doing, and have a discussion with developers to improve move-analyzer together.

The changelog is below:

• 1 Added semantic analysis to the Move language and Sui Move, and enhanced some features of the plug-in, such as go-to-definition, auto-completion, finding references, etc.;
• 2 Added semantic analysis to MSL (Move Specification Language), supports features such as go-to-definition and auto-completion, and supports go-to-definition from MSL code to Move code;
• 3 Integrated common Sui development commands into Command Palette, support Sui Code Snippets automatic completion (currently only init function);
• 4 Support parallel development of multiple projects under the same directory;

Have you read the Contributing Guidelines on pull requests?

Yes

Test Plan

Tested in our dev member's daily work, may not be fully tested.

[awelc]

It's a really large PR. I would strongly suggest splitting it into separate PRs, dealing with separate issues mentioned in the PR description.

A more detailed description of changes/additions/enhancements would also be greatly appreciated to ease the burden or reviewing the new code. In particular, it would be great to have a better idea of what the enhancements to the existing features are.

It also looks like some differences are solely due to different formatting. It would be great to have those unified with how it was formatted previously to emphasize portions of the code that have really changed.

[0xOutOfGas]

Yes, it's a big PR, we considered splitting it before submitting it but not succeeded. We'd like to try to split it again, and fixing the format issues, and also add more description about the changes/additions/enhancements.

For the splitting work, we may take some time to finish and submit separate PRs. Before that, we appreciate any reviews and comments on this PR.

[awelc]

Yes, it's a big PR, we considered splitting it before submitting it but not succeeded. We'd like to try to split it again, and fixing the format issues, and also add more description about the changes/additions/enhancements.

For the splitting work, we may take some time to finish and submit separate PRs. Before that, we appreciate any reviews and comments on this PR.

Thank you! I would really hope that it can be split considering that it addresses multiple somewhat separate issues. It would really help with the reviewing effort (I am assuming you tried stacked diffs), as would additional documentation/description (ideally in the code itself so that it's easy to find afterwards).

There is also a lot of new functionality but very few tests...

[yuyang-ok]

The toolchain been modified because of I have the error below.

> move-analyzer@0.0.11 compile
> tsc -p ./ && cd ../../ && cargo build --bin move-analyzer

error: the 'cargo' binary, normally provided by the 'cargo' component, is not applicable to the '1.65.0-x86_64-apple-darwin' toolchain

 *  The terminal process "/bin/zsh '-c', 'npm run pretest'" terminated with exit code: 1. 
 *  Terminal will be reused by tasks, press any key to close it. 

It's wired, should impossible, Someone must used this version on Mac.
I don't know how to fix this error.

[awelc]

We were admittedly rather tied up with the mainnet launch until recently, but it's time to get back to enhancing the IDE! I was wondering if there is any progress on (any of) the following:

Yes, it's a big PR, we considered splitting it before submitting it but not succeeded. We'd like to try to split it again, and fixing the format issues, and also add more description about the changes/additions/enhancements.

For the splitting work, we may take some time to finish and submit separate PRs. Before that, we appreciate any reviews and comments on this PR.

[0xyilu]

we are still working on that, will keep you posted

[awelc]

we are still working on that, will keep you posted

Do you have some kind of timeline in mind that you could share?