vscode怎麼編寫Maude程序? Maude插件在vscode的用法

在WSL/linux系統中，想要使用vscode編寫Maude。我們需要使用Maude插件實現部分語法高亮，下面我們就來看看詳細的教程。

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

Visual Studio Code(代碼編輯器) v1.63.2 64位中文免費綠色版

查看詳情

接著，新建擴展名為maude的文件，即可使用maude的代碼段和語法高亮。

終端->新建終端可以在當前文件夾打開vscode內置終端，來運行maude或者full-maude程序。

在maude的官方教程中，還有http客戶端的例子，可以如圖方式調用運行。

如果希望關聯fm擴展名的文件，打開設置，在用戶設置中，搜索file associations，打開settings.json。

給文件關聯添加一個條目，即*.fm到maude的條目即可。但是full-maude定義瞭更多語法，並不都被maude插件的語法高亮所支持。

以上就是Maude插件在vscode的用法，希望大傢喜歡，請繼續關註GuideAH。

相關推薦：

vscode調用c項目後怎麼引用dll?

vscode怎麼打包vue項目? vscode中vue項目打包流程

vscode如何運行python? vs code新建並運行python代碼的技巧