CSPM
A sublime text (and textmate 2) plugin that adds support for CSPM.
Details
Installs
- Total 372
- Win 192
- Mac 87
- Linux 93
Feb 22 | Feb 21 | Feb 20 | Feb 19 | Feb 18 | Feb 17 | Feb 16 | Feb 15 | Feb 14 | Feb 13 | Feb 12 | Feb 11 | Feb 10 | Feb 9 | Feb 8 | Feb 7 | Feb 6 | Feb 5 | Feb 4 | Feb 3 | Feb 2 | Feb 1 | Jan 31 | Jan 30 | Jan 29 | Jan 28 | Jan 27 | Jan 26 | Jan 25 | Jan 24 | Jan 23 | Jan 22 | Jan 21 | Jan 20 | Jan 19 | Jan 18 | Jan 17 | Jan 16 | Jan 15 | Jan 14 | Jan 13 | Jan 12 | Jan 11 | Jan 10 | Jan 9 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
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 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
Mac | 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 |
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 |
Readme
- Source
- raw.githubusercontent.com
SublimeCSPM
This bundle adds support for CSPM syntax highlighting to Sublime Text and TextMate 2.
It also includes some simple commands to typecheck the current file, open the current file in FDR3, and check all assertions using command line version of FDR.
Installation
To install the plugin for Sublime Text, use
Package Control and install the package named
CSPM
.
To install this plugin in 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
Commands
The package adds three commands to Sublime Text.
- Check Assertions (alt-shift-c): checks all assertions using the command line version of FDR.
- Briefly Check Assertions (alt-shift-b): this behaves like the Check Assertions command, but only gives the result of each refinement check, and does not give any counterexamples or log information.
- Open in FDR (alt-shift-r): opens the current file in FDR.
- Typecheck (alt-shift-t): typechecks the current file.
Sometimes the current file will not be suitable for typechecking on its own
(e.g. if a.csp
includes b.csp
, but b.csp
depends on declarations in
a.csp
). In such cases, it is possible to specify the root file that should
be loaded by FDR instead by altering the first line to, e.g. -- root: a.csp
.
In such cases FDR will find type errors in all files that are included by the
root file.
Settings
Sublime Text can be configured using the following options.
fdr_bin_dir
(defaults to null): sets the directory in which the plugin will look forfdr3
andrefines
. By default, the plugin will search in the normal installation locations.typecheck_on_save
(defaults to true): if set, the typechecker will automatically be executed whenever a CSP file is saved.
Settings may also be set on a per-project basis by adding a “cspm” dictionary to the project settings. For example, adding:
"cspm": {
"typecheck_on_save": true
}
will override the typecheck_on_save
setting just for the particular project.
License
See LICENSE.