/// <summary>
/// Registers a function that computes exception specifications
/// for a particular type of instruction prototype.
/// </summary>
/// <param name="getExceptionSpec">
/// A function that computes exception specifications for all
/// instruction prototypes of type T.
/// </param>
/// <typeparam name="T">
/// The type of instruction prototypes to which
/// <paramref name="getExceptionSpec"/> is applicable.
/// </typeparam>
public void Register <T>(Func <T, ExceptionSpecification> getExceptionSpec)
where T : InstructionPrototype
{
store.Register <T>(getExceptionSpec);
}
/// <summary>
/// Registers a function that computes memory specifications
/// for a particular type of instruction prototype.
/// </summary>
/// <param name="getMemorySpec">
/// A function that computes memory specifications for all
/// instruction prototypes of type T.
/// </param>
/// <typeparam name="T">
/// The type of instruction prototypes to which
/// <paramref name="getMemorySpec"/> is applicable.
/// </typeparam>
public void Register <T>(Func <T, MemorySpecification> getMemorySpec)
where T : InstructionPrototype
{
store.Register <T>(getMemorySpec);
}
