From 55a51552d69734711fbe9b53a42b9f6703eebb81 Mon Sep 17 00:00:00 2001
From: rblzw <849840504@qq.com>
Date: Wed, 18 Oct 2023 13:36:21 +0800
Subject: [PATCH] update version

---
 language/move-analyzer/editors/code/README.md     |  3 +--
 language/move-analyzer/editors/code/package.json  | 12 +++++++++++-
 language/move-analyzer/src/move_generate_spec.rs  | 15 ---------------
 .../move-analyzer/src/move_generate_spec_file.rs  |  1 +
 .../move-analyzer/src/move_generate_spec_sel.rs   |  1 +
 5 files changed, 14 insertions(+), 18 deletions(-)

diff --git a/language/move-analyzer/editors/code/README.md b/language/move-analyzer/editors/code/README.md
index 3ffdfb7a71..48365e380c 100644
--- 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
index 65a7a9aec7..e1e5bbf68e 100644
--- 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
index 3284c72bcb..29531a53fa 100644
--- 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
index cf8b27bc12..38632d9885 100644
--- 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
index 4841f7380e..171cfca4e5 100644
--- 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| {