A VS Code extension supporting for Picat language
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
.vscode
images
snippets
src
syntaxes
.gitignore
.vscodeignore
CHANGELOG.md
LICENSE.txt
README.md
package-lock.json
package.json
picat.configuration.json
tsconfig.json

README.md

VSC-Picat

A VS Code extension which provides language support for Picat.


Features | Configurations | Bug Reporting | Donation


Note before installation

This extension can be installed via extensions viewlet of VS Code or 'Extensions: install extension' command from the command palette. The author notices that it is developed and tested in picat 2.2 and VS Code 1.17 on Debian 9.0 (stretch). It's not yet tested under other environments.

Features

Feature descriptions and usages

Syntax highlighting

  • Builtin pattern support syntax

Predicate snippets

  • Predicate templates auto-completion
  • flow controls snippets support
  • Produced from the documents of picat system snippets

Information hovers

Hovers show Document information about the predicate under the mouse cursor. hover

Grammar linter

The grammar errors (if any) will display in OUTPUT channel when active source file is saved. linter

Run active source file

  • Command 'Picat: run document' (default map to F10) compile the source file in active editor into picat process in the integrated terminal and run the main/0(if any), spawning the picat process if not opened. The picat process provides a real REPL console. runner

You can open Picat terminal indepently by 'Picat: open picat' command.

Release Notes

Bug reporting

Feel free to report bugs or suggestions via issues

Contributions

Pull requests are welcome.

Acknowledgements

License

MIT

Donation

If this extension works well for you, would you please donate a loaf of bread to encourage me, a freelance programmer, to spend more time to improve it. Any amount is greatly appreciated.

PayPal