arthwang / vsc-picat

A VS Code extension supporting for Picat language

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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.

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

About

A VS Code extension supporting for Picat language

License:MIT License


Languages

Language:TypeScript 100.0%