Class VirtualMachineOptions

Namespace

Pl0.Vm

Assembly

Pl0.Vm.dll

Konfigurationsoptionen für die PL/0-virtuelle Maschine.

Configuration options for the PL/0 virtual machine.

public sealed record VirtualMachineOptions : IEquatable<VirtualMachineOptions>

Inheritance

object

VirtualMachineOptions

Implements

IEquatable<VirtualMachineOptions>

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.ReferenceEquals(object, object)

object.ToString()

Constructors

VirtualMachineOptions(int, bool, string, ResourceManager?, int)

Erstellt den bisherigen Fünf-Parameter-Vertrag. / Creates the previous five-parameter contract.

public VirtualMachineOptions(int StackSize, bool EnableStoreTrace, string Language, ResourceManager? Messages, int InstructionBudget)

Parameters

StackSize int

Stackgröße. / Stack size.

EnableStoreTrace bool

STO-Ausgabe. / STO output.

Language string

Diagnosesprache. / Diagnostic language.

Messages ResourceManager

Ressourcenmanager. / Resource manager.

InstructionBudget int

Instruktionsbudget. / Instruction budget.

VirtualMachineOptions(int, bool, string, ResourceManager?, int, int)

Erstellt Optionen mit allen aktuellen Grenzen. / Creates options with all current limits.

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

Parameters

StackSize int

Stackgröße von 3 bis 1.000.000. / Stack size from 3 through 1,000,000.

EnableStoreTrace bool

Aktiviert STO-Ausgaben. / Enables STO output.

Language string

BCP-47-Sprache für Diagnosen. / BCP-47 language for diagnostics.

Messages ResourceManager

Optionaler Ressourcenmanager. / Optional resource manager.

InstructionBudget int

Budget von 1 bis 10.000.000. / Budget from 1 through 10,000,000.

MaximumProgramLength int

Programmgrenze von 1 bis 100.000. / Program limit from 1 through 100,000.

Properties

Default

Ruft die Standardoptionen ab. / Gets the default options.

public static VirtualMachineOptions Default { get; }

Property Value

VirtualMachineOptions

EnableStoreTrace

Ruft die STO-Ausgabeoption ab. / Gets the STO output option.

public bool EnableStoreTrace { get; init; }

Property Value

bool

InstructionBudget

Ruft das Instruktionsbudget ab. / Gets the instruction budget.

public int InstructionBudget { get; init; }

Property Value

int

Language

Ruft die Diagnosesprache ab. / Gets the diagnostic language.

public string Language { get; init; }

Property Value

string

MaximumProgramLength

Ruft die maximale Programmlänge ab. / Gets the maximum program length.

public int MaximumProgramLength { get; init; }

Property Value

int

Messages

Ruft den Ressourcenmanager ab. / Gets the resource manager.

public ResourceManager? Messages { get; init; }

Property Value

ResourceManager

StackSize

Ruft die Stackgröße ab. / Gets the stack size.

public int StackSize { get; init; }

Property Value

int