internal void SetServices(ForwardAnalysisServices services)
{
Services = services;
Extension.Sink.Services = services;
Extension.Sink.setNewController();
setNewController();
}
/// <summary>
/// Initialize all resolvers and services
/// </summary>
private void initialize()
{
_expressionEvaluator = createExpressionEvaluator();
_flowResolver = createFlowResolver();
_functionResolver = createFunctionResolver();
_services = new ForwardAnalysisServices(
_workList,
_functionResolver, _expressionEvaluator, createEmptySet, _flowResolver
);
}
/// <summary>
/// Create flow controller for given input and output set
/// </summary>
internal FlowController(ForwardAnalysisServices services, ProgramPointBase programPoint)
{
Services = services;
CurrentProgramPoint = programPoint;
}
