public PreconditionConverterExecutor(PreconditionConverterAvailability availability,
PreconditionType destinationPreconditionType)
: this(availability.Requires.CSharpStatement, availability.Requires, availability.SourcePreconditionType, destinationPreconditionType)
{
}
internal override bool IsAvailable(PreconditionConverterAvailability availability)
{
return availability.IsAvailable && availability.SourcePreconditionType == PreconditionType.GenericContractRequires;
}
internal virtual bool IsAvailable(PreconditionConverterAvailability availability)
{
// Dirty hack! Instance of PreconditionConverterContextAction should be used
// and visible only for testing!!
if (GetType() == typeof (PreconditionConverterContextAction) && !IsTestShell)
return false;
return availability.IsAvailable;
}
protected override bool DoIsAvailable()
{
_availability = PreconditionConverterAvailability.CheckIsAvailable(_provider);
return IsAvailable(_availability);
}
internal override bool IsAvailable(PreconditionConverterAvailability availability)
{
return availability.IsAvailable && availability.SourcePreconditionType == PreconditionType.IfThrowStatement;
}
