Checker Framework Language Server

This is the language server for Checker Framework implemented with LSP4J, which means it can be used for all editors/IDEs that support the Language Server Protocol.

Javadoc.

How to Build

./gradlew shadowJar

and then checker-framework-languageserver-all.jar will be generated under build/libs.

How to Use

TODO

Settings

TODO

Notes for Development

As LSP4J lacks documentation, it's suggested that the developer of this project use an IDE supporting auto-completion so the methods/interfaces/classes of LSP4J can be easily inspected to figure out what are actually given/expected.

Acknowledgement