/// <summary>
/// Initializes a new instance of the <see cref="Prefetchl"/> class.
/// </summary>
/// <param name="address">The address to prefetch.</param>
/// <param name="level">The prefetch level.</param>
public Prefetchl(EffectiveAddress address, PrefetchLevel level)
{
#region Contract
Contract.Requires<ArgumentNullException>(address != null);
Contract.Requires<InvalidEnumArgumentException>(Enum.IsDefined(typeof(PrefetchLevel), level));
Contract.Requires<ArgumentException>(level != PrefetchLevel.None);
#endregion
this.address = address;
this.level = level;
}
/// <summary>
/// Initializes a new instance of the <see cref="Prefetchl"/> class.
/// </summary>
/// <param name="address">The address to prefetch.</param>
/// <param name="level">The prefetch level.</param>
public Prefetchl(EffectiveAddress address, PrefetchLevel level)
{
#region Contract
Contract.Requires <ArgumentNullException>(address != null);
Contract.Requires <InvalidEnumArgumentException>(Enum.IsDefined(typeof(PrefetchLevel), level));
Contract.Requires <ArgumentException>(level != PrefetchLevel.None);
#endregion
this.address = address;
this.level = level;
}
