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