Allium Syntax

VS Code extension providing syntax highlighting for Allium specification files (.allium).

Features

• Syntax highlighting for all Allium language constructs:
  • Declarations: entity, actor, rule, surface, contract, value, enum, invariant, variant, external entity, default, deferred
  • Clause keywords: when, requires, ensures, let, transitions_to, facing, exposes, provides, and more
  • Built-in types: String, Integer, Decimal, Boolean, Timestamp, Duration, Any, and generic collections (Set<T>, List<T>, Sequence<T>)
  • Annotations: @invariant, @guarantee, @guidance
  • Language constants: null, true, false, now, this
  • Duration literals: 24.hours, 7.days, 30.seconds
  • Collection and lifecycle methods: .count, .any, .all, .first, .created, .destroyed
  • Operators, strings, numbers, and line comments (--)
• Auto-closing pairs for {}, (), and ""
• Code folding support

Installation

Install from the VS Code Marketplace.

Usage

Files with the .allium extension are automatically detected and highlighted.

License

MIT