public DelayInfoViewModel(IDelayInfo <TBy> delayInfo) :
this(delayInfo.ByData, new StationViewModel(delayInfo.Station), new TrainViewModel(delayInfo.Train),
delayInfo.Date, delayInfo.From, delayInfo.Destination,
delayInfo.PlannedArrival, delayInfo.ArrivalDelay,
delayInfo.PlannedDeparture, delayInfo.DepartureDelay)
{
}
private static void StartExecutable(IDelayInfo delayedStartup)
{
var filePath = delayedStartup.StartInfo.FilePath;
var arguments = delayedStartup.StartInfo.Arguments;
var processStartInfo = new ProcessStartInfo(filePath, arguments);
Process.Start(processStartInfo);
}
public bool Equals(IDelayInfo <TBy> other)
{
return(Equals((IDelayInfoBase)other));
}
public int CompareTo(IDelayInfo <TBy> other)
{
return(CompareTo((IDelayInfoBase)other));
}
public NonNullState(TypeSystem t, IDelayInfo ieinfo) {
this.typeSystem = t;
this.egraph = new EGraph(Lattice.It);
this.currentException = null;
existDelayInfo = ieinfo;
// materialize the null symbol early on so
// all derived states share it.
ISymValue nullsym = this.Null;
}
/// <summary>
/// Put general analysis targeting to general IL properties.
/// </summary>
/// <param name="method"></param>
protected void GeneralAnalysis(Method method)
{
nonNullInfo = null;
if (!this.CodeIsWellFormed)
{
return;
}
if (debug)
{
ControlFlowGraph cfg = GetCFG(method);
if (cfg != null)
{
cfg.Display(Console.Out);
}
}
if (!method.Name.Name.StartsWith("Microsoft.Contracts"))
{
// Definite assignment checking
//System.Console.WriteLine("--------------- Analyzing Method: {0}", method.Name);
if (this.DefiniteAssignmentChecking)
{
// For every statement, three things are returned from this pre- stage analysis
// 1) which program vars (that represent NN arrays) are created but not committed
// 2) which program vars (that represent NN arrays) are created and committed between
// the creation and commitment of current array.
// 3) if the statement is a commitment call for an NN array, whether it
// is ok to lift the array to be non-delayed.
PreDAStatus preAnalysisResult = MethodReachingDefNNArrayChecker.Check(typeSystem, method, this);
if (preAnalysisResult != null)
{
delayInfo = MethodDefiniteAssignmentChecker.Check(typeSystem, method, this, preAnalysisResult);
}
}
if (Analyzer.Debug)
{
if (delayInfo != null)
{
System.Console.WriteLine("----- delay info count: {0}", delayInfo.Count());
}
}
if (this.ExposureChecking)
{
ExposureChecker.Check(typeSystem, method, this);
}
// NonNull checking
if (this.NonNullChecking)
{
nonNullInfo = NonNullChecker.Check(typeSystem, method, this);
}
//System.Console.WriteLine("---------------- Finished Analyzing Method:{0}", method.Name);
}
}
