GraalConfig

com.jsmacrosce.jsmacros.graal.GraalConfig

Settings for configuring GraalVM engine-wide and per-language options. Obtain this config through the configuration manager; the Graal extension must be registered for its options to be available.

const config = JsMacros.getConfig().getOptions(Java.type("com.jsmacrosce.jsmacros.graal.GraalConfig"));  
const jsOptions = config.extraLangOptions.get("js");  
if (jsOptions != null) {
 // Read or update the configured JavaScript options.  
}

Constructors

new GraalConfig

new GraalConfig()#

Fields

extraEngineOptions

extraEngineOptions: Map<String, String>#

Engine option names mapped to their string values; applied when the shared engine is first built.

extraLangOptions

extraLangOptions: Map<String, Map<String, String>>#

Language IDs mapped to option-name/string-value maps, applied when a context for that language is built.