checkerframework-language-server 0.2.0-免费下载-Golang学习网

checkerframework-language-server

分类：工具软件访问：34 下载量：0

软件介绍

更新时间：2025-04-30

工具软件 Visual Studio Code Java

新的介绍内容：

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"
```