update version

movebit · Oct 18, 2023 · 55a5155 · 55a5155
1 parent 6cf21c6
commit 55a5155
Show file tree

Hide file tree

Showing 5 changed files with 14 additions and 18 deletions.
diff --git a/language/move-analyzer/editors/code/README.md b/language/move-analyzer/editors/code/README.md
@@ -24,7 +24,7 @@ The `sui-move-analyzer` language server is a Rust program that is part of the
    is recommended for people who do not work on core Move.
    1. If you don't already have a Rust toolchain installed, you should install
       [Rustup](https://rustup.rs/), which will install the latest stable Rust toolchain.
-   2. Invoke `cargo install --git https://github.com/movebit/move --branch feature/sui_move_analyzer-linter sui-move-analyzer` to install the
+   2. Invoke `cargo install --git https://github.com/movebit/move --branch sui_move_analyzer sui-move-analyzer` to install the
       `sui-move-analyzer` language server in your Cargo binary directory. On macOS and Linux, this is
       usually `~/.cargo/bin`. You'll want to make sure this location is in your `PATH` environment
       variable. If you plan to use the language server with Move language flavors different from core Move,
@@ -90,6 +90,5 @@ Move source file (a file with a `.move` file extension) and:
   - go to type definition
   - go to references
   - type on hover
-  - outline view showing symbol tree for Move source files
   - sui commands line tool
   - sui project template
diff --git a/language/move-analyzer/editors/code/package.json b/language/move-analyzer/editors/code/package.json
@@ -5,7 +5,7 @@
 	"publisher": "MoveBit",
 	"icon": "images/move.png",
 	"license": "Apache-2.0",
-	"version": "0.0.19",
+	"version": "1.0.0",
 	"preview": true,
 	"homepage": "https://github.com/move-language/move",
 	"repository": {
@@ -228,6 +228,16 @@
 					"when": "resourceLangId == move",
 					"command": "sui-move-analyzer.runLinter",
 					"group": "5_cutcopypaste"
+				},
+				{
+					"when": "resourceLangId == move",
+					"command": "sui-move-analyzer.move.generate.spec.file",
+					"group": "5_cutcopypaste"
+				},
+				{
+					"when": "resourceLangId == move",
+					"command": "sui-move-analyzer.move.generate.spec.sel",
+					"group": "5_cutcopypaste"
 				}
 			]
 		}

diff --git a/language/move-analyzer/src/move_generate_spec.rs b/language/move-analyzer/src/move_generate_spec.rs
@@ -1000,18 +1000,3 @@ impl std::fmt::Display for GetExprTypeImpl {
         write!(f, "{}", "visit for generate spec.")
     }
 }
-
-// pub(crate) fn fun_may_pure(
-//     f: &Function,
-// ) -> (
-//     /* a list of call point in this function.
-//     ```
-//         x()
-//     ```
-//     x goes into this set.
-//     */
-//     HashSet<NameAccessChain>,
-//     bool,
-// ) {
-//     unimplemented!("丁继政 going to implement this.")
-// }
diff --git a/language/move-analyzer/src/move_generate_spec_file.rs b/language/move-analyzer/src/move_generate_spec_file.rs
@@ -11,6 +11,7 @@ use move_symbol_pool::Symbol;
 use serde::Deserialize;
 
 pub fn on_generate_spec_file(context: &Context, request: &Request) {
+    log::info!("on_generate_spec_file request = {:?}", request);
     let parameters = serde_json::from_value::<ReqParameters>(request.params.clone())
         .expect("could not deserialize go-to-def request");
     let fpath = PathBuf::from_str(parameters.fpath.as_str()).unwrap();

diff --git a/language/move-analyzer/src/move_generate_spec_sel.rs b/language/move-analyzer/src/move_generate_spec_sel.rs
@@ -11,6 +11,7 @@ use serde::Deserialize;
 use std::{path::PathBuf, str::FromStr};
 
 pub fn on_generate_spec_sel(context: &Context, request: &Request) {
+    log::info!("on_generate_spec_sel request = {:?}", request);
     let parameters = serde_json::from_value::<ReqParameters>(request.params.clone())
         .expect("could not deserialize go-to-def request");
     let send_err = |context: &Context, msg: String| {