public override string QueryResult() { JsonModel jsonModel = new JsonModel(); try { PlanSign paramModel = Newtonsoft.Json.JsonConvert.DeserializeObject <PlanSign>(this.Data); TF.RunSafty.BLL.Tab_Plan_Rest bllPlace = new TF.RunSafty.BLL.Tab_Plan_Rest(); string strJiaoLu = ""; foreach (TF.RunSaftyAPI.App_Api.Public.IGetPlanRestByWorkShopAndTime.JiaoLu JiaoLuId in paramModel.data.JiaoLuAry) { strJiaoLu += "'" + JiaoLuId.strTrainJiaoLuGUID + "',"; } strJiaoLu = strJiaoLu.Substring(0, strJiaoLu.Length - 1); List <TF.RunSafty.Model.TAB_Plan_Rest> placeList = bllPlace.GetPlanListByTimeAndWorkShop(strJiaoLu, paramModel.data.dtStartTime, paramModel.data.dtEndTime); jsonModel.result = 0; jsonModel.resultStr = "提交成功"; ArrayName an = new ArrayName(); jsonModel.data = an; an.signplanary = bllPlace.GetPlaceList(placeList); } catch (Exception ex) { TF.CommonUtility.LogClass.logex(ex, ""); jsonModel.result = 1; jsonModel.resultStr = "提交失败" + ex.Message; } Newtonsoft.Json.Converters.IsoDateTimeConverter timeConverter = new Newtonsoft.Json.Converters.IsoDateTimeConverter(); //这里使用自定义日期格式,如果不使用的话,默认是ISO8601格式 timeConverter.DateTimeFormat = "yyyy-MM-dd HH:mm:ss"; return(Newtonsoft.Json.JsonConvert.SerializeObject(jsonModel, timeConverter)); }
public override string QueryResult() { JsonModel jsonModel = new JsonModel(); try { ParamModel paramModel = Newtonsoft.Json.JsonConvert.DeserializeObject <ParamModel>(this.Data); TF.RunSafty.BLL.Workshop bllPlace = new TF.RunSafty.BLL.Workshop(); List <TF.RunSafty.Model.WorkShop> placeList = bllPlace.GetCheJianList(""); jsonModel.result = 0; jsonModel.resultStr = "提交成功"; ArrayName an = new ArrayName(); jsonModel.data = an; an.ArrayWorkShop = bllPlace.GetPlaceList(placeList); } catch (Exception ex) { TF.CommonUtility.LogClass.logex(ex, ""); jsonModel.result = 1; jsonModel.resultStr = "提交失败" + ex.Message; } Newtonsoft.Json.Converters.IsoDateTimeConverter timeConverter = new Newtonsoft.Json.Converters.IsoDateTimeConverter(); //这里使用自定义日期格式,如果不使用的话,默认是ISO8601格式 timeConverter.DateTimeFormat = "yyyy-MM-dd HH:mm:ss"; return(Newtonsoft.Json.JsonConvert.SerializeObject(jsonModel, timeConverter)); }
public string Getsignplanlistbyjiaoluary(string input) { OutJsonModel jsonModel = new OutJsonModel(); try { TrainmanData paramModel = Newtonsoft.Json.JsonConvert.DeserializeObject <TrainmanData>(input); Bll_Plan_Rest bllPlace = new Bll_Plan_Rest(); string strJiaoLu = ""; foreach (JiaoLu JiaoLuId in paramModel.JiaoLuAry) { strJiaoLu += "'" + JiaoLuId.strTrainJiaoLuGUID + "',"; } strJiaoLu = strJiaoLu.Substring(0, strJiaoLu.Length - 1); List <Modal_Plan_Rest> placeList = bllPlace.GetPlanListByTimeAndWorkShop(strJiaoLu, paramModel.dtStartTime, paramModel.dtEndTime); jsonModel.result = 0; jsonModel.resultStr = "提交成功"; ArrayName an = new ArrayName(); jsonModel.data = an; an.signplanary = bllPlace.GetPlaceList(placeList); } catch (Exception ex) { TF.CommonUtility.LogClass.logex(ex, ""); jsonModel.result = 1; jsonModel.resultStr = "提交失败" + ex.Message; } Newtonsoft.Json.Converters.IsoDateTimeConverter timeConverter = new Newtonsoft.Json.Converters.IsoDateTimeConverter(); //这里使用自定义日期格式,如果不使用的话,默认是ISO8601格式 timeConverter.DateTimeFormat = "yyyy-MM-dd HH:mm:ss"; return(Newtonsoft.Json.JsonConvert.SerializeObject(jsonModel, timeConverter)); }
public override string QueryResult() { JsonModel jsonModel = new JsonModel(); try { CallWork paramModel = Newtonsoft.Json.JsonConvert.DeserializeObject <CallWork>(this.Data); TF.RunSafty.BLL.TAB_MsgCallWork bllPlace = new TF.RunSafty.BLL.TAB_MsgCallWork(); List <TF.RunSafty.Model.TAB_MsgCallWork> placeList = bllPlace.GetAllMsg(paramModel.data.nStartState, paramModel.data.nEndState); jsonModel.result = 0; jsonModel.resultStr = "提交成功"; ArrayName an = new ArrayName(); jsonModel.data = an; an.MsgAry = bllPlace.GetPlaceList(placeList); } catch (Exception ex) { TF.CommonUtility.LogClass.logex(ex, ""); jsonModel.result = 1; jsonModel.resultStr = "提交失败" + ex.Message; } Newtonsoft.Json.Converters.IsoDateTimeConverter timeConverter = new Newtonsoft.Json.Converters.IsoDateTimeConverter(); //这里使用自定义日期格式,如果不使用的话,默认是ISO8601格式 timeConverter.DateTimeFormat = "yyyy-MM-dd HH:mm:ss"; return(Newtonsoft.Json.JsonConvert.SerializeObject(jsonModel, timeConverter)); }
public CpuGpuArrayInt AddIntArray(ArrayName arrayName, int dim1, int dim2) { var dim = dim1 * dim2; var res = new CpuGpuArrayInt(this._gpuModule, dim1, dim2); _IntArrays.Add(arrayName, res); return res; }
public void DumpArray(Layer layer, ArrayName name, string filePrefix, string dir) { var arr = layer.GetArray(name); if (arr != null) { var txt = arr.GetTxt(); var fileName = filePrefix + "_" + name.ToString() + ".txt"; var path = Path.Combine(dir, fileName); File.WriteAllText(path, txt); } }
private void ShowRaceInstrumentationVariables(Model Model, string CapturedState, Program OriginalProgram) { foreach (var v in OriginalProgram.TopLevelDeclarations.OfType <Variable>().Where(Item => QKeyValue.FindBoolAttribute(Item.Attributes, "race_checking"))) { foreach (var t in AccessType.Types) { if (v.Name.StartsWith("_" + t + "_HAS_OCCURRED_")) { string ArrayName; AccessType Access; GetArrayNameAndAccessTypeFromAccessHasOccurredVariable(v, out ArrayName, out Access); var AccessOffsetVar = OriginalProgram.TopLevelDeclarations.OfType <Variable>().Where(Item => Item.Name == RaceInstrumentationUtil.MakeOffsetVariableName(ArrayName, Access)).ToList()[0]; if (ExtractVariableValueFromCapturedState(v.Name, CapturedState, Model) == "true") { if (GetStateFromModel(CapturedState, Model).TryGet(AccessOffsetVar.Name) is Model.Number) { Console.Error.WriteLine(" " + Access.ToString().ToLower() + " " + Access.Direction() + " " + ArrayOffsetString(Model, CapturedState, v, AccessOffsetVar, ArrayName) + " (" + ThreadDetails(Model, 1, false) + ")"); } else { Console.Error.WriteLine(" " + Access.ToString().ToLower() + " " + Access.Direction() + " " + ArrayName.TrimStart(new char[] { '$' }) + " (unknown offset)" + " (" + ThreadDetails(Model, 1, false) + ")"); } } break; } } } }
public CpuGpuArray AddArray(ArrayName arrayName, int dim) { var res = new CpuGpuArray(this._gpuModule, dim); _Arrays.Add(arrayName, res); return res; }
public CpuGpuArrayInt GetIntArray(ArrayName arrayId) { if (!_IntArrays.ContainsKey(arrayId)) return null; var res = _IntArrays[arrayId]; return res; }