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(); }
protected override void ExecuteTransaction() { var executor = new AddContractClassExecutor(_provider, _addContractForAvailability); executor.Execute(); }
private void AddContractClass() { Contract.Assert(_availability.AddContractAvailability != null, "Adding contract class requires AddContractAvailability!"); var addContractExecutor = new AddContractClassExecutor( _provider, _availability.AddContractAvailability, _availability.SelectedFunctionDeclaration); addContractExecutor.Execute(); }