Searched defs:plugins (Results 1 – 6 of 6) sorted by relevance
1274 Plugin_manager* plugins = parameters->options().plugins(); in get_symbol_resolution_info() local1720 Plugin_manager* plugins = parameters->options().plugins(); in run() local1867 Plugin_manager* plugins = parameters->options().plugins(); in get_symbols() local1886 Plugin_manager* plugins = parameters->options().plugins(); in get_symbols_v2() local1906 Plugin_manager* plugins = parameters->options().plugins(); in get_symbols_v3() local
558 Plugin_manager* plugins = parameters->options().plugins(); in queue_middle_tasks() local
1630 plugins() const in plugins() function
1543 Plugin_manager* plugins = parameters->options().plugins(); in get_symbols() local1562 Plugin_manager* plugins = parameters->options().plugins(); in get_symbols_v2() local1582 Plugin_manager* plugins = parameters->options().plugins(); in get_symbols_v3() local
550 Plugin_manager* plugins = parameters->options().plugins(); in queue_middle_tasks() local
1456 plugins() const in plugins() function