Interface ISymbolicInstructionProvider<TInstruction>

Namespace

Echo.DataFlow.Construction

Assembly

Echo.DataFlow.dll

Provides members for obtaining instructions based on the current state of a program.

public interface ISymbolicInstructionProvider<TInstruction> where TInstruction : notnull

Type Parameters

TInstruction

The type of instructions that this collection provides.

Properties

Architecture

Gets the architecture describing the instructions exposed by this instruction provider.

IArchitecture<TInstruction> Architecture { get; }

Property Value

IArchitecture<TInstruction>

Methods

GetCurrentInstruction(in SymbolicProgramState<TInstruction>)

Gets the current instruction to be evaluated; that is, the instruction at the current value of the program counter stored in the provided program state.

TInstruction GetCurrentInstruction(in SymbolicProgramState<TInstruction> currentState)

Parameters

currentState SymbolicProgramState<TInstruction>

The current state of the program.

Returns

TInstruction

The instruction.