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.
./gradlew shadowJar
and then checker-framework-languageserver-all.jar
will be generated under build/libs
.
TODO
TODO
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.