public Action<IPrecondition> GetConverter(PreconditionType sourcePreconditionType, PreconditionType destinationPreconditionType)
{
var key = Key.From(sourcePreconditionType).To(destinationPreconditionType);
Action<IPrecondition> result;
_converters.TryGetValue(key, out result);
return result;
}
public PreconditionConverterExecutor(ICSharpStatement preconditionStatement, IPrecondition precondition,
PreconditionType sourcePreconditionType,
PreconditionType destinationPreconditionType)
: base(preconditionStatement)
{
Contract.Requires(precondition != null);
Contract.Requires(sourcePreconditionType != destinationPreconditionType);
_precondition = precondition;
_sourcePreconditionType = sourcePreconditionType;
_destinationPreconditionType = destinationPreconditionType;
InitializeConverters();
}
public PreconditionConverterExecutor(PreconditionConverterAvailability availability,
PreconditionType destinationPreconditionType)
: this(availability.Requires.CSharpStatement, availability.Requires, availability.SourcePreconditionType, destinationPreconditionType)
{
}
public static Key From(PreconditionType from)
{
return new Key {from = from};
}
public Key To(PreconditionType to)
{
this.to = to;
return this;
}
public PreconditionSink(IStore store, PreconditionType preconditionType)
{
_store = store;
_preconditionType = preconditionType;
}
