public FeedbackController( IFeedbackManager feedbackManager, IMapper mapper) { _feedbackManager = feedbackManager; _mapper = mapper; }
public FeedbackController(IRequisitionManager requisitionManager, IReplyManager replyManager, IFeedbackManager feedbackManager, IAssignRequisitionManager assignRequisitionManager, INotificationManager notificationManager, IRequisitionHistoryManager requisitionHistoryManager) { this._requisitionManager = requisitionManager; this._feedbackManager = feedbackManager; this._replyManager = replyManager; }
private static bool TryAddRegressionAttributeViaPex <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly>(Method method, string message, IOutput output, IDecodeMetaData <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly> mdDecoder, System.Type attributeType) { IFeedbackManager feedbackManager = GetFeedbackConnection(); bool success = false; if (feedbackManager != null) { ConstructorInfo attrCtor = attributeType.GetConstructor(new System.Type[1] { typeof(string) }); MethodDefinitionName target = Translate(method, output, mdDecoder); string group = Guid.NewGuid().ToString(); ICustomAttribute ca = new CustomAttributeBuilder(MetadataFromReflection.GetMethod(attrCtor), MetadataExpression.String(message)); CodeUpdate update = CodeUpdate.AddAttribute("Regression", target, ca); CodeFix fix = CodeFix.FromUpdate("ClousotRegression", "missing regression attribute", group, update, 100, CodeFixImage.Message); try { feedbackManager.AddFix(fix); success = true; } catch { } } return(success); }
public ReplyController(IRequisitionManager requisitionManager, IEmployeeManager employeeManager, IFeedbackManager feedbackManager, IAssignRequisitionManager assignRequisitionManager, IReplyManager replyManager, IRequisitionHistoryManager requisitionHistoryManager) { this._requisitionManager = requisitionManager; this._feedbackManager = feedbackManager; this._employeeManager = employeeManager; this._replyManager = replyManager; }
public RequisitionsController(IRequisitionManager requisitionManager, IEmployeeManager employeeManager, IVehicleManager vehicleManager, IRequisitionStatusManager requisitionStatusManager, IFeedbackManager feedbackManager) { this._requisitionManager = requisitionManager; this._employeeManager = employeeManager; this._vehicleManager = vehicleManager; this._requisitionStatusManager = requisitionStatusManager; this._feedbackManager = feedbackManager; }
public Core(IIndex index, IFeedbackManager feedback) { if (index == null) throw new ArgumentNullException("index"); if (feedback == null) throw new ArgumentNullException("feedback"); _index = index; Feedback = feedback; }
public RequisitionsController(IRequisitionManager requisitionManager, IEmployeeManager employeeManager, IVehicleManager vehicleManager, IRequisitionStatusManager requisitionStatusManager, IFeedbackManager feedbackManager, IAssignRequisitionManager assignRequisitionManager, INotificationManager notificationManager) { this._requisitionManager = requisitionManager; this._employeeManager = employeeManager; this._vehicleManager = vehicleManager; this._requisitionStatusManager = requisitionStatusManager; this._feedbackManager = feedbackManager; this._assignRequisitionManager = assignRequisitionManager; this._notificationManager = notificationManager; }
public NewFeedbackVm(IFeedbackManager feedbackManager) { if (feedbackManager == null) { throw new ArgumentNullException(nameof(feedbackManager)); } _feedbackManager = feedbackManager; SendMessage = new RelayCommand(_ => OnSendMessageClick()); }
static IFeedbackManager GetFeedbackConnection() { if (!usePex) { return(null); } if (cache != null) { return(cache); } string connectionName = Environment.GetEnvironmentVariable("pex_server_channel"); if (connectionName == null) { return(null); } IRemoteServerConnector connector; try { connector = RemoteServer.GetConnector(connectionName); } catch { connector = null; } if (connector == null) { usePex = false; // no pex return(null); } IService service; try { if (!connector.TryGetService(typeof(IFeedbackManager), out service)) { usePex = false; // no pex return(null); } } catch { usePex = false; // no pex return(null); } cache = (IFeedbackManager)service; return(cache); }
private static bool TryAddRegressionAttributeViaPex <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly>(Method method, Enum outcome, string message, int primaryILOffset, int methodILOffset, IOutput output, IDecodeMetaData <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly> mdDecoder, System.Type attributeType) { IFeedbackManager feedbackManager = GetFeedbackConnection(); bool success = false; if (feedbackManager != null) { PropertyInfo outcomeProp = attributeType.GetProperty("Outcome"); PropertyInfo messageProp = attributeType.GetProperty("Message"); PropertyInfo primaryILProp = attributeType.GetProperty("PrimaryILOffset"); PropertyInfo methodILProp = attributeType.GetProperty("MethodILOffset"); ConstructorInfo attrCtor = attributeType.GetConstructor(new System.Type[0]); MethodDefinitionName target = Translate(method, output, mdDecoder); MethodName attributeCtorName = MetadataFromReflection.GetMethod(attrCtor).SerializableName; #if DEBUG_PEX_BY_XML SafeSimpleXmlWriter writer = SafeSimpleXmlWriter.Create(new StreamWriter(@"C:\temp\" + mdDecoder.Name(method) + ".xml"), true); target.WriteXml(writer, "method"); writer.Close(); SafeSimpleXmlWriter writer2 = SafeSimpleXmlWriter.Create(new StreamWriter(@"C:\temp\" + mdDecoder.Name(method) + "2.xml"), true); attributeCtorName2.WriteXml(writer2, "method"); writer2.Close(); #endif string group = Guid.NewGuid().ToString(); var outcomeArg = AttributeArgument.Named(MetadataFromReflection.GetProperty(outcomeProp), MetadataExpression.EnumValue(outcome)); #if DEBUG_PEX_BY_XML SafeSimpleXmlWriter writer3 = SafeSimpleXmlWriter.Create(new StreamWriter(@"C:\temp\" + mdDecoder.Name(method) + "3.xml"), true); outcomeArg.WriteXml(writer3, "method"); writer3.Close(); #endif CodeUpdate update = CodeUpdate.AddAttribute("Regression", target, attributeCtorName, outcomeArg, AttributeArgument.Named(MetadataFromReflection.GetProperty(messageProp), MetadataExpression.String(message)), AttributeArgument.Named(MetadataFromReflection.GetProperty(primaryILProp), MetadataExpression.I4(MetadataFromReflection.GetType(typeof(int)), primaryILOffset)), AttributeArgument.Named(MetadataFromReflection.GetProperty(methodILProp), MetadataExpression.I4(MetadataFromReflection.GetType(typeof(int)), methodILOffset)) ); CodeFix fix = CodeFix.FromUpdate("ClousotRegression", "missing regression attribute", group, update, 100, CodeFixImage.Message); try { feedbackManager.AddFix(fix); success = true; } catch { } } return(success); }
public ClientController( IOrderManagerEx orderManager, IPersonManager personManager, IFeedbackManager feedbackManager, IUserManager userManager, ITariffExManager tariffManager) { this.orderManager = orderManager; this.personManager = personManager; this.feedbackManager = feedbackManager; this.userManager = userManager; this.tariffManager = tariffManager; }
public DriverExController( IFeedbackManager feedbackManager, IOrderManagerEx orderManager, IDriverExManager driverManager, IDistrictManager districtManager, ICarManager carManager, IWorkerStatusManager workerStatusManager, IUserManager userManager) { this.orderManager = orderManager; this.driverManager = driverManager; this.districtManager = districtManager; this.feedbackManager = feedbackManager; this.carManager = carManager; this.workerStatusManager = workerStatusManager; this.userManager = userManager; }
private static void InternalInitialize(bool usePex) { #if INCLUDE_PEXINTEGRATION SuggestedCodeFixes.usePex = usePex; if (!usePex) { return; } IFeedbackManager feedbackManager = GetFeedbackConnection(); if (feedbackManager == null) { return; } // clear UI in VS feedbackManager.Clear(); #endif }
public FeedbackListVm(IFeedbackManager feedbackManager, INewFeedbackWindowService newFeedbackWindowService) { if (feedbackManager == null) { throw new ArgumentNullException(nameof(feedbackManager)); } if (newFeedbackWindowService == null) { throw new ArgumentNullException(nameof(newFeedbackWindowService)); } _feedbackManager = feedbackManager; _newFeedbackWindowService = newFeedbackWindowService; _addfeedback = new RelayCommand(_ => OnAddfeedbackClick()); _getFeedbacks = new RelayCommand(_ => OnGetFeedbacksClick()); OnGetFeedbacksClick(); }
private static void SuggestPostConditionViaPex <Local, Parameter, Method, Field, Property, Event, Type, Expression, Variable, Attribute, Assembly>(IExpressionContext <Local, Parameter, Method, Field, Type, Expression, Variable> context, int rank, string symptom, IOutput output, IDecodeMetaData <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly> mdDecoder, string post) where Type : IEquatable <Type> { #if INCLUDE_PEXINTEGRATION IFeedbackManager feedbackManager = GetFeedbackConnection(); if (feedbackManager != null) { MethodDefinitionName target = Translate(context.MethodContext.CurrentMethod, output, mdDecoder); string group = Guid.NewGuid().ToString(); var microsoftContractsAssembly = ShortAssemblyName.FromName("Microsoft.Contracts"); CodeUpdate update = CodeUpdate.InsertCheck("Ensures", target, MakePostconditionString(post), new[] { "System.Diagnostics.Contracts" }, new[] { microsoftContractsAssembly }, "Clousot"); CodeFix fix = CodeFix.FromUpdate("Clousot", symptom, group, update, rank, CodeFixImage.Message); try { feedbackManager.AddFix(fix); } catch { } } #endif }
private static bool TryAddRegressionAttributeViaPex <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly>(Assembly assembly, string message, IDecodeMetaData <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly> mdDecoder, System.Type attributeType) { IFeedbackManager feedbackManager = GetFeedbackConnection(); bool success = true; if (feedbackManager != null) { ConstructorInfo attrCtor = attributeType.GetConstructor(new System.Type[1] { typeof(string) }); #if DEBUG_PEX_BY_XML SafeSimpleXmlWriter writer = SafeSimpleXmlWriter.Create(new StreamWriter(@"C:\temp\" + mdDecoder.Name(method) + ".xml"), true); target.WriteXml(writer, "method"); writer.Close(); SafeSimpleXmlWriter writer2 = SafeSimpleXmlWriter.Create(new StreamWriter(@"C:\temp\" + mdDecoder.Name(method) + "2.xml"), true); attributeCtorName2.WriteXml(writer2, "method"); writer2.Close(); #endif string group = Guid.NewGuid().ToString(); ICustomAttribute ca = new CustomAttributeBuilder(MetadataFromReflection.GetMethod(attrCtor), MetadataExpression.String(message)); CodeUpdate update = CodeUpdate.AddAttribute("Regression", new Microsoft.ExtendedReflection.Metadata.Names.ShortAssemblyName(mdDecoder.Name(assembly), null), ca); CodeFix fix = CodeFix.FromUpdate("ClousotRegression", "missing regression attribute", group, update, 100, CodeFixImage.Message); try { feedbackManager.AddFix(fix); success = true; } catch { } } return(success); }
public Core(IFeedbackManager feedback) : this(new Index(), feedback) { // Use default implementation of IIndex }
public FeedbackController() { _feedbackManager = new FeedbackManager(); }
public FeedbackController(IFeedbackManager feedbackManager) { _feedbackManager = feedbackManager; }
static BllFactory() { //ASP.NET Identity //Define Ninject Dependency Injection Bindings Kernel.Bind <IGeneralCodeManager>().To <GeneraCodeManager>(); Kernel.Bind <ISubCodeManager>().To <SubCodeManager>(); Kernel.Bind <IOpportunityManager>().To <OpportunityManager>(); Kernel.Bind <IindividualDetailsManager>().To <IndividualDetailsManager>(); Kernel.Bind <IEventManager>().To <EventManager>(); Kernel.Bind <IJobManager>().To <JobManager>(); Kernel.Bind <IDimThemesManager>().To <DimThemesManager>(); Kernel.Bind <ITrainingManager>().To <TrainingManager>(); Kernel.Bind <IDataServiceManager>().To <DataServiceManager>(); Kernel.Bind <IThemesVariablesManager>().To <ThemesVariablesManager>(); Kernel.Bind <IReportsManager>().To <ReportsManager>(); Kernel.Bind <IFactStatisticalDataManager>().To <FactStatisticalDataManager>(); Kernel.Bind <IAspNetUsersManager>().To <AspNetUsersManager>(); Kernel.Bind <IPagesActionsManager>().To <PagesActionsManager>(); Kernel.Bind <IPagesManager>().To <PagesManager>(); Kernel.Bind <IConfigCenterManager>().To <ConfigCenterManager>(); Kernel.Bind <IOrganizationContactInfoManager>().To <OrganizationContactInfoManager>(); Kernel.Bind <IOrganizationManager>().To <OrganizationManager>(); Kernel.Bind <IRequestLogManager>().To <RequestLogManager>(); Kernel.Bind <IFeedbackManager>().To <FeedbackManager>(); Kernel.Bind <ITestimonialsManager>().To <TestimonialsManager>(); Kernel.Bind <IPortalUsersManager>().To <PortalUsersManager>(); Kernel.Bind <INewsManager>().To <NewsManager>(); Kernel.Bind <IIndividualManager>().To <IndividualManager>(); Kernel.Bind <IPartnerManager>().To <PartnerManager>(); Kernel.Bind <IIndManager>().To <IndManager>(); Kernel.Bind <IOrgManager>().To <OrgManager>(); Kernel.Bind <IChatLogManager>().To <ChatLogManager>(); Kernel.Bind <IConceptNonFormalTrainingManager>().To <ConceptNonFormalTrainingManager>(); Kernel.Bind <ILmisReportsRepository>().To <LmisReportsRepository>(); Kernel.Bind <IObsceneWordsManager>().To <ObsceneWordsManager>(); Kernel.Bind <IListOfEmailsManager>().To <ListOfEmailsManager>(); Kernel.Bind <IHelpfulLinkManager>().To <HelpfulLinkManager>(); Kernel.Bind <IQualificationsManager>().To <QualificationsManager>(); Kernel.Bind <IOfficeManager>().To <OfficeManager>(); Kernel.Bind <IUnionManager>().To <UnionManager>(); Kernel.Bind <IFaqManager>().To <FaqManager>(); Kernel.Bind <IConceptsDefinitionsManager>().To <ConceptsDefinitionsManager>(); Kernel.Bind <IEmployersTrainingProvidersManager>().To <EmployersTrainingProvidersManager>(); Kernel.Bind <IRecruitmentAgenciesManager>().To <RecruitmentAgenciesManager>(); //Serve BLL Objects as Singletons GeneralCodeMgr = Kernel.Get <IGeneralCodeManager>(); SubCodeMgr = Kernel.Get <ISubCodeManager>(); OpportunityMgr = Kernel.Get <IOpportunityManager>(); IndividualDetailsMgr = Kernel.Get <IindividualDetailsManager>(); EventMgr = Kernel.Get <IEventManager>(); JobMgr = Kernel.Get <IJobManager>(); DimThemesMgr = Kernel.Get <IDimThemesManager>(); TrainingMgr = Kernel.Get <ITrainingManager>(); DataServiceMgr = Kernel.Get <IDataServiceManager>(); ThemesVariablesMgr = Kernel.Get <IThemesVariablesManager>(); ReportsMgr = Kernel.Get <IReportsManager>(); FactStatisticalDataMgr = Kernel.Get <IFactStatisticalDataManager>(); AspNetUsersMgr = Kernel.Get <IAspNetUsersManager>(); PagesActionsMgr = Kernel.Get <IPagesActionsManager>(); PagesMgr = Kernel.Get <IPagesManager>(); ConfigCenterMgr = Kernel.Get <IConfigCenterManager>(); OrganizationContactInfoMgr = Kernel.Get <IOrganizationContactInfoManager>(); OrganizationMgr = Kernel.Get <IOrganizationManager>(); RequestLogMgr = Kernel.Get <IRequestLogManager>(); FeedbackMgr = Kernel.Get <IFeedbackManager>(); TestimonialsMgr = Kernel.Get <ITestimonialsManager>(); PortalUsersMgr = Kernel.Get <IPortalUsersManager>(); NewsMgr = Kernel.Get <INewsManager>(); IndividualMgr = Kernel.Get <IIndividualManager>(); PartnersMgr = Kernel.Get <IPartnerManager>(); IndMgr = Kernel.Get <IIndManager>(); OrgMgr = Kernel.Get <IOrgManager>(); ChatLogMgr = Kernel.Get <IChatLogManager>(); ConceptNonFormalTrainingMgr = Kernel.Get <IConceptNonFormalTrainingManager>(); LmisReportsRepo = Kernel.Get <ILmisReportsRepository>(); ObsceneWordsRepo = Kernel.Get <IObsceneWordsManager>(); ListOfEmailsRepo = Kernel.Get <IListOfEmailsManager>(); HelpfulLinkRepo = Kernel.Get <IHelpfulLinkManager>(); QualificationsRepo = Kernel.Get <IQualificationsManager>(); OfficeMgr = Kernel.Get <IOfficeManager>(); UnionMgr = Kernel.Get <IUnionManager>(); FaqMgr = Kernel.Get <IFaqManager>(); ConceptsDefinitionsMgr = Kernel.Get <IConceptsDefinitionsManager>(); EmployersTrainingProvidersMgr = Kernel.Get <IEmployersTrainingProvidersManager>(); RecruitmentAgenciesMgr = Kernel.Get <IRecruitmentAgenciesManager>(); }
public FeedbackController(IFeedbackManager FeedbackManager) { _FeedbackManager = FeedbackManager; }