ctrl+shift+p filters: :st2 :st3 :win :osx :linux
Browse

Whiley

by Whiley ST3

A TextMate plugin for Whiley

Details

Installs

  • Total 3
  • Win 2
  • Mac 0
  • Linux 1
Jul 7 Jul 6 Jul 5 Jul 4 Jul 3 Jul 2 Jul 1 Jun 30 Jun 29 Jun 28 Jun 27 Jun 26 Jun 25 Jun 24 Jun 23 Jun 22 Jun 21 Jun 20 Jun 19 Jun 18 Jun 17 Jun 16 Jun 15 Jun 14 Jun 13 Jun 12 Jun 11 Jun 10 Jun 9 Jun 8 Jun 7 Jun 6 Jun 5 Jun 4 Jun 3 Jun 2 Jun 1 May 31 May 30 May 29 May 28 May 27 May 26 May 25 May 24
Windows 0 0 0 0 0 0 0 0 0 0 0 1 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
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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0

Readme

Source
raw.​githubusercontent.​com

WhileySyntaxBundle

This provides TextMate and Sublime bundles to enable syntax highlighting for programs written in the Whiley. This also serves as the grammar for github/linguist (which enables syntax highlighting on Github).

An example Whiley program is the following:

Error: language “whiley” is not supported
type nat is (int x) where x >= 0

function indexOf(int[] items, int item) -> (int r)
// If valid index returned, element matches item
ensures r >= 0 ==> items[r] == item
// If invalid index return, no element matches item
ensures r <  0 ==> all { i in 0..|items| | items[i] != item }
// Return value is between -1 and size of items
ensures r >= -1 && r < |items|:
    //
    nat i = 0
    while i < |items|
        where all { k in 0 .. i | items[k] != item }:
        //    
        if items[i] == item:
            return i
        i = i + 1
    //
    return -1

Install (Sublime)

Eventually you will be able to install via PackageControl. For now, you can copy the whiley.submlime-text file into .config/sublime-tests/Packages/User.

Install (TextMate)

mkdir -p ~/Library/Application\ Support/TextMate/Bundles
cd ~/Library/Application\ Support/TextMate/Bundles
git clone git://github.com/Whiley/WhileySyntaxBundle Whiley.tmbundle

Developers

The single source of truth is the file Syntaxes/whiley.YAML-tmLanguage. This is used to generate the remaining files:

  • whiley.tmLanguage. This is generated by installing PackageDev and then running Tools > Build on whiley.YAML-tmLanguage and choosing Convert to: Property List.

  • whiley.sublime-text. This is generated by selecting the file whiley.tmLanguage and running Tools > Developer > New Syntax from whiley.tmLanguage ....