Skip to content
| Marketplace
Sign in
Visual Studio Code>Programming Languages>FlagNew to Visual Studio Code? Get it now.
Flag

Flag

Frama

|
2 installs
| (0) | Free
Flag (.flg): highlighting, and flagls for errors, hover and go to definition
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

Flag for VS Code

Syntax highlighting for Flag, and with flagls, errors as you type, hover and go to definition.

Requirements

  • flagc, see the Installation of Flag
  • flagls, from the releases of flag-lsp, in the same folder as flagc or in your PATH

flagls works on Linux and macOS. On Windows you get the highlighting.

Settings

  • flag.server: the flagls to run, flagls from your PATH if you don't set it. A relative path starts at the workspace folder
  • flag.exclude: folders or files, relative to the workspace folder, that flagls leaves out
  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
  • Your Privacy Choices
  • Consumer Health Privacy
© 2026 Microsoft