教你Vscode怎样编写Maude?Vscode编写Maude的方法。

本文将介绍如何在Vscode中进行Maude编程。如果你对此感兴趣,请继续阅读以下步骤。

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

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

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

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

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

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

以上就是给大家分享的Vscode编写Maude的方法,更多精彩教程尽在ZOL下载。