当前位置: 首页 > 知识 > 软件 > 《Vscode》编写Maude操作方法介绍
  • 0
  • 0
  • 分享

《Vscode》编写Maude操作方法介绍

Visual Studio Code 2024-05-19 15:35:08 爱吃爆米花

Vscode中的maude是一种重写逻辑编程语言,我们使用该软件的时候难免会遇到问题,那么Vscode编写Maude怎么做?下面就一起来看看详细的介绍吧。

编写Maude操作方法介绍

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

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

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

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

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

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

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

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

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

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

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

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

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

所 属 资 源
Visual Studio Code
Visual Studio Code
软件 / 编程软件 /
开源的跨平台文本编辑器
去下载
来源:php中文网
免责声明:本内容来自互联网,不代表本网站的观点和立场,如有侵犯你的权益请来信告知;如果你觉得好,欢迎分享给你的朋友,本文网址 https://wangzhidaquan.com/zhishi/44504.html
VSCode技巧大全
评论

文明上网,理性发言,共同做网络文明传播者

验证码
提交
热榜
热门游戏
换一换
热门软件
换一换