Class VirtualMachineOptions

Configuration options for the PL/0 virtual machine.

public sealed record VirtualMachineOptions : IEquatable<VirtualMachineOptions>

Inherited Members: object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.ReferenceEquals(object, object)

object.ToString()

Constructors

Configuration options for the PL/0 virtual machine.

public VirtualMachineOptions(int StackSize = 500, bool EnableStoreTrace = false, string Language = "de", ResourceManager? Messages = null)

StackSize int: Maximum stack size.
EnableStoreTrace bool: Whether STO writes are echoed to output.
Language string: BCP-47-Sprachcode für VM-Fehlertexte (Standard: "de").
Messages ResourceManager: Optionaler ResourceManager für Dependency Injection (z. B. in Tests); Standard: Pl0VmMessages.ResourceManager.

Default VM options.

public static VirtualMachineOptions Default { get; }

Whether STO writes are echoed to output.

public bool EnableStoreTrace { get; init; }

BCP-47-Sprachcode für VM-Fehlertexte (Standard: "de").

public string Language { get; init; }

Optionaler ResourceManager für Dependency Injection (z. B. in Tests); Standard: Pl0VmMessages.ResourceManager.

public ResourceManager? Messages { get; init; }

Maximum stack size.

public int StackSize { get; init; }