CSPM

由 cspm ST3

一个为Sublime Text（以及TextMate 2）增加对CSPM支持的插件。

详细信息

版本 1.0.0
主页 cs.ox.ac.uk
问题 github.com
修改时间 9年前
最后查看时间 2小时前
首次出现时间 9年前

安装次数

总数 351
Win 179
Mac 83
Linux 89

	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	1	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
Mac	0	1	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	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	0	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

SublimeCSPM

此软件包向Sublime Text和TextMate 2添加对CSPM语法高亮的支持。

它还包括一些简单的命令来检查当前文件的类型、在FDR3中打开当前文件，并使用FDR的命令行版本检查所有断言。

安装

要为Sublime Text安装插件，请使用Package Control并安装名为CSPM的包。

要安装TextMate 2中的此插件

mkdir -p ~/Library/Application\ Support/Avian/Pristine\ Copy/Bundles
cd ~/Library/Application\ Support/Avian/Pristine\ Copy/Bundles
git clone git://github.com/cspm/cspm.tmbundle cspm.tmbundle

命令

该插件为Sublime Text添加了三个命令。

检查断言（alt-shift-c）：使用FDR的命令行版本检查所有断言。
简要检查断言（alt-shift-b）：这个命令的行为类似于“检查断言”命令，但只给出每次细化的结果，不会给出任何反例或日志信息。
在FDR中打开（alt-shift-r）：在FDR中打开当前文件。
类型检查（alt-shift-t）：检查当前文件。

有时当前文件可能不适合自己进行类型检查（例如，如果a.csp包括b.csp，但b.csp依赖于a.csp中的声明）。在这种情况下，可以通过修改第一行，例如添加“-- root: a.csp”，来指定FDR应加载的根文件。在这种情况下，FDR将找到所有被根文件包含的文件中的类型错误。

设置

可以使用以下选项配置Sublime Text。

fdr_bin_dir（默认为null）：设置插件在查找fdr3和refines时将使用的目录。默认情况下，插件将在正常的安装位置中搜索。
typecheck_on_save（默认为true）：如果设置，类型检查器将自动在CSP文件保存时执行。

也可以通过为项目设置添加“cspm”字典来根据项目设置设置设置。例如，添加

"cspm": {
    "typecheck_on_save": true
}

将覆盖当前项目的typecheck_on_save设置。

许可证

请参阅LICENSE。