首页 > 资讯信息 > 教程咨询

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

文章来源:oouo.cn作者:0.1折手游官网-游戏盒子发布时间:2023-08-20 20:03:53

 

      今天为你们带来的文章是关于Vscode软件的,你们知道Vscode怎样编写Maude吗?下文小编就为各位带来了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的方法,更多精彩教程尽在下载之家。

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表本站立场。文章及其配图仅供学习分享之用,如有内容图片侵权或者其他问题,请联系本站作侵删。