Struct ValidationBlockStackState
Represents the state of the stack within a block during validation.
Assembly: WaaS.Core.dll
View Source
Declaration
public ref struct ValidationBlockStackState
Properties
Depth
View Source
Declaration
public readonly ushort Depth { get; }
CurrentSlice
View Source
Declaration
public ReadOnlySpan<ValueType> CurrentSlice { get; }
Methods
Pop(ValueType)
View Source
Declaration
public ValueType Pop(ValueType type)
Returns
Parameters
| Type | Name |
|---|---|
| WaaS.ValueType | type |
PopReference()
Pops a value of a reference type. Returns 0 if the type is unknown in an unreachable code.
View Source
Declaration
public ValueType PopReference()
Returns
PopAny()
View Source
Declaration
public ValueType PopAny()
Returns
ValidateResults(ReadOnlySpan<ValueType>, bool)
View Source
Declaration
public void ValidateResults(ReadOnlySpan<ValueType> resultTypes, bool exact)
Parameters
| Type | Name |
|---|---|
System.ReadOnlySpan<WaaS.ValueType> | resultTypes |
System.Boolean | exact |
Push(ValueType)
View Source
Declaration
public void Push(ValueType type)
Parameters
| Type | Name |
|---|---|
| WaaS.ValueType | type |
MakeUnreachable()
View Source
Declaration
public void MakeUnreachable()