首页 >行情 > > 正文

Sui Move Analyzer教程 天天报道

来源:哔哩哔哩 2023-04-23 03:54:13

Sui Move Analyzer是一个Visual Studio插件,可在编码时提供代码跳转和提示。


(资料图)

Sui Move Analyzer是一款基于Visual Studio的插件,通过分析和改进Move代码的编写过程来简化Sui网络的开发过程。它支持Visual Studio集成开发环境(IDE)中的定义和自动完成,同时会提供一个大纲,让开发人员可以概览大型程序。

与其他Move开发工具不同,Sui Move Analyzer中包含Sui特有的功能。Sui项目模板和Sui Move代码片段能够引导开发工作,促使集成的Sui单元通过测试,提高开发人员写代码的速度。

观看视频:https://youtu.be/79L0CrjLBUg

准备工作

下载和安装Sui Move Analyzer时,需要设置好我们环境来开始构建项目。请注意,本教程使用的是Ubuntu Linux LTS做演示,如果使用的是其他平台,需要根据使用的系统制定操作命令。

设置Sui

使用Sui前需要根据操作系统安装一些必备软件并获取Sui二进制文件。此处推荐您参考以下Sui文档,其中包含有关Linux、Mac和Windows系统的详细信息。

点击此处查看操作系统必备软件(https://docs.sui.io/devnet/build/install#prerequisites)

点击此处安装Sui二进制文件(https://docs.sui.io/devnet/build/install#install-sui-binaries)

除上述步骤外,设置Sui(https://docs.sui.io/devnet/build/install)的文档还包括其他实用信息。

Move Analyzer Language Server

首先,我们需要安装Move Language Analyzer Server,它可以接收来自Sui Move Analyzer插件的请求,对代码的词法和语义进行分析,以帮助插件提供特定语言的功能。使用Rust工具链安装此服务器是最可靠的方法,Rust工具链包括编译器和其他可用于运行Sui Move Analyzer的工具,因此非常方便、非常可靠而且定期维护。

要获取Rust工具链,请打开命令行界面(CLI)并输入以下内容:

curl — proto ‘=https’ — tlsv1.2 -sSf https://sh.rustup.rs | sh

安装好Rust工具链后,在CLI中执行以下命令:

cargo install — git https://github.com/movebit/move — branch move-analyzer 2 move-analyzer

使用以下命令检查是否已正确安装达到要求:

Sui

move-analyzer — version

CLI会输出Move Analyzer Language Server当前的版本和帮助选项,这就表示依赖项已成功设置。

Sui Move Analyzer插件

现在一切准备就绪,可以安装Sui Move Analyzer了。但是,除此之外,我们还需要提前设置好Microsoft Visual Studio。

您需要前往Sui Move Analyzer下载页面(https://www.movebit.xyz/analyzer)并点击下载按钮。

故障排除

如果您在安装Move Analyzer Language Server和Rust工具链时出现意外,我们建议您采取以下步骤:

确保您使用的是最新版本的Rust。打开终端并输入rust up update命令,然后重复安装步骤并重新启动Visual Studio。

如果您将move-analyzer可执行文件安装到Visual Studio目录以外的位置,则可以将其指向正确的设置位置。使用Visual Studio的搜索功能查找 “move-analyzer.server.path”,并将其设置到您安装move-analyzer language server的本地位置。在MacOS系统上,通过点击「Code menu(代码菜单)」,然后选择「Preferences(首选项)」>「Settings(设置)」来导入正确的目录。

如果上述步骤不起作用,则可以向GitHub上的Move repository发送问题报告(https://github.com/move-language/move/issues)。此外,Sui Move Analyzer的详情页面(https://marketplace.visualstudio.com/items?itemName=MoveBit.sui-move-analyzer)上也列出了常见问题。

创建一个新项目

为新项目设置所有必需的配置文件可能非常耗时间,因此我们将Sui Framework与Sui Move Analyzer集成在一起以快速启动该过程。要使用集成命令,请选择命令面板工具并输入“move analyzer/Sui”。 在MacOS系统上,您需要转到「View(查看)」菜单并点击「Command Palette(命令面板)」,此时,Move Analyzer上的命令列表将显示出来。

从命令列表中选择「Create SUI project(创建 SUI 项目)」命令,Sui Move Analyzer即可自动从模板库中生成一个项目,同时还可以实现多项目开发功能。在创建新项目后,您可能需要重新打开一次Visual Studio,以确保创建的项目正常工作。

除项目模板外,Sui Move Analyzer还包含可提高开发人员效率的功能。它支持Sui Framework中许多常用的代码片段,例如,输入“fun init”即可快速生成一个初始函数。

确保代码在模块中正常工作,这有助于避免对已部署程序或智能合约进行大量漏洞搜索。 Sui Move Analyzer集成了单元测试工具来验证代码,如输入“#[test_only]”标签会出现「Run Test(运行测试)」选项(如下所示)。

到目前为止,我们介绍的功能可以帮助新的开发者快速在Sui上构建,并为其消除一些与编码相关的重复性工作。

使用Sui Move编码

Sui Move Analyzer包含其他语言插件中的大部分功能,这些功能都可以在编码时轻松调用。要调出上下文菜单,请在编码屏幕中右键单击标识符(例如局部变量或参数名称)上的光标,然后选择一个选项,您将能够看到该标识符的定义、类型定义和参考项。

将光标悬停在标识符上,会在功能提示中显示其名称。Sui Move Analyzer几乎涵盖了Sui Move的所有标识符,包括内置类型。

在打字时,Sui Move Analyzer会自动显示出Move中几乎所有建议的元素。由于它集成了Sui Framework,在IDE中键入「sui::」即可显示一个可供选择的模块列表。

除了上面列出的功能外,我们还优化了语义分析器的代码,从而提高了效率,也使内存分配更合理。

使用MSL编码

Move规范语言(Move Specification Language,MSL)是Move的一个子集,它提供了Move函数如何相互交互的规范。MSL是Move Prover的核心,而Move Prover是一种旨在帮助构建者准确使用Move代码的CLI工具。与Sui Move Analyzer支持Sui Move的方式类似,它还支持具有自定义和自动完成等功能的MSL。想要在MSL上工作的构建者会发现,Sui Move Analyzer真的很有帮助。

MSL的语法非常灵活,我们已经考虑了各种可能的示例。在函数中选择MSL语法时,自动完成功能将显示可能的标识符。

MSL中的规范决定了Sui Move功能如何交互,Sui Move Analyzer可以为单个函数或 .move文件中的所有函数生成这些规范。

上述功能将Sui Move Analyzer从帮助构建者为Sui编写应用程序扩展到为MSL项目做出贡献,它使代码验证变得简单,尤其对于那些使用Move Prover的人来说更是。

快乐编码

我们希望构建者发现Sui Move Analyzer提高了其编码速度,对于使用过不同编程语言类似插件的人来说,它的许多功能并不陌生。

尽管我们仔细测试了Sui Move Analyzer的功能,但它仍然可能存在一些问题。我们期待收到有关改进或提升的反馈。如果您需要有关Sui Move Analyzer的帮助,请随时联系MoveBit(https://www.movebit.xyz/?ref=blog.sui.io)。

备注:Sui基金会接受欢迎来自整个Sui社区贡献的文章,社区成员表达的观点和意见可能不代表Sui基金会的立场。

关于 Sui Network

Sui是基于第一原理重新设计和构建而成的L1公有链,旨在为创作者和开发者提供能够承载Web3中下一个十亿用户的开发平台。Sui上的应用基于Move智能合约语言,并具有水平可扩展性,让开发者能够快速且低成本支持广泛的应用开发。 

上一篇: 下一篇:
x
推荐阅读

Sui Move Analyzer教程 天天报道

2023-04-23

媒体:大陆启动贸易壁垒调查或动摇“台独”根基

2023-04-23

这件事上,韩国外交的“国格”碎了一地 视点

2023-04-23

即时看!斯维特兰娜·罗马什娜_关于斯维特兰娜·罗马什娜简介

2023-04-23

“青春飞扬”精品文艺展演在闽江之心举行 天天快播

2023-04-23

相思风雨中mp3下载

2023-04-23

网友自驾游被查 交警认定人货混装具体详细内容是什么|世界独家

2023-04-22

GPD 的下一代游戏手持设备获得 Zen 4 和外部 GPU 支持|全球头条

2023-04-22

第十八届“中国青年女科学家奖”揭晓

2023-04-22

焦点快播:3-0!马龙横扫晋级男单四强,巴西一哥险些受伤,静候樊振东

2023-04-22

湖北竹山:四举“廉”动塑造“清廉村居”新典范

2023-04-22

长沙金沙里社区:宜居靓家园,健康新生活_全球动态

2023-04-22

大学老师课堂分享初恋经历 基本信息讲解

2023-04-22

如何制作 Pichenette 棋盘游戏_小学生生日应该送什么礼物

2023-04-22

全球热点评!视频丨航母福建舰动力测试、系泊试验顺利展开

2023-04-22

天天速读:电脑装系统教程一键装机_电脑装系统教程

2023-04-22

焦点滚动:现代汽车考虑同LG新能源和SK On在美设电池合资企业,拟斥资万亿韩元建两座工厂

2023-04-22

环球热资讯!vivoy66参数配置详情_vivoy66参数

2023-04-22

全球观天下!武汉市汉阳区整合知音文化旅游资源打造5A级景区

2023-04-22

天天简讯:你能重新加热乳蛋饼吗?

2023-04-22

虎头局“虎头蛇尾”,资本局呼啸而过_天天速看

2023-04-22

线上微课教你做“二十四节气美食”!今天带来的是秋分—— “荷塘月色”

2023-04-22

全球观速讯丨上海人口_你知道上海有多少人口吗

2023-04-22

文峰区紫薇大道街道:贴心服务助发展 争创“宜业兴业星”

2023-04-22

1.6吨黄金在加拿大第一大机场被盗!价值超1亿美元

2023-04-22

世界热讯:用友与滴滴签署战略合作协议

2023-04-22

如何弯曲 PVC Schedule 80 电线管_成年礼女孩送什么礼物合适

2023-04-22

头条:大型纪录片《大泰山》研讨会暨《大汶口》开机仪式在泰安举行

2023-04-22

企业“一诺值千金” 浙江婺城释放项目保证金超8亿元

2023-04-22

环法中国赛挑战赛_关于环法中国赛挑战赛介绍

2023-04-22

【天天新要闻】济南珍稀花木盛放 香气四溢花如海

2023-04-22

环球今日讯!省商务厅:征集生活必需品供应建设项目

2023-04-22

假期首日南宁车站迎来客流出行高峰|环球报道

2023-04-22

好听网名(好听网名 男生 霸气) 速递

2023-04-22

环球观察:Verticalsim 宣布安大略国际机场

2023-04-22

2023中国网络媒体论坛“青春律动·Z世代网络空间新表达”平行论坛在南京举办-当前热点

2023-04-22

锂价年内跌超60%,千亿锂王海外买矿被拒因祸得福?专家:明年才是好时机-当前快讯

2023-04-22

科学幼小衔接怎么做?这场省级实验区现场展示活动给你答案

2023-04-22

热点评!自己泡的柠檬水可以放多长时间?

2023-04-22

多地经历剧烈降温 专家提示做好应对 焦点资讯

2023-04-22

元宵节的由来与传说(传说元宵节的由来是什么) 环球新消息

2023-04-22

中加享利三年定开债基分红

2023-04-22

腾讯起诉《王者荣耀》商业代练赢了:构成不正当竞争 获赔60万

2023-04-22

冰箱上有1~7温度调节,要怎么调? 环球关注

2023-04-22

天天观热点:云南中级会计师网上支付相关事项一览

2023-04-22

环球动态:宝马MINI再次发文道歉,漏洞百出,涉事女主发声,态度冷漠

2023-04-22

2023“茅台谷雨人才日”系列活动启动

2023-04-22

【热闻】冬瓜的功效与作用_有哪些营养呢

2023-04-22

德国驻华使领馆:5月1日起,赴德观光旅游将恢复开放

2023-04-22

国家能源集团领导层调整! 天天快消息

2023-04-22

吸毒的人有什么特征-环球要闻

2023-04-22

万亿险企人事调整!王廷科任中国人保党委书记,前任罗熹曾陷“学金句”风波|全球热消息

2023-04-22

大学生因辱华言论被拒录公务员,官方回应

2023-04-22

信息:斗鱼米娜_斗鱼洛天神

2023-04-22

环球快看点丨甘泉县气象台发布霜冻蓝色预警【Ⅳ级/一般】

2023-04-22

国务院安委会决定对北京长峰医院重大火灾事故查处实行挂牌督办

2023-04-22

观点:汽车音响进入致臻全景声时代,丹拿瞄准了两大行业痛点

2023-04-22

指导价42.78-53.13万元 全新奔驰GLC正式上市

2023-04-22

世界播报:4月21日基金净值:嘉实核心优势股票发起式最新净值1.4091,跌1.44%

2023-04-22

原腾讯QQ空间负责人,T13专家,黄希彤被爆近期被裁员,裁员原因令人唏嘘。。

2023-04-22

信阳市罗山县人民检察院召开人民监督员工作座谈会_全球滚动

2023-04-22

宝马之后,小鹏汽车展台也开始派发冰淇淋,效果可能适得其反?

2023-04-22

冰糖柚吃多了上火吗怎么办-微资讯

2023-04-22

全球动态:古龙小说大旗英雄传的结局是什么_大家一起来了解下吧

2023-04-22

即时焦点:流星蝴蝶剑郑少秋版电视剧(流星蝴蝶剑鬼组版)

2023-04-22

天天热消息:午夜凶铃3为何就选了女主(午夜凶铃3女主结局)

2023-04-22

【世界时快讯】嗑定了,战舰与城市的最佳CP!

2023-04-22

观热点:萤石网络(688475):该股换手率大于8%(04-20)

2023-04-21

每日视讯:狗狗尿很黄的原因_狗狗尿发黄是什么原因

2023-04-21

金海高科(603311.SH):2022年净利润同比增长5.76% 拟10派1.2元

2023-04-21

中新集团:2022年实现收入47.41亿元

2023-04-21

西乡县举办网络媒体主题采访活动 天天即时看

2023-04-21

前沿热点:华西证券:维持李宁(02331)“买入”评级 童装有望成为新的增长点

2023-04-21

当前快报:国资委:全面推进国资央企云体系和大数据体系建设

2023-04-21

滚动:大宗交易:机构账户卖出星源材质1055.2万元(04-21)

2023-04-21

环球新资讯:甘肃19名在编退役运动员实名投诉体育队截留财政拨款

2023-04-21

当前观点:围巾的正确戴法_围巾正确戴法简述

2023-04-21

全球今日报丨「智惠农民」为什么石楠“花香”如此特殊?

2023-04-21

社校企联动再添新平台,创新实验室与青年实践基地在家门口揭牌|环球简讯

2023-04-21

【天天聚看点】mr检查是什么原理_什么叫MR检查

2023-04-21

世界快消息!辞职不干了五险怎么办?详解三种处理方式

2023-04-21

红楼梦第五回内容概括300字_红楼梦第五回内容概括-天天观热点

2023-04-21

【运动打卡 看大美北京】水上运动激扬生态治理的北京“浪花”_当前热讯

2023-04-21

环球观热点:江西省数字经济学会秘书长吴晓霞莅临我司调研

2023-04-21

双拼音节有哪些(三拼音节有哪些)

2023-04-21

琼海市人民法院发布失信被执行人名单(第七十九批)

2023-04-21

巴中市通江县聚焦涉企服务,优化营商环境|播资讯

2023-04-21

国家外汇管理局:1—3月银行累计结汇37362亿元人民币 累计售汇38417亿元人民币

2023-04-21

每日焦点!CCTV5直播冠军赛:世界第一樊振东、孙颖莎8将冲冠,陈梦VS早田希娜

2023-04-21

关注:湖南崀山:野化放归朱鹮成功孵化第一窝鸟宝宝

2023-04-21

在岸人民币兑美元较上一交易日夜盘收盘涨111点

2023-04-21

天天简讯:淄博楼市“暴走”,3个月卖了120万平方米!外地人吃个烧烤顺便买套房?中介给出解释

2023-04-21

全国中医药产业博览会4月22日在兰州新区举办

2023-04-21

朝鲜外务相谴责G7外长会联合声明涉朝内容:内政干涉性质浓厚-热文

2023-04-21

镇江上党:医心为民,畅通“呼吸”之路_独家

2023-04-21

中方:希望韩方恪守一个中国原则,审慎处理台湾问题

2023-04-21

规范服务行为,工信部将加强APP全链条治理_世界今头条

2023-04-21

市中心开夜市如何释放长久活力?

2023-04-21

每日看点!洽洽食品:2022年归母净利润9.76亿元,同比增5.1%,拟10派10元

2023-04-21

全球快消息!体操冠军朱丹_体操冠军

2023-04-21