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);
}
internal override bool IsAvailable(PreconditionConverterAvailability availability)
{
return(availability.IsAvailable && availability.SourcePreconditionType == PreconditionType.GenericContractRequires);
}
protected override bool DoIsAvailable()
{
_availability = PreconditionConverterAvailability.CheckIsAvailable(_provider);
return(IsAvailable(_availability));
}
internal override bool IsAvailable(PreconditionConverterAvailability availability)
{
return(availability.IsAvailable && availability.SourcePreconditionType == PreconditionType.IfThrowStatement);
}
public PreconditionConverterExecutor(PreconditionConverterAvailability availability,
PreconditionType destinationPreconditionType)
: this(availability.Requires.CSharpStatement, availability.Requires, availability.SourcePreconditionType, destinationPreconditionType)
{
}
