QPPL VS Code Extension

Standalone language support for QPPL (.qppl) with:

• full-spec static diagnostics keyed to QPPL/<RULE_ID>
• statically provable runtime-trap diagnostics (RT-*)
• use-def navigation (Go to Definition, Find References, highlights)
• hover content for symbol/type data and specification blurbs
• syntax highlighting and snippets

This extension does not invoke the compiler and does not require runtime access to sibling repos.

Features

• Registers qppl language for .qppl files.
• Parses QPPL source with a local TypeScript parser.
• Runs standalone semantic analysis (namespace/function/type/constness/distribution/cast/profile rules).
• Provides symbol navigation for variables, parameters, and functions.
• Provides rich hover with declaration/type details and spec context.

Settings

Under qppl.validation:

• enable (default: true)
• onType (default: true)
• debounceMs (default: 250)
• maxDiagnostics (default: 200)
• profile (core|extended, default: core)
• hoverSpec (on|off, default: on)

Development

npm install
npm run compile
npm test

To run in VS Code Extension Host:

1. Open this vscode-extension folder in VS Code.
2. Press F5 and choose Run Extension.
3. Open a .qppl file in the launched Extension Development Host.

Command

• QPPL: Validate Active File (qppl.validateActiveFile)