为检查器框架设置环境变量

Question

我想为Java使用检查器框架，并且正在为其设置环境变量，但是当我在Windows中的PowerShell中检查其版本时。这表明它无法访问检查器框架。

java -Xbootclasspath/p:%CHECKERS%/binary/jsr308-all.jar -jar %CHECKERS%/binary/jsr308-all.jar -version

这是错误

  

错误：无法访问jarfile％CHECKERS％/ binary / jsr308-all.jar

我已将下载的文件解压缩到C驱动器中。对于环境变量，这里是我尝试过的路径。

1

  

C：\ checker-framework-2.7.0 \ checker-framework-2.7.0 \ checker \ di

2

  

C：\ checker-framework \ checkers

3

  

C：\ checker-framework-2.7.0 \ checker-framework-2.7.0 \ checker

4

  

C：\ checker-framework-2.7.0 \ checker-framework-2.7.0

Answer 1

在PowerShell中使用$ env：env_veriable访问环境变量。

示例： $ env：JAVA_HOME

有关更多信息：https://docs.microsoft.com/en-us/powershell/module/microsoft.powershell.core/about/about_environment_variables?view=powershell-6