Uses of Class
io.jawk.util.AwkSettings
Packages that use AwkSettings
-
Uses of AwkSettings in io.jawk
Methods in io.jawk that return AwkSettingsModifier and TypeMethodDescriptionAwk.getSettings()Returns the behavioral settings associated with this engine instance.Cli.getSettings()Returns the mutableAwkSettingsconfigured from the command line.Constructors in io.jawk with parameters of type AwkSettingsModifierConstructorDescriptionAwk(AwkSettings settings) Create a new instance of Awk with the specified settings.Awk(Collection<? extends JawkExtension> extensions, AwkSettings settings) Create a new instance of Awk with the specified extension instances and settings.SandboxedAwk(AwkSettings settings) Creates a sandboxed AWK instance with the specified settings.SandboxedAwk(Collection<? extends JawkExtension> extensions, AwkSettings settings) Creates a sandboxed AWK instance with extensions and settings. -
Uses of AwkSettings in io.jawk.backend
Constructors in io.jawk.backend with parameters of type AwkSettingsModifierConstructorDescriptionAVM(AwkSettings parameters, Map<String, JawkExtension> extensionInstances) Construct the interpreter, accepting parameters which may have been set on the command-line arguments to the JVM.AVM(AwkSettings parameters, Map<String, JawkExtension> extensionInstances, boolean profilingEnabled) Construct the interpreter, optionally enabling runtime profiling.SandboxedAVM(AwkSettings parameters, Map<String, JawkExtension> extensionInstances) Creates a sandboxed AVM with the provided settings and extension instances.SandboxedAVM(AwkSettings parameters, Map<String, JawkExtension> extensionInstances, boolean profilingEnabled) Creates a sandboxed AVM with the provided settings, extension instances, and profiling mode. -
Uses of AwkSettings in io.jawk.ext
Methods in io.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 io.jawk.util
Fields in io.jawk.util declared as AwkSettingsModifier and TypeFieldDescriptionstatic final AwkSettingsAwkSettings.DEFAULT_SETTINGSShared immutable settings instance representing the default configuration.