internal override void Execute()
{
var destination = _requiresShouldBeGeneric
? PreconditionType.GenericContractRequires
: PreconditionType.ContractRequires;
var executor = new PreconditionConverterExecutor(_availability, destination);
executor.ExecuteTransaction();
}
internal override void Execute()
{
var executor = new PreconditionConverterExecutor(_availability, PreconditionType.ContractRequires);
executor.ExecuteTransaction();
}
internal override void Execute()
{
var executor = new PreconditionConverterExecutor(_availability, PreconditionType.ContractRequires);
executor.ExecuteTransaction();
}
protected override Action<ITextControl> DoExecuteFix(ISolution solution, IList<ValidationResult> statementsToFix)
{
var targetType = IsGenericByDefault()
? PreconditionType.GenericContractRequires
: PreconditionType.ContractRequires;
var converter = new PreconditionConverterExecutor(_currentStatement.Statement, _precondition,
PreconditionType.IfThrowStatement, targetType);
converter.ExecuteTransaction();
return null;
}
internal override void Execute()
{
var destination = _requiresShouldBeGeneric
? PreconditionType.GenericContractRequires
: PreconditionType.ContractRequires;
var executor = new PreconditionConverterExecutor(_availability, destination);
executor.ExecuteTransaction();
}