Jaseci Extension for VScode

Usage

Settings

Settings	Default	Description
jaseci.severity	{ "error": "Error", "note": "Information" }	Controls mapping of severity from jaseci to VS Code severity when displaying in the problems window. You can override specific jac error codes { "error": "Error", "note": "Information", "name-defined": "Warning" }
jaseci.interpreter	[]	Path to a Python interpreter to use to run the Jaseci language server. When set to [], the interpreter for the workspace is obtained from ms-python.python extension. If set to some path, that path takes precedence, and the Python extension is not queried for the interpreter.
jaseci.importStrategy	useBundled	Setting to choose where to load jaclang from. useBundled picks mypy bundled with the extension. fromEnvironment uses jaclang available in the environment.
jaseci.showNotifications	off	Setting to control when a notification is shown.
jaseci.reportingScope	file	(experimental) Setting to control if problems are reported for files open in the editor (file) or for the entire workspace (workspace).

Commands

Command	Description
Jaseci: Restart Server	Force re-start the language server.

Logging

From the command palette (View > Command Palette ...), run the Developer: Set Log Level... command. From the quick pick menu, select Jaseci Language Server extension from the Extension logs group. Then select the log level you want to set.

Contributing

Pre-requisites

• Node.js
• VS Code
• Python(3.8)
  • Conda (optional) conda create -n vscode-jaseci python=3.8 -y

Setup

Install Nox

pip install nox

Install Dependencies (both Python and Node.js)

nox --session setup

You are ready to run the extension in a development environment.