java - 嵌入式 Groovy : How to use static type checking with external variables?

Question

我想嵌入 Groovy 以在我的 Java 应用程序中启用脚本功能。我想使用静态类型检查，此外我想将一些额外的(全局)变量传递给脚本。这是我的配置:

    String script = "println(name)";  // this script was entered by the user

    // compiler configuration for static type checking
    CompilerConfiguration config = new CompilerConfiguration();
    config.addCompilationCustomizers(new ASTTransformationCustomizer(CompileStatic.class));

    // compile the script
    GroovyShell shell = new GroovyShell(config);
    Script script = shell.parse(script);

    // later, when we actually need to execute it...
    Binding binding = new Binding();
    binding.setVariable("name", "John");
    script.setBinding(binding);
    script.run();

如您所见，用户提供的脚本使用了全局变量name，它是通过script.setBinding(...)注入(inject)的。现在有一个问题:

• 如果我在用户脚本中声明变量 name(例如 String name;)，则绑定(bind)无效，因为变量已经存在于脚本中。
• 如果我没有在脚本中声明变量，静态类型检查器将(正确地)提示未声明name。

问题是:我该如何解决这个问题？如何告诉类型检查器脚本在调用时会接收到某个类型的全局变量？

Answer 1

来自doc ,您可以使用 extensions 参数，

config.addCompilationCustomizers(
    new ASTTransformationCustomizer(
        TypeChecked,
        extensions:['robotextension.groovy'])
)

然后将robotextension.groovy 添加到您的类路径中:

unresolvedVariable { var ->
    if ('name'==var.name) {
        storeType(var, classNodeFor(String))
        handled = true
    }
}

在这里，我们告诉编译器，如果找到未解析的变量，并且变量的名称是name，那么我们可以确保类型此变量的类型是 String。