private void extendInput(ProgramPointBase point)
{
var inputs = GetInputPoints(point);
if (!inputs.Any())
{
return;
}
point.SetMode(SnapshotMode.InfoLevel);
var inSet = GetInSet(point);
switch (Direction)
{
case AnalysisDirection.Forward:
forwardExtend(point, inputs, inSet);
break;
case AnalysisDirection.Backward:
standardExtend(inputs, inSet);
break;
default:
throwUnknownDirection();
break;
}
}
private void commit(ProgramPointBase point)
{
point.SetMode(SnapshotMode.InfoLevel);
var outSet = GetOutSet(point);
outSet.CommitTransaction();
}
private void prepare(ProgramPointBase point)
{
point.SetMode(SnapshotMode.InfoLevel);
var outSet = GetOutSet(point);
var inSet = GetInSet(point);
outSet.StartTransaction();
//default extending
outSet.Extend(inSet);
}
internal void SetServices(ProgramPointBase point)
{
point.SetServices(this);
point.SetMode(SnapshotMode.MemoryLevel);
}
