Class VmExecutionResult

Namespace

Pl0.Vm

Assembly

Pl0.Vm.dll

Ergebnis einer vollständigen VM-Ausführung. / Result of a complete VM execution.

public sealed class VmExecutionResult

Inheritance

object

VmExecutionResult

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.ReferenceEquals(object, object)

object.ToString()

Constructors

VmExecutionResult(int[], int, IReadOnlyList<VmDiagnostic>)

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

public VmExecutionResult(int[] stackSnapshot, int top, IReadOnlyList<VmDiagnostic> diagnostics)

Parameters

stackSnapshot int[]

Zu kopierender Stack. / Stack to copy.

top int

Stackzeiger. / Stack pointer.

diagnostics IReadOnlyList<VmDiagnostic>

Zu kopierende Diagnosen. / Diagnostics to copy.

VmExecutionResult(int[], int, IReadOnlyList<VmDiagnostic>, VmCompletionReason, int, VmState)

Erstellt ein vollständiges Ausführungsergebnis. / Creates a complete execution result.

public VmExecutionResult(int[] stackSnapshot, int top, IReadOnlyList<VmDiagnostic> diagnostics, VmCompletionReason reason, int executedInstructions, VmState state)

Parameters

stackSnapshot int[]

Zu kopierender Stack. / Stack to copy.

top int

Stackzeiger. / Stack pointer.

diagnostics IReadOnlyList<VmDiagnostic>

Zu kopierende Diagnosen. / Diagnostics to copy.

reason VmCompletionReason

Abschlussgrund. / Completion reason.

executedInstructions int

Begonnene Instruktionen. / Started instructions.

state VmState

Terminaler Zustand. / Terminal state.

Fields

diagnostics

private readonly VmDiagnostic[] diagnostics

Field Value

VmDiagnostic[]

stackSnapshot

private readonly int[] stackSnapshot

Field Value

int[]

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

StackSnapshot

Ruft eine defensive Stackkopie ab. / Gets a defensive stack copy.

public int[] StackSnapshot { get; }

Property Value

int[]

State

Ruft den terminalen Zustand ab. / Gets the terminal state.

public VmState State { get; }

Property Value

VmState

Success

Gibt an, ob regulär gehalten wurde. / Indicates whether execution halted normally.

public bool Success { get; }

Property Value

bool

Top

Ruft den Stackzeiger ab. / Gets the stack pointer.

public int Top { get; }

Property Value

int