Class VmStepResult

Namespace

Pl0.Vm

Assembly

Pl0.Vm.dll

Ergebnis eines VM-Schritts. / Result of one VM step.

public sealed record VmStepResult : IEquatable<VmStepResult>

Inheritance

object

VmStepResult

Implements

IEquatable<VmStepResult>

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.ReferenceEquals(object, object)

object.ToString()

Constructors

VmStepResult(VmState, VmStepStatus, IReadOnlyList<VmDiagnostic>)

Erstellt das bisherige Ergebnisformat. / Creates the previous result shape.

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

Parameters

State VmState

Zustand. / State.

Status VmStepStatus

Kompatibler Status. / Compatible status.

Diagnostics IReadOnlyList<VmDiagnostic>

Zu kopierende Diagnosen. / Diagnostics to copy.

VmStepResult(VmState, VmStepStatus, IReadOnlyList<VmDiagnostic>, VmCompletionReason, int)

Erstellt ein vollständiges Schrittergebnis. / Creates a complete step result.

public VmStepResult(VmState State, VmStepStatus Status, IReadOnlyList<VmDiagnostic> Diagnostics, VmCompletionReason Reason, int ExecutedInstructions)

Parameters

State VmState

Zustand. / State.

Status VmStepStatus

Kompatibler Status. / Compatible status.

Diagnostics IReadOnlyList<VmDiagnostic>

Zu kopierende Diagnosen. / Diagnostics to copy.

Reason VmCompletionReason

Abschlussgrund. / Completion reason.

ExecutedInstructions int

Begonnene Instruktionen. / Started instructions.

Fields

diagnostics

private readonly VmDiagnostic[] diagnostics

Field Value

VmDiagnostic[]

Properties

CompletionReason

Ruft den Abschlussgrund unter dem Vertragsnamen ab. / Gets the completion reason by its contract name.

public VmCompletionReason CompletionReason { get; }

Property Value

VmCompletionReason

Diagnostics

Ruft sichere Diagnosen ab. / Gets safe diagnostics.

public IReadOnlyList<VmDiagnostic> Diagnostics { get; }

Property Value

IReadOnlyList<VmDiagnostic>

ExecutedInstructions

Ruft den Instruktionszähler ab. / Gets the instruction counter.

public int ExecutedInstructions { get; }

Property Value

int

Reason

Ruft den Abschlussgrund ab. / Gets the completion reason.

public VmCompletionReason Reason { get; }

Property Value

VmCompletionReason

State

Ruft den Zustand ab. / Gets the state.

public VmState State { get; }

Property Value

VmState

Status

Ruft den kompatiblen Status ab. / Gets the compatible status.

public VmStepStatus Status { get; }

Property Value

VmStepStatus

Methods

Deconstruct(out VmState, out VmStepStatus, out IReadOnlyList<VmDiagnostic>)

Zerlegt das bisherige Ergebnisformat. / Deconstructs the previous result shape.

public void Deconstruct(out VmState State, out VmStepStatus Status, out IReadOnlyList<VmDiagnostic> Diagnostics)

Parameters

State VmState

Zustand. / State.

Status VmStepStatus

Kompatibler Status. / Compatible status.

Diagnostics IReadOnlyList<VmDiagnostic>

Defensive Diagnosefolge. / Defensive diagnostic sequence.