Uses of Class
org.metricshub.jawk.util.AwkSettings
Packages that use AwkSettings
Package
Description
-
Uses of AwkSettings in org.metricshub.jawk
Methods in org.metricshub.jawk that return AwkSettingsModifier and TypeMethodDescriptionCli.getSettings()Returns the mutableAwkSettingsconfigured from the command line.Methods in org.metricshub.jawk with parameters of type AwkSettingsModifier and TypeMethodDescriptionvoidAwk.invoke(String script, AwkSettings settings) invoke.voidAwk.invoke(List<ScriptSource> scripts, AwkSettings settings) Compiles and invokes the specified list ofScriptSources using the providedAwkSettings.voidAwk.invoke(AwkTuples tuples, AwkSettings settings) Interprets the specified precompiledAwkTuplesusing the providedAwkSettings.voidAwk.invoke(ScriptSource script, AwkSettings settings) Compiles and invokes a singleScriptSourceusing the providedAwkSettings. -
Uses of AwkSettings in org.metricshub.jawk.backend
Constructors in org.metricshub.jawk.backend with parameters of type AwkSettingsModifierConstructorDescriptionAVM(AwkSettings parameters, Map<String, JawkExtension> extensionInstances, Map<String, ExtensionFunction> extensionFunctions) Construct the interpreter, accepting parameters which may have been set on the command-line arguments to the JVM.SandboxedAVM(AwkSettings parameters, Map<String, JawkExtension> extensionInstances, Map<String, ExtensionFunction> extensionFunctions) -
Uses of AwkSettings in org.metricshub.jawk.ext
Methods in org.metricshub.jawk.ext with parameters of type AwkSettingsModifier and TypeMethodDescriptionvoidAbstractExtension.init(VariableManager vmParam, JRT runtime, AwkSettings conf) Called after the creation and before normal processing of the extension, pass in the Jawk Runtime Manager and the Variable Manager once.voidJawkExtension.init(VariableManager vm, JRT jrt, AwkSettings settings) Called after the creation and before normal processing of the extension, pass in the Jawk Runtime Manager and the Variable Manager once.voidStdinExtension.init(VariableManager vm, JRT jrt, AwkSettings settings) Called after the creation and before normal processing of the extension, pass in the Jawk Runtime Manager and the Variable Manager once. -
Uses of AwkSettings in org.metricshub.jawk.util
Fields in org.metricshub.jawk.util declared as AwkSettingsModifier and TypeFieldDescriptionstatic final AwkSettingsAwkSettings.DEFAULT_SETTINGSShared immutable settings instance representing the default configuration.