Maude System Rewriting Logic Extension

Provides comprehensive language support for the Maude rewriting logic specification language in Visual Studio Code.

Author: Mohamed Lamine Lamouri — [email protected] — github.com/lamouriml

Features

Syntax Highlighting

Full TextMate grammar covering:

• Module declarations (fmod, mod, omod)
• Module importation (protecting, extending, including)
• Rewrite rules (rl, crl) and equations (eq, ceq)
• Operations (op, ops) with mixfix notation support
• Variables (convention: uppercase identifiers)
• Operator attributes (ctor, assoc, comm, id:, etc.)
• Full Maude keywords (class, msg, subclass)
• Parameterization (fth, view, from, to)
• Meta-level functions (metaReduce, metaRewrite, etc.)
• Comments (--- line comments, {- -} block comments)
• Quoted strings and numeric literals

Autocomplete

Intelligent completion suggestions as you type:

• All Maude keywords with descriptions
• Commands and environment directives
• Operator attributes
• Meta-level functions

Hover Documentation

Hover over any keyword to see formatted Markdown documentation:

• Syntax examples
• Usage guidelines
• Related keywords

Snippets

Pre-built templates for common constructs:

• fmod, mod, omod — module declarations
• eq, ceq — equations
• rl, crl — rewrite rules
• op, ops — operations
• var, vars — variables
• sort, subsort — type declarations
• protecting, including, extending — imports
• class, msg — Full Maude OO constructs
• search, rewrite, reduce — commands
• mb, cmb — membership axioms
• fth, view — parameterization

Requirements

• Visual Studio Code 1.85.0 or higher

Extension Settings

This extension contributes the following settings:

• maude.language: Maude language configuration

Future Plans

• Error diagnostics
• Go to definition
• Symbol navigation
• Language Server Protocol (LSP) implementation

Enjoy writing Maude specifications!