Table of Contents

Class VmStepResult

Namespace
Pl0.Vm
Assembly
Pl0.Vm.dll

Result of executing exactly one VM instruction.

public sealed record VmStepResult : IEquatable<VmStepResult>
Inheritance
VmStepResult
Implements
Inherited Members

Constructors

VmStepResult(VmState, VmStepStatus, IReadOnlyList<VmDiagnostic>)

Result of executing exactly one VM instruction.

public VmStepResult(VmState State, VmStepStatus Status, IReadOnlyList<VmDiagnostic> Diagnostics)

Parameters

State VmState

State snapshot after the step.

Status VmStepStatus

Step execution status.

Diagnostics IReadOnlyList<VmDiagnostic>

Diagnostics reported by the VM.

Properties

Diagnostics

Diagnostics reported by the VM.

public IReadOnlyList<VmDiagnostic> Diagnostics { get; init; }

Property Value

IReadOnlyList<VmDiagnostic>

State

State snapshot after the step.

public VmState State { get; init; }

Property Value

VmState

Status

Step execution status.

public VmStepStatus Status { get; init; }

Property Value

VmStepStatus