private void AddContractClass()
{
var addContractExecutor = new AddContractClassExecutor(
_provider, _availability.AddContractAvailability,
_availability.SelectedFunction);
addContractExecutor.Execute();
}
protected override void DoExecuteTransaction()
{
var addContractExecutor = new AddContractClassExecutor(_provider, _addContractAvailability,
_selectedFunctionDeclaration);
addContractExecutor.Execute();
var addEnsuresExecutor = EnsuresExecutor.CreateNotNullEnsuresExecutor(_provider, _selectedFunctionDeclaration);
addEnsuresExecutor.ExecuteTransaction();
}
private void AddContractClass()
{
Contract.Assert(_availability.AddContractAvailability != null,
"Adding contract class requires AddContractAvailability!");
var addContractExecutor = new AddContractClassExecutor(
_provider, _availability.AddContractAvailability,
_availability.SelectedFunctionDeclaration);
addContractExecutor.Execute();
}
