checkerframework-language-server 0.2.0

新的介绍内容：

Checker Framework Language Server是专为Visual Studio Code（VS Code）设计的扩展，旨在通过集成Checker Framework的强大功能，提升Java开发者的编码体验和代码质量。

快速上手：

安装此扩展后，打开或保存任何.java文件，Checker Framework将使用Nullness Checker进行检查。首次运行时，扩展会自动下载最新版本的Checker Framework（typetools/checker-framework）和围绕Checker Framework的语言服务器。

前提条件：

需要安装JDK，并正确设置JAVA_HOME环境变量，支持的版本包括8、9和11。

配置选项：

• checkers：指定用于检查源文件的检查器列表，支持简称和全称。所有检查器的列表可在Checker Framework手册中找到。

  "checker-framework.checkers": [
      "interning",
      "org.checkerframework.checker.nullness.NullnessChecker"
  ]

• commandLineOptions：传递给Checker Framework的命令行选项，类似于javac的选项。

  "checker-framework.commandLineOptions": [
      "-proc:only"
  ]

• frameworkPath：指定要使用的Checker Framework的根目录路径，通常是解压后的zip文件目录，默认情况下此扩展会自动设置。

  "checker-framework.frameworkPath": "/Users/joe/env/checker-framework-3.0.0"

• languageServerPath：指定语言服务器的jar文件路径，通常会自动设置。

  "checker-framework.languageServerPath": "/Users/bob/env/checker-framework-languageserver-all.jar"

• checkerframework_org：指定从哪个Github组织下载Checker Framework，默认是typetools。

  "checker-framework.checkerframework_org": "typetools"

• checkerframework_repo：指定从checkerframework_org下的哪个Github仓库下载Checker Framework，默认是checker-framework。

  "checker-framework.checkerframework_repo": "checker-framework"

• languageserver_org：指定从哪个Github组织下载语言服务器，默认是eisopux。

  "checker-framework.languageserver_org": "eisopux"

• languageserver_repo：指定从languageserver_org下的哪个Github仓库下载语言服务器，默认是checker-framework-languageserver。

  "checker-framework.languageserver_repo": "checker-framework-languageserver"

许可证：

本项目采用MIT许可证授权，详情请查看LICENSE文件。

致谢：

本项目受到以下项目的启发和帮助：

• adamyy/checkerframework-lsp
• georgewfraser/vscode-javac
• adamvoss/vscode-languageserver-java-example
• DafnyVSCode/Dafny-VSCode