/// <inheritdoc/>
public override ExceptionSpecification GetExceptionSpecification(InstructionPrototype prototype)
{
return(store.GetSpecification(prototype));
}
/// <inheritdoc/>
public override MemorySpecification GetMemorySpecification(InstructionPrototype prototype)
{
return(store.GetSpecification(prototype));
}