ctrl+shift+p filters: :st2 :st3 :win :osx :linux
浏览

Promela_Spin

作者： corbanmailloux 全部

Sublime Text 3 对 Promela Spin 的语法高亮和构建系统。

标签 构建系统，语言语法

详细信息

  • 1.1.0
  • github.​com
  • github.​com
  • 9年前
  • 27分钟前
  • 9年前

安装次数

  • 总计 2K
  • Win 577
  • Mac 538
  • Linux 527
8月6日 8月5日 8月4日 8月3日 8月2日 8月1日 7月31日 7月30日 7月29日 7月28日 7月27日 7月26日 7月25日 7月24日 7月23日 7月22日 7月21日 7月20日 7月19日 7月18日 7月17日 7月16日 7月15日 7月14日 7月13日 7月12日 7月11日 7月10日 7月9日 7月8日 7月7日 7月6日 7月5日 7月4日 7月3日 7月2日 7月1日 6月30日 6月29日 6月28日 6月27日 6月26日 6月25日 6月24日 6月23日
Windows 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Mac 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Linux 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

读我

源代码
raw.​githubusercontent.​com

Sublime Text 3 - Promela Spin 语法高亮和构建系统

Sublime Text 3 中Promela Spin的语法高亮。

入门

注意：虽然语法高亮应该能够在任何操作系统上正常工作而无需任何依赖，但构建系统仅适用于 Windows，并需要将 jSpin 的 bin 目录（默认：C:\jspin\bin）添加到 PATH 变量中。

1. 安装

(推荐) 使用 Sublime Text 软件包控制 进行自动安装

  1. 打开 Sublime Text 的命令面板（默认：Ctrl+Shift+P）
  2. 输入 install 并选择 Package Control: Install Package
  3. 输入 promela spin 并选择“Promela_Spin”来安装此软件包。

手动安装

转到 首选项 -> 浏览软件包，然后可以将此插件下载并解压到该目录，或者

git clone https://github.com/corbanmailloux/sublime-promela-spin.git "sublime-promela-spin"

2. 激活此语言

安装此软件包后，打开一个 PML 文件并将语言切换到 Promela，可以使用以下方法之一：

  • 从编辑器底部右侧的状态栏中支持的语言列表中选择
  • Ctrl+Shift+P 并搜索“Promela”

3. 将“Promela”设为默认

要将 Promela 设为当前扩展名的默认高亮显示

  1. 打开一个你想要设置默认值的扩展名文件（例如 .pml）
  2. 在 Sublime Text 中通过以下菜单导航：视图 -> 语法 -> 以当前扩展名打开所有文件作为... -> Promela

3. 测试构建系统

在打开 Promela 文件时，“Promela - Random”构建系统应该自动选中。

要运行构建，请按 Ctrl+B 或从“工具”菜单中选择“构建”。

作者

Corban Mailloux

版权和许可

版权所有 2014 科班·梅洛克斯

麻省理工学院许可证