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