This extension provides a syntax highlighting and snippets for LUSTRE language.
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
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 |
For issues you can either create a Github issue or send an email to the maintainer (corentin.mercier(at)irsn.fr).
Good catch. Let us know what about this package looks wrong to you, and we'll investigate right away.