欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页  >  IT编程

vscode怎么编写Maude程序? Maude插件在vscode的用法

程序员文章站 2021-11-30 12:10:26
在wsl/linux系统中,想要使用vscode编写maude。我们需要使用maude插件实现部分语法高亮,下面我们就来看看详细的教程。首先在vscode插件管理器可以搜索到maude插件。visua...

在wsl/linux系统中,想要使用vscode编写maude。我们需要使用maude插件实现部分语法高亮,下面我们就来看看详细的教程。

vscode怎么编写Maude程序? Maude插件在vscode的用法

首先在vscode插件管理器可以搜索到maude插件。



vscode怎么编写Maude程序? Maude插件在vscode的用法

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

vscode怎么编写Maude程序? Maude插件在vscode的用法

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

vscode怎么编写Maude程序? Maude插件在vscode的用法

vscode怎么编写Maude程序? Maude插件在vscode的用法

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

vscode怎么编写Maude程序? Maude插件在vscode的用法

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

vscode怎么编写Maude程序? Maude插件在vscode的用法

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

vscode怎么编写Maude程序? Maude插件在vscode的用法

以上就是maude插件在vscode的用法,希望大家喜欢,请继续关注。