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;
}
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;
}
