Vscode怎样编写Maude?Vscode编写Maude的方法
今天为你们带来的文章是关于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的方法,更多精彩教程尽在电脑系统之家。
最新推荐
-
如何让软件从c盘移动到d盘 win10把c盘软件搬到D盘
如何让软件从c盘移动到d盘?在win10系统中,系统会默认把软件、游戏都安装在C盘,导致用户的C盘容易变红,电 […]
-
win7图片查看器提示内存不足怎么解决 win7无法查看图片计算机内存不足
win7图片查看器提示内存不足怎么解决?在win7系统中,自带的windows照片查看器非常的方便用户使用,但 […]
-
excel表格1往下拉怎么设置拉下来是1234 表格序号下拉不递增解决方案
excel表格1往下拉怎么设置拉下来是1234?excel表格是一款强大的办公软件,丰富的函数公式与功能可以提 […]
-
如何使用devc++新建项目
Dev-C++是一款小巧方便的编译器,想要使用devc++新建项目并编译运行,那么该如何操作呢?接下来电脑系统之家小编为大伙讲述devc++新建项目的操作技巧内容,希望可以帮助到有需要的朋友。
-
电脑控制面板打开是空白的怎么办 window10为啥控制面板打开是空白
电脑控制面板打开是空白的怎么办?通过电脑上的控制面板功能,用户可以更方便快捷的修改电脑的功能设置,但是有的用户 […]
-
华为mate40pro在哪取消HD_华为mate40pro取消HD教程
[db:摘要]