Skip to content

MercierCorentin/vscode-lustre

Repository files navigation

VScode Lustre extension

This extension provides a syntax highlighting and snippets for LUSTRE language.

Installation

You can install this extension from the Open VSX Registry (VSCodium) or VSCode extension store (VSCode).

Or, if you need development version, you can use these commands:

sudo apt install npm
npm install -g vsce
git clone https://github.com/MercierCorentin/vscode-lustre.git
cd vscode-lustre
vsce package
  • Open Visual Studio Code and select View->Extensions from the menu to display the Extensions pane.
  • Click the ... at the top-right corner of the Extensions pane and select "Install from VSIX..." on the menu that appears.
  • Select the created .vsix file.

Lustre

Lustre is a "synchronous language based on the dataflow model and designed for the description and verification of real-time systems"[1].

This extension implements Lustre Core syntax highlight and snippets. Lustre Core is described in [1].

[1] The Lustre V6 Reference Manual, Erwan Jahier, Pascal Raymond, Nicolas Halbwachs, http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v6/doc/lv6-ref-man.pdf

Issues

For issues you can either create a Github issue or send an email to the maintainer (corentin.mercier(at)webanimus.com).

Snippets

Prefix Snippet
node Node Header + Body
function Function header + Body
node_a Node Header + Local Variables and Constants declaration + Body
let Body
extern_n External node
extern_f External function
var Variable declaration
const Constants declaration
type User type definition
struct Structure definition
enum Enum type definition