vscode怎么编写Maude程序? Maude插件在vscode的用法
脚本之家
在WSL/linux系统中，想要使用vscode编写Maude。我们需要使用Maude插件实现部分语法高亮，下面我们就来看看详细的教程。
首先在vscode插件管理器可以搜索到Maude插件。
接着，新建扩展名为maude的文件，即可使用maude的代码段和语法高亮。
终端->新建终端可以在当前文件夹打开vscode内置终端，来运行maude或者full-maude程序。
在maude的官方教程中，还有http客户端的例子，可以如图方式调用运行。
如果希望关联fm扩展名的文件，打开设置，在用户设置中，搜索file associations，打开settings.json。
给文件关联添加一个条目，即*.fm到maude的条目即可。但是full-maude定义了更多语法，并不都被maude插件的语法高亮所支持。
以上就是Maude插件在vscode的用法，希望大家喜欢，请继续关注脚本之家。
相关推荐：