public NonNullInjector(
ICcsHost host,
ContractProvider contractProvider)
{
this.host = host;
this.contractProvider = contractProvider;
}
/// <summary>
/// Initializes a new instance of the mutator
/// </summary>
/// <param name="host"></param>
/// <param name="name"></param>
/// <param name="priority"></param>
/// <param name="resourceType"></param>
protected CcsMutatorBase(ICcsHost host, string name, int priority, Type resourceType)
{
Contract.Requires(host != null);
Contract.Requires(!String.IsNullOrEmpty(name));
Contract.Requires(priority >= 0);
this.Host = host;
this.Name = name;
this.Priority = priority;
this.resourceType = resourceType;
}
public EnsuresNotNullMutator(ICcsHost host)
: base(host,"Ensures Not Null",0,typeof(EnsuresNotNullMutator))
{
}
