天天下载 更新快、资源全,发现更多实用工具,就上天天下载!

Vscode怎样编写Maude?Vscode编写Maude的技巧

更新时间: 2023-06-24 21:31 分类: 其他教程 人气: (136) 0个评论

今天为你们带来的文章是关于Vscode软件的,你们知道Vscode怎样编写Maude吗?下文天天下载就为各位带来了Vscode编写Maude的方法,感兴趣的用户一同来下文看看吧。

Vscode怎样编写Maude?Vscode编写Maude的方法

首先在Vscode插件管理器可以搜索到Maude插件。

Vscode怎样编写Maude?Vscode编写Maude的技巧

接着,新建扩展名为maude的文件,即可使用maude的代码段和语法高亮。

Vscode怎样编写Maude?Vscode编写Maude的技巧

终端->新建终端可以在当前文件夹打开vscode内置终端,来运行maude或者full-maude程序。

Vscode怎样编写Maude?Vscode编写Maude的技巧Vscode怎样编写Maude?Vscode编写Maude的技巧

在maude的官方教程中,还有http客户端的例子,可以如图方式调用运行。

Vscode怎样编写Maude?Vscode编写Maude的技巧

如果希望关联fm扩展名的文件,打开设置,在用户设置中,搜索file associations,打开settings.json。

Vscode怎样编写Maude?Vscode编写Maude的技巧

给文件关联添加一个条目,即*.fm到maude的条目即可。但是full-maude定义了更多语法,并不都被maude插件的语法高亮所支持。

Vscode怎样编写Maude?Vscode编写Maude的技巧

以上就是给各位朋友分享的Vscode编写Maude的方法,更多手机教程尽在天天下载。

@天天下载

除特别注明外,本站所有文章均为 天天下载 原创,转载请注明出处来自 https://www.ttzip.com/122935.html
9人喜欢